Formālā loģika un tās pamatlikumi

Logic - zinātne par metodēm, likumiem un formas domāšanu. Formālā loģika ir izstrādājusi senie grieķi, ilgi pirms mūsu ēras. Tas bija pirmais grieķus veidot demokrātisku sabiedrību, kurā lēmumi un likumi pieņemtā publiskā sanāksmē. Viņi radīja primitīvu zinātni veic izmēģinājumu. Mīļākie spēle aristokrātisks jauniešiem bijušas sarunas ar filozofiem. Līdz ar universālā mīlestība attīstības teorētisko zinātni. Grieķi tikko bija mācības par to, kā ir zinātniski pierādījumi.

Pirmais kurss pamatu loģikas Aristotelis izstrādātajiem. Viņš vērsa uzmanību uz to, ka visi argumenti ir balstīti uz vispārējiem tiesību aktiem, pārkāpums, kas noved pie kļūdainiem secinājumiem. Formālā loģika Aristotelis tika balstīta uz šādiem likumiem:

1. Ja spriedums ir apstiprinoša, ko darīt ar tiem secinājums nevar būt negatīvs.
2. Ja viens no apgalvojumiem ir negatīvs, un galvenais secinājums ir tāds vienmēr ir negatīvs.

Tādējādi šķiet, ka formālu loģiku - ir zināšanas par principiem un likumu efektīvi, pareizi būvniecība argumentāciju attiecībā uz formu to konstrukcijas (veidus, kā savienot atsevišķas daļas vispārīgo apsvērumu).

Visas parādības un objektus, ir attiecības. Saites var būt objektīva vai subjektīva, vispārējā vai privāta, kas nepieciešams vai nejaušu. Nozīmīgākais no šīm obligācijām sauc likumus. tās visas atspoguļo to pašu realitāti, tāpēc nekad nevar pretrunā viens otram. Visi likumi cilvēka domas, kas saistīti ar dabas likumiem.

Likumi domas ir stabili iekšējie savienojumu starp domām. Ja cilvēks nevar saistīt savas domas, viņš neieradās uz labo secinājuma, un nevarēs panākt to citiem.

Pamata likumi formālās loģikas - likumi konsekvence, identitātes, izslēgtā vidū un likumu pietiekama iemesla. No pirmās trīs attīstība pieder Aristotelis un Platons, pēdējo - 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ējais likums mazāk rīkojumi un vairāk ierobežota izmantošana.

Non-core loģikas likumiem - tie ir noteikumi darbības priekšlikumi un koncepcijas, iegūstot patiesu secinājumu par siloģisms, palielinot varbūtību induktīvās spriešanas un secinājumi traduktivnogo raksturs.

Konsekvences likums nozīmē, ka domāšana nedrīkst būt pretrunīgi, taču jāatspoguļo konkrētu lietu kvalitāti.

Izslēgti vidū likums nosaka nevis meklēt starp divām pretrunīgām bet patieso paziņojums ir trešais, un atzīt patiesību ir tikai viens no tiem. Viena no sastāvdaļām pretrunas - taisnība.

likums identitātes formālā loģika interpretē kā prasību precizitātes domāšanas, ti, ar jebkuriem noteikumiem jums ir nepieciešams, lai precīzi saprastu definīciju un nozīmi. No jēdzieniem un spriedumiem būtība nevar traucēt pēc vēlēšanās.

likums pietiekams iemesls ir tas, ka jebkurš patiess doma nepieciešams pamatot otra patieso domas, un viltus idejas nevar pamatot. Izstrādājot spriedumu jāatspoguļo cēloņsakarību. Tikai šajā gadījumā to var pierādīt savu uzticamību.

Loģiskā forma domas un metodēm, nosakot veidus visu domas ar loģiskiem nosacījumiem, kas ietver vārdu izteiktas "un", "vai", "ja ..., tad ..." noliegums "nav taisnība, ka" ( "nē") , vārds "daži", "visi" ( "nē"), ķekars "būtība" (nozīmē "ir"), uc Identificēt loģiska forma spriedumu var apjucis no nozīmē noteikumu neloģiski, kuras ir iekļautas mutiski izteiksmes šī sprieduma. Citiem vārdiem sakot, formālā loģika izsaka struktūru domas. Loģisks forma vienmēr ir informatīvs un jēgpilna.

Atkarībā no formām domas iedalās klasēs: jēdzieniem, spriešanas un spriedumu. Concept - ideja, ka generalizes objektus, pamatojoties uz to pamatīpašībām. Spriedums - ideja, apgalvojot klātbūtni (trūkums) situāciju. Secinājums - domāja, atspoguļojot zināšanu apguvi, kas izteikta spriedumos citas zināšanas.