- Pētījuma objekts
- raksturojums
- Veidi
- Deontiskā loģika
- Divvērtīga loģika
- Daudzvērtīga vai daudzfunkcionāla loģika
- Piemēri
- Atsauces
Formālā loģika , ko sauc arī loģiski teorētiska vai matemātiskā loģika, kas nosaka un pareiza veida argumentāciju ir. Izmantojot šo praksi, mēs cenšamies atšķirt pareizo un nepareizo.
Formālajā loģikā simboli tiek izmantoti viennozīmīgi un pēc iespējas skaidrāk, lai ar tiem nevarētu manipulēt. Pateicoties šai praksei, ir iespējams attīstīt savas idejas.
Alfrēds Nortvaitheds bija viens no formālās loģikas piekritējiem. Avots: Wellcome Trust
Vārds "loģika" cēlies no sengrieķu λογικήlogik ḗ, kas nozīmē "apveltīts ar intelektuālu, dialektisku, argumentējošu iemeslu". Loģika ir viena no filozofijas un matemātikas nozarēm, un to uzskata par ļoti noderīgu šajās disciplīnās.
Kopumā loģika pēta domas formu. Pirmie darbi, kas veikti saistībā ar loģiku, tiek attiecināti uz grieķu filozofu Aristoteli, tāpēc viņu dēvē par šīs domāšanas jomas dibinātāju.
Vēstures gaitā dažādi filozofi, matemātiķi un loģiķi ir aizstāvējuši formālo loģiku. Starp tiem mēs varam nosaukt matemātiķi un loģiķu Alonzo baznīcu; filozofs, matemātiķis un loģiķis Gotlobs Frege; un arī matemātiķis un filozofs Alfrēds Nortvaitheds.
Alfrēds Tarski, KurtGödel, Bertrand Russell un Willard Van Orman Quine, cita starpā, arī ir bijuši lieliski aizstāvji.
Pētījuma objekts
Formālajā loģikā kā izpētes objekts tiek izmantoti tādi aspekti kā argumentācija, jēdziens, spriedumi un demonstrācija. No šiem elementiem viņš analizē un pēta visus valodas un semantikas resursus, lai nonāktu pie secinājuma.
Šajā ziņā ir noteikts, ka formālajā loģikā argumentācija tiek pētīta no strukturētā viedokļa, no tās pamatotības vai spēkā neesamības.
Formāla loģika nav spriešanas procesa empīrisks pētījums. To nedrīkst sajaukt arī ar pārliecināšanu, jo secinājumu iegūšanai nepieciešama argumentu struktūra.
Šo loģiku sauc arī par teorētisko vai tīro loģiku, un tās mērķis ir veikt deduktīvu secinājumu, apgalvojumu, ierosinājumu un pārliecinoši izmantotu teikumu satura vai loģisko formu abstraktu izpēti.
Pilnīga formālās loģikas modeļa izpēte ļaus katram indivīdam precīzi zināt procedūras, kas saistītas ar viņu domāšanu.
raksturojums
Zemāk ir raksturīgākie raksturlielumi, kas atšķir formālo loģiku no citiem loģikas veidiem:
-Tā ir zinātne, kas pēta pieņēmuma formu, atšķirībā no citiem loģikas veidiem, kas pēta tikai materiālu.
-Tā ir struktūra bez matērijas.
-Tas ir izveidots formālo sistēmu apakškopā.
- Izmantojiet metodes, kas ir tik efektīvas, ka ar formālās loģikas palīdzību jūs varat atšķirt nepareizo no pareizā.
-Pareiza spriešanas vai pamatotības secinājumi rodas tāpēc, ka tiek analizēta patieso telpu struktūra.
-Pētiet un analizējiet cilvēkus, lai nonāktu tieši domās un tādējādi spētu izveidot jaunus modeļus katra indivīda prātā.
-To raksturo tas, ka tas ir simbolisks.
-No formālās zinātnes viedokļa tai ir liela nozīme matemātikā, filozofijā, datorzinātnēs un statistikā.
-Semantikas izpētes dēļ tas ir saistīts ar gramatiku.
-Studiju struktūras, tāpēc to salīdzina ar matemātiku.
-Tas ir saistīts arī ar psiholoģiju, jo tā koncentrējas uz katra indivīda domu izpēti.
Veidi
Deontiskā loģika
Tas nāk no sengrieķu δέον deona un nozīmē "kas pienākas" vai "kas ir nepieciešams". Šīs koncepcijas, kas attiecas uz normu izpēti un analīzi, pionieris ir austriešu žurnālists Aloizs Hēlers.
Divvērtīga loģika
Tas ir loģikas tips, kas atbalsta tikai patiesās un nepatiesās vērtības. Viņš netic ēnām, viss ir melns vai balts; pelēktoņu šāda veida loģika nav iespējama.
Tās principi balstās uz aristotelian loģiku, kas ir identitāte, pretrunīgums un izslēgtā trešā puse.
Daudzvērtīga vai daudzfunkcionāla loģika
Šāda veida loģika ir radusies filozofu Jana Lukaševiča un Emīla Pasta veikto pētījumu rezultātā, kuros viņi apgalvo, ka var atzīt citas vērtības, kas nav jau ierastās “patiesās” un “nepatiesās”, un ka šīs vērtības praktiski var sasniegt līdz bezgalībai.
Šajā ziņā tas atšķiras no divvērtīgās loģikas, kas atzīst tikai divas vērtības. Pētījumi rāda, ka daudzvērtīgā vai daudzfunkcionālā loģika apstrādā tādas vērtības kā iespējamība, nepieciešamība, nevajadzība, patiesība, nepatiesība un neiespējamība.
Tāpat arī šāda veida formālā loģika ir atbildīga par argumentu filozofisko un strukturālo aspektu izpēti.
Piemēri
Izmantojot formālu loģiku, ir iespējams pievienot patiesībai vai nepatiesībai īpašu argumentāciju.
Kā mēs jau paskaidrojām iepriekš, formālā loģika nekoncentrējas uz visām iespējām, kuras var iegūt no argumenta; tā koncentrējas tikai uz to, vai tā ir patiesa vai nepatiesa. Šajā ziņā zemāk ir uzskaitīti daži piemēri, kuru pamatā ir formālā loģika:
-Buenosairesa ir Argentīnas galvaspilsēta; tad visi Buenosairesā dzimušie ir argentīnieši.
-Joao runā portugāļu valodā. Joao dzimis Portugālē. Visi Portugālē runā portugāļu valodā.
-Govji dod pienu. Govis ir zīdītāji. Visi zīdītāji dod pienu.
-Pedro ir balts un María ir brunete, tāpēc ir balti un brūni cilvēki.
-Marija spēlē roka orķestrī. Mūziķi ir tie, kas spēlē roka orķestrī. Marija ir mūziķe.
-Josē ir melni mati. Elēnai ir brūni mati. Viņu meita varēja piedzimt ar melniem vai brūniem matiem.
-Kājai ir pieci pirksti. Cilvēkam ir labā un kreisā pēda. Katrai personai ir desmit kāju.
-Spānija ir valsts. Spānija paliek Eiropā. Visi spāņi ir eiropieši.
- Ana ir dzīva būtne. Ana ir mirstīga. Visas dzīvās lietas ir mirstīgas.
- Žozē sasmērējās ar ūdeni. Ūdens kļūst mitrs.
- Marija ēda savu karsto ēdienu. Marija apdegās, ēdot karstu ēdienu. Karstie ēdieni sadedzina.
- Zeme ir daļa no Visuma. Visumā ir planētas. Zeme ir planēta.
- iedegas elektriskā gaisma. Uz ielām ir elektriskā gaisma. Elektriskās gaismas apgaismo ielas.
Atsauces
- "Formāla loģika" Jaunās pasaules enciklopēdijā. Saņemts 2019. gada 21. aprīlī no Jaunās pasaules enciklopēdijas: newworldencyclopedia.org.
- Mortona L. Schagrin Ge Hughes “Formāla loģika”, kas iegūts 2019. gada 21. aprīlī no Britannica: britannica.com.
- "Loģika un tās klasifikācija" akadēmijā. Saņemts 2019. gada 23. aprīlī no akadēmijas: academia.edu.
- "Formāla loģika" filozofiskajā vārdnīcā. Saņemts 2019. gada 23. aprīlī no Filozofiskās vārdnīcas: philosophy.org.
- "Daudzvērtīgā loģika" filozofiskajā vārdnīcā. Saņemts 2019. gada 23. aprīlī no Filozofiskās vārdnīcas: philosophy.org.
- "Vispārīgi loģikas aspekti" klubu esejās (2013. gada 18. augusts). Iegūts 2019. gada 23. aprīlī no kluba izmēģinājumiem: clubensayos.com.
- "Deontiskā loģika" Vikipēdijā . Iegūts 2019. gada 23. aprīlī no Wikipedia: es.wikipedia.org.
- "Daudzfunkcionālā loģika" Vikipēdijā . Iegūts 2019. gada 23. aprīlī no Wikipedia: es.wikipedia.org.
- "Divvērtīga loģika" Vikipēdijā . Iegūts 2019. gada 23. aprīlī no Wikipedia: es.wikipedia.org