4 vissvarīgākie loģikas veidi (un funkcijas)
Loģika ir izpētes pamatojums un secinājumi . Tas ir jautājumu un analīžu kopums, kas mums ļāva saprast, cik derīgi argumenti atšķiras no kļūdām un kā mēs tos nonākam.
Lai to panāktu, dažādu sistēmu un mācību formu attīstība ir bijusi neaizstājama, kā rezultātā ir izveidoti četri galvenie loģikas veidi. Tālāk mēs redzēsim, par ko katrs no tiem ir.
- Ieteicamais raksts: ["10 veidu loģiskās un argumentatīvās kļūdas"] (10 veidu loģiskās un argumentācijas kļūdas)
Kas ir loģika?
Vārds "loģika" nāk no grieķu "logotipa", ko var tulkot dažādos veidos: vārdi, domas, arguments, princips vai iemesls ir daži no galvenajiem. Šajā ziņā loģika ir principu un argumentācijas izpēte.
Šī pētījuma mērķis ir izprast dažādus secinājumu kritērijus un to, kā mēs nonākam pie derīgām demonstrācijām, pretēji nederīgajām demonstrācijām. Tātad, loģikas pamatjautājums ir tas, kas ir pareizā domāšana un kā mēs varam atšķirt derīgu argumentu un kļūdainu interpretāciju?
Lai atbildētu uz šo jautājumu, loģika piedāvā dažādus veidus, kā klasificēt paziņojumus un argumentus, neatkarīgi no tā, vai tie notiek oficiālā sistēmā vai dabiskā valodā. Konkrēti, tajā tiek analizēti apgalvojumi (deklaratīvi teikumi), kas var būt patiesi vai nepatiesi, kā arī kļūdas, paradoksi, argumenti, kas ietver cēloņsakarību un vispār argumentācijas teoriju.
Vispārīgi uzskatot sistēmu par loģisku, tai jāatbilst trim kritērijiem:
- Konsekvence (nav pretruna starp teorēmām, kas veido sistēmu)
- Soliditāte (testa sistēmās nav iekļauti nepatiesi secinājumi)
- Pabeigts (visiem patiesajiem teikumiem jābūt spējīgiem pierādīt)
4 loģikas veidi
Kā redzējām, loģika izmanto dažādus rīkus, lai izprastu argumentus, kurus izmantojam, lai kaut ko pamatotu. Tradicionāli tiek atpazīti četri galvenie loģikas veidi, no kuriem katram ir daži apakštipi un specifika. Mēs redzēsim tālāk to, kas ir viens no tiem.
1. Formālā loģika
Pazīstams arī kā tradicionālā loģika vai filozofiskā loģika. tas ir par secinājumu izpēti ar tīri formālu un skaidru saturu . Tas ir par to, kā analizēt formālos apgalvojumus (loģiskus vai matemātiskus), kuru nozīme nav raksturīga, bet tās simboliem ir nozīme, pateicoties lietderīgam pielietojumam, kas tiem tiek dota. No tā izrietošā filozofiskā tradīcija tiek saukta par "formālismu".
Savukārt formāla sistēma ir tā, kuru izmanto, lai iegūtu secinājumu no vienas vai vairākām telpām. Pēdējās var būt aksiomas (pašsaprotamas propositions) vai teorēmas (secinājumi par fiksētu noteikumu kopumu secinājumu un aksiomu).
2. Neformāla loģika
Savukārt neformālā loģika ir nesenākā disciplīna, kas studē, novērtē un analizē argumentus, kas parādās dabiskajā vai ikdienas valodā . Tādējādi tā saņem kategoriju "neformāla". Tas var būt vai nu runas vai rakstiska valoda, vai jebkura veida mehānisms un mijiedarbība, ko izmanto, lai kaut ko sazinātos. Atšķirībā no formālās loģikas, kas, piemēram, attiektos uz datoru valodu izpēti un izstrādi; formālā valoda attiecas uz valodām un valodām.
Tādējādi neoficiālā loģika no personīgās domāšanas un argumentācijas var analizēt politiskās diskusijas, tiesiskus argumentus vai plašsaziņas līdzekļu izplatītās telpas, piemēram, laikrakstus, televīziju, internetu un tā tālāk.
3. Simboliskā loģika
Kā norāda nosaukums, simboliskā loģika analizē attiecības starp simboliem. Dažreiz tas izmanto sarežģītu matemātisko valodu, jo tā ir atbildīga par tādu problēmu izpēti, kuras tradicionālā formālā loģika ir sarežģīta vai grūti pievērsta. To parasti iedala divos apakštipus:
- Prognozējamā loģika vai pirmais pasūtījums : tā ir formāla sistēma, kuras sastāvā ir formulas un kvantitatīvi mainīgie lielumi
- Propositional : tā ir formāla sistēma, kas sastāv no priekšlikumiem, kuri spēj radīt citus ierosinājumus, izmantojot savienotājus, kas saucas "loģiski saistošs". Tajā gandrīz nav kvantificējamu mainīgo lielumu.
4. Matemātiskā loģika
Atkarībā no autora, kurš to apraksta, matemātisko loģiku var uzskatīt par formālu loģiku. Citi uzskata, ka matemātiskā loģika ietver gan formālās loģikas piemērošanu matemātikai, gan matemātisko pamatojumu piemērošanu formālajai loģikai.
Plaši runājot, matemātiskās valodas pielietošana loģisko sistēmu veidošanā ļauj reproducēt cilvēka prātu. Piemēram, tas bija ļoti klāt mākslīgā intelekta attīstībā un izziņas izpētes skaitļošanas paradigmos.
To parasti iedala divos apakštipus:
- Loģika : tas ir par loģikas pielietojumu matemātikā. Šāda veida piemēri ir pierādījumu teorija, modeļa teorija, teorija un rekursijas teorija.
- Intuīcija : apgalvo, ka gan loģika, gan matemātika ir metodes, kuru piemērošana ir konsekventa, lai veiktu sarežģītas garīgās konstrukcijas. Bet viņš saka, ka paši par sevi loģika un matemātika nevar izskaidrot analizējamo elementu dziļās īpašības.
Induktīvie, deduktīvie un modālie apsvērumi
No otras puses Ir trīs veidu iemesli, kurus var uzskatīt par loģiskām sistēmām . Šie ir mehānismi, kas ļauj izdarīt secinājumus no telpām. Deduktīvie apsvērumi padara šo izvilkumu no vispārīgas priekšnoteikšanās konkrētai premisai. Klasisks piemērs ir Aristoteļa ierosinājums: visi cilvēki ir mirstīgie (tas ir vispārējs priekšnoteikums); Sokrāts ir cilvēks (tas ir galvenais priekšnoteikums), un visbeidzot, Sokrāts ir mirstīgs (šis ir secinājums).
Savukārt induktīvā argumentācija ir process, kurā tiek izdarīts secinājums pretējā virzienā: no konkrētā līdz vispārīgajam. Piemēram, tas būtu: "Visas vārnas, ko es redzu, ir melnas" (īpaša priekšnoteikums); tad visas vārnas ir melnas (secinājums).
Visbeidzot, pamatojums vai modāla loģika pamatojas uz varbūtības argumentiem, proti, tie izsaka iespēju (modalitāte). Tā ir formāla loģiskā sistēma, kas ietver tādus terminus kā "varētu", "var", "vajadzētu", "galu galā".
Bibliogrāfiskās atsauces:
- Groarke, L. (2017). Neformālā loģika. Stanfordas filozofijas enciklopēdija. Iegūts 2018. gada 2. oktobrī. Pieejams //plato.stanford.edu/entries/logic-informal/
- Loģika (2018). Filozofijas pamati. Iegūts 2018. gada 2. oktobrī. Pieejams vietnē //www.philosophybasics.com/branch_logic.html
- Shapiro S. un Kouri S. (2018). Klasiskā loģika. Iegūts 2018. gada 2. oktobrī. Pieejams Logic (2018). Filozofijas pamati. Iegūts 2018. gada 2. oktobrī. Pieejams vietnē //www.philosophybasics.com/branch_logic.html
- Garson, J. (2018). Modal Logic. Stanfordas filozofijas enciklopēdija. Iegūts 2018. gada 2. oktobrī. Pieejams //plato.stanford.edu/entries/logic-modal/
