loģika - zinātne par metodēm, likumiem un formas domāšanu.Formālā loģika, ko senie grieķi ir izstrādāts ilgi pirms mūsu ēras.Tas bija pirmais grieķus veidot demokrātisku sabiedrību, kur likumi un lēmumiem Nacionālajā asamblejā.Viņi ir radījuši primitīvas zinātne tiesāšanos.Mīļākie spēle ar aristokrātisks jauniešiem bija diskusijas ar filozofiem.Līdz ar universālā mīlestība attīstībai teorētisko zinātni.Grieķi tikko bija doktrīnu par to, kā būtu zinātniski pierādījumi.
vispirms, protams, loģikas pamati Aristotelis izstrādātas.Viņš vērsa uzmanību uz to, ka visi argumenti ir balstīti uz vispārējām tiesībām, kura pārkāpums noved pie kļūdainiem secinājumiem.Formālā loģika Aristotelis bija balstīta uz šiem likumiem:
- Ja spriedumi ir apstiprinoša, ko darīt ar tiem secinājums nevar būt negatīvs.
- Ja viens no apgalvojumiem ir negatīvs, un galvenais secinājums vienmēr būs negatīvs.
Šķiet, ka formālās loģikas - zināšanas par principiem un likumiem efektīvi, pareizu būvniecību argumentācijas attiecībā uz formu to konstrukcijas (veidus savieno daļas vispārīgo apsvērumu).
Visas parādības un objekti ir attiecības.Saites var būt objektīvi vai subjektīvi, dalīta vai privāta, nepieciešams vai nejauša.Nozīmīgākais no šīm obligācijām, sauc likumus.Visas atspoguļo to pašu realitāti, tādēļ, nevar pretrunā viena otrai.Visi likumi cilvēka domas ir saistītas ar dabas likumiem.
likumi domas ir stabils iekšējais savienojums starp domas.Ja persona nevar saistīt savas domas, viņš nenāca uz pareizā secinājuma, un nevarēs panākt to citiem.
pamatlikumi formālās loģikas - likumi konsekvences, personas, tad izslēdz vidū un likums pietiekama iemesla.Par pirmajiem trim attīstība pieder Aristotelis un Platons, pēdējā - Leibnica.Pārkāpumi šiem likumiem (it īpaši pirmo trīs) noved pie pretrunām, padarot neiespējamu atšķirt patiesību no meliem.Pēdējās mazāk noteikumi un tiesību akti attiecas vairāk ierobežota.
Non-core loģikas likumiem - ir noteikumi darbības jēdzienu un spriedumiem, iegūstot patiesu noslēgšanu kādā siloģisms, palielinot varbūtību induktīvās spriešanas un secinājumi traduktivnogo raksturs.
Act konsekvence nozīmē, ka domāšana nedrīkst būt pretrunīgi, un jāatspoguļo atsevišķu lietu kvalitāti.
likums par izslēgto vidu prasa neizskatās starp divām konfliktējošām bet taisnība apgalvojumam trešo lieta, un atzīt patiesību par tikai vienu no tiem.Viens no konflikta sastāvdaļu - taisnība.
likums formālās loģikas izturas identitāti kā prasība precizitātes domāšanu, ti, no jebkura termiņa jums ir nepieciešams saprast, ko tieši savu definīciju un nozīmi.Par jēdzienu un spriedumu būtība nevar traucēt pēc vēlēšanās.
likums pietiekams iemesls ir tas, ka kāds patiess doma nepieciešams, lai pamatotu patiesos domas par citiem, un viltus idejas nav attaisnojama.Attīstībā spriedumu jāatspoguļo cēloņsakarību.Tikai šajā gadījumā tā var tikt pierādīts drošumu.
loģiskā forma domas un veidi nosakot jebkāda veida domas paustās loģiskiem noteikumiem, kas ietver vārdu "un", "vai", "ja ... tad ..." noliegums "nav taisnība, ka"(" nē "), vārdu" daži "," visiem "(" nē "), ķekars" būtība "(nozīmē" ir "), ucIdentificēt loģiskā forma spriedums var būt apjucis no nozīmē noteikumu neloģiski, ka ir mutiska izteikšana šī sprieduma.Citiem vārdiem sakot, formālā loģika pauž struktūru domas.Loģiskā forma vienmēr ir informatīvs un jēgpilna.
Atkarībā no to formas domas iedala klasēs: jēdzieniem, spriešanas un spriedumu.Koncepcija - ideja generalizes objektus, pamatojoties uz to pamatīpašībām.Spriedums - ideja, apgalvojot klātbūtni (trūkums) par situāciju.Secinājums - domāja, atspoguļojot zināšanu apguvi, kā izteikts spriedumos citu zināšanu.
