4 svarīgākie loģikas veidi (un iezīmes)

Loģika ir pamatojuma un secinājumu izpēte. Tas ir jautājumu un analīžu kopums, kas ļāva mums saprast, cik pamatoti argumenti atšķiras no neveiksmēm un kā mēs nonākam pie tiem.

Šim nolūkam ir bijusi nepieciešama dažādu studiju sistēmu un formu attīstība, kas ir noveduši pie četriem galvenajiem loģikas veidiem. Mēs redzēsim zemāk, ko katrs no tiem ir.

• Ieteicamais raksts: [10 loģisko un argumentējošo kritumu veidi] (10 loģisko un argumentējošo kritumu veidi)

Kas ir loģika?

Vārds "loģika" nāk no grieķu "logotipiem", kurus var tulkot dažādos veidos: vārds, doma, arguments, princips vai iemesls ir daži no galvenajiem. Šajā ziņā loģika ir principu un pamatojumu 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 pareizā domāšana un kā mēs varam atšķirt derīgu argumentu un maldību??

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 dabiskajā valodā. Konkrētāk, tā analizē apgalvojumus (deklaratīvos teikumus), kas var būt patiesi vai nepatiesi, kā arī maldi, paradoksi, argumenti, kas saistīti ar cēloņsakarību un, vispārīgi, argumentācijas teorija..

Vispārīgi runājot, lai sistēmu uzskatītu par loģisku, tiem jāatbilst trim kritērijiem:

• Konsekvence (nav pretrunas starp teorēmu, kas veido sistēmu)
• Stiprums (testēšanas sistēmās nav viltus secinājumu)
• Kompēts (visiem patiesajiem teikumiem jābūt spējīgiem pierādīt)

4 loģikas veidi

Kā mēs redzējām, loģika izmanto dažādus instrumentus, lai saprastu pamatojumu, ko mēs izmantojam, lai kaut ko pamatotu. Tradicionāli tiek atzīti četri galvenie loģikas veidi, katrs ar dažiem apakštipiem un specifiku. Mēs redzēsim zemāk par to, ko katrs ir.

1. Oficiāla 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. Runa ir par formālu paziņojumu (loģisku vai matemātisku) analīzi, kuru nozīme nav būtiska, bet tās simboli ir lietderīgi, izmantojot noderīgo lietojumprogrammu. Filozofiskā tradīcija, no kuras tā izriet, tiek saukta tieši par "formālismu"..

Savukārt formāla sistēma ir tāda, kas tiek izmantota, lai izdarītu secinājumus no vienas vai vairākām telpām. Pēdējie var būt aksiomi (pašsaprotami priekšlikumi) vai teorēmas (secinājumi par secinājumiem un aksiomām).

2. Neformāla loģika

Savukārt neformālā loģika ir jaunāka disciplīna, kas izpētīt, novērtēt un analizēt argumentus, kas parādīti dabiskajā vai ikdienas valodā. Tādējādi tā saņem kategoriju "neoficiāls". Tā var būt vai nu runāta, 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 apguvi un attīstību; oficiālā valoda attiecas uz valodām un valodām.

Tādējādi neformālā loģika var analizēt no personīgiem argumentiem un argumentiem uz politiskām debatēm, juridiskiem argumentiem vai plašsaziņas līdzekļu izplatītajām telpām, piemēram, laikrakstiem, televīzijai, internetam utt..

3. Simboliskā loģika

Kā norāda tā nosaukums, simboliskā loģika analizē attiecības starp simboliem. Dažreiz tā izmanto sarežģītu matemātisko valodu, jo tā ir atbildīga par problēmu izpēti, ko tradicionālā formālā loģika atklāj grūti vai grūti risināt. To parasti iedala divos apakštipos:

• Prognozējošā loģika vai pirmā kārtība: tā ir formāla sistēma, kas sastāv no formulām un kvantificējamiem mainīgajiem lielumiem
• Piedāvājums: tā ir formāla sistēma, kas sastāv no piedāvājumiem, kas spēj radīt citus priekšlikumus, izmantojot savienotājus, ko sauc par "loģisku saiti". Tajā nav gandrīz nekādu kvantificējamu mainīgo.

4. Matemātiskā loģika

Atkarībā no autora, kas 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 pielietošanu matemātikā, gan matemātisku pamatojumu piemērošanu formālai loģikai..

Vispārīgi runājot, matemātiskās valodas izmantošana loģisko sistēmu konstruēšanā ļauj atveidot cilvēka prātu. Piemēram, tas ir bijis ļoti nozīmīgs mākslīgā intelekta attīstībā un izziņas izpētes skaitļošanas paradigmās..

To parasti iedala divos apakštipos:

• Loģika: tā ir loģikas pielietošana matemātikā. Šāda veida piemēri ir testa teorija, modeļu teorija, kopu teorija un rekursijas teorija.
• Intuitionisms: 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 loģika un matemātika paši par sevi nevar izskaidrot analizējamo elementu dziļās īpašības.

Induktīvs, deduktīvs un modāls pamatojums

No otras puses, Pastāv trīs argumentācijas veidi, kurus var uzskatīt par loģiskām sistēmām. Tie ir mehānismi, kas ļauj izdarīt secinājumus no telpām. Deduktīvā spriešana padara šādu ieguvi no vispārēja priekšnoteikuma uz konkrētu telpu. Klasisks piemērs ir tas, ko ierosināja Aristotelis: visi cilvēki ir mirstīgi (tas ir vispārējs priekšnoteikums); Socrates ir cilvēks (tas ir galvenais priekšnoteikums), un, visbeidzot, Socrates ir mirstīgs (tas ir secinājums).

No otras puses, induktīvs pamatojums ir process, ar kura palīdzību tiek izdarīts secinājums pretējā virzienā: no konkrētās uz vispārējo. Kā piemēru var minēt: „Visas vārnas, ko es redzu, ir melnas” (īpaši priekšnoteikums); tad visas vārnas ir melnas (secinājums).

Visbeidzot, argumentācija vai modālisma loģika balstās uz varbūtiskiem argumentiem, tas ir, tie izsaka iespēju (modalitāti). Tā ir formāla loģikas sistēma, kas ietver tādus terminus kā "varētu", "var", "vajadzētu", "beidzot".

Bibliogrāfiskās atsauces:

• Groarke, L. (2017). Neformāla loģika. Stanfordas enciklopēdija filozofijā. Ielādēts 2018. gada 2. oktobrī. Pieejams vietnē https://plato.stanford.edu/entries/logic-informal/
• Loģika (2018). Filozofijas pamati. Ielādēts 2018. gada 2. oktobrī. Pieejams vietnē https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. un Kouri, S. (2018). Klasiskā loģika. Ielādēts 2018. gada 2. oktobrī. Pieejams loģikā (2018). Filozofijas pamati. Ielādēts 2018. gada 2. oktobrī. Pieejams vietnē https://www.philosophybasics.com/branch_logic.html
• Garsons, J. (2018). Modāla loģika. Stanfordas enciklopēdija filozofijā. Ielādēts 2018. gada 2. oktobrī. Pieejams vietnē https://plato.stanford.edu/entries/logic-modal/