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

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

Tam ir bijusi būtiska dažādu sistēmu un studiju formu attīstība, kuras rezultātā ir izveidoti četri galvenie loģikas veidi. Zemāk mēs redzēsim, kas ir katrs no viņiem.

• Ieteicamais raksts: "10 loģisko un argumentēto kļūdu veidi"

Kas ir loģika?

Vārds "loģika" nāk no grieķu valodas "logotipiem", kurus var tulkot dažādos veidos: daži no galvenajiem ir vārds, doma, arguments, princips vai iemesls. Šajā ziņā loģika ir principu un pamatojuma 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īgiem pierādījumiem, atšķirībā no nederīgiem pierādījumiem. Tātad loģikas pamatjautājums ir, kas ir pareiza domāšana un kā mēs varam atšķirt derīgu argumentu no maldiem?

Lai atbildētu uz šo jautājumu, loģika piedāvā dažādus apgalvojumu un argumentu klasifikācijas veidus neatkarīgi no tā, vai tie notiek formālās sistēmās vai dabiskajā valodā. Konkrēti, tas analizē priekšlikumus (deklaratīvos teikumus), kas var būt patiesi vai nepatiesi, kā arī maldi, paradoksi, argumenti, kas saistīti ar cēloņsakarību, un kopumā teorija argumentācija.

Lai sistēmu uzskatītu par loģisku, tām jāatbilst trim kritērijiem:

• Konsekvence (starp teorēmām, kas veido sistēmu, nav pretrunu)
• Cietība (testa sistēmās nav ietverti nepatiesi secinājumi)
• Pilnība (visiem patiesajiem teikumiem jābūt pārbaudāmiem)

4 loģikas veidi

Kā mēs redzējām, loģika izmanto dažādus rīkus, lai saprastu pamatojumu, ko mēs izmantojam, lai kaut ko pamatotu. Tradicionāli tiek atzīti četri galvenie loģikas veidi, katram no kuriem ir daži apakštipi un specifika. Zemāk mēs redzēsim, par ko katrs ir.

1. Formālā loģika

Pazīstams arī kā tradicionālā loģika vai filozofiskā loģika, tas ir tīri formāla un skaidra satura secinājumu izpēte. Runa ir par formālu apgalvojumu (loģisku vai matemātisku) analīzi, kuru nozīme nav pati par sevi, bet drīzāk tās simboliem ir jēga, pateicoties tiem piešķirtajam lietderīgajam pielietojumam. Filozofisko tradīciju, no kuras pēdējais izriet, precīzi sauc par "formālismu".

Savukārt formālā sistēma ir tā, kuru izmanto, lai izdarītu secinājumu no vienas vai vairākām telpām. Pēdējās var būt aksiomas (pašsaprotami priekšlikumi) vai teorēmas (secinājumi no fiksēta secinājumu un aksiomu likumu kopuma).

Secinājumi, kurus mēs sasniedzām, izmantojot formālu loģiku, ja to pamatā ir derīgas telpas un loģiskajās darbībās nav kļūdu, tās pašas par sevi ir patiesas. Faktiski tas izraisa atklātas diskusijas par to, vai formālā loģika pieder zinātnes pasaulei. vai arī tie pieder citai zināšanu jomai, jo tie neapraksta realitāti, bet drīzāk savus likumus darbojas.

2. Neformāla loģika

Savukārt neformālā loģika ir jaunāka disciplīna, kas pēta, novērtē un analizē argumentus, kas tiek izmantoti dabiskajā vai ikdienas valodā. Tādējādi tā saņem kategoriju "neformāls". Tā var būt gan runātā, gan rakstiskā valoda, vai jebkura veida mehānismi un mijiedarbība, ko izmanto, lai kaut ko sazinātos. Atšķirībā no formālās loģikas, kas, piemēram, attiektos uz datorvalodu izpēti 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 visu, sākot no personīgās argumentācijas un argumentiem līdz politiskām debatēm, juridiski argumenti vai telpas, ko izplata plašsaziņas līdzekļi, piemēram, laikraksts, televīzija, internets, utt.

3. Simboliskā loģika

Kā norāda 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, kuru tradicionālā formālā loģika uzskata par sarežģītu vai grūti risināmu. Parasti to iedala divos apakštipos:

• Predikatīvā vai pirmās kārtas loģika: tā ir formāla sistēma, kas sastāv no formulām un kvantitatīvi mainīgiem lielumiem
• Priekšlikums: tā ir formāla sistēma, kas sastāv no priekšlikumiem, kas spēj radīt citus priekšlikumus, izmantojot savienotājus, kurus sauc par "loģiskajiem savienotājiem". Tajā gandrīz nav kvantitatīvi mainīgu lielumu.

4. Matemātiskā loģika

Atkarībā no autora, kurš to apraksta, matemātisko loģiku var uzskatīt par formālās loģikas veidu. Citi uzskata, ka matemātiskā loģika ietver gan formālās loģikas piemērošanu matemātikā, gan matemātiskās pamatojuma piemērošanu formālajai loģikai.

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

Parasti to iedala divos apakštipos:

• Loģika: runa ir par loģikas pielietošanu matemātikā. Šāda veida piemēri ir pierādījumu teorija, modeļu teorija, kopu teorija un rekursijas teorija.
• Intuicionisms: apgalvo, ka gan loģika, gan matemātika ir metodes, kuru pielietošana ir konsekventa, lai veiktu sarežģītas garīgās konstrukcijas. Bet viņš saka, ka loģika un matemātika pašas par sevi nevar izskaidrot analizēto elementu dziļās īpašības.

Induktīva, deduktīva un modāla spriešana

No otras puses, ir trīs veidu argumenti, kurus var uzskatīt arī par loģiskām sistēmām. Tie ir mehānismi, kas ļauj mums izdarīt secinājumus no telpām. Deduktīvais pamatojums padara šo izvilkumu no vispārēja priekšnoteikuma līdz noteiktam. Klasisks piemērs ir Aristoteļa piedāvātais: visi cilvēki ir mirstīgi (tas ir vispārējs pieņēmums); Sokrats ir cilvēks (tas ir galvenais priekšnoteikums), visbeidzot, Sokrats ir mirstīgs (tas ir secinājums).

Savukārt induktīvais pamatojums ir process, kurā secinājums tiek izdarīts pretējā virzienā: no konkrētā līdz vispārējam. Piemērs tam būtu "Visas vārnas, kuras es redzu, ir melnas" (konkrēts priekšnoteikums); tātad visas vārnas ir melnas (secinājums).

Visbeidzot, argumentācija vai modālā loģika balstās uz varbūtības 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", "drīkst", "jābūt", "galu galā".

Bibliogrāfiskās atsauces:

• Groarke, L. (2017). Neformālā loģika. Stenfordas filozofijas enciklopēdija. Skatīts: 2018. gada 2. oktobris. Pieejams https://plato.stanford.edu/entries/logic-informal/
• Loģika (2018). Filozofijas pamati. Skatīts: 2018. gada 2. oktobris. Pieejams https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Nolaupīšana, saprāts un zinātne: atklāšanas un skaidrošanas procesi. Ņujorka: Kluwer Academic Plenum Publishers.
• Makgins, C. (2000). Loģiskās īpašības: identitāte, esamība, predikācija, nepieciešamība, patiesība. Oksforda: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Loģikas filozofija. Kembridža, MA: Hārvardas universitātes prese.
• Šapiro, S. un Kouri, S. (2018). Klasiskā loģika. Skatīts: 2018. gada 2. oktobris. Pieejams loģikā (2018). Filozofijas pamati. Skatīts: 2018. gada 2. oktobris. Pieejams https://www.philosophybasics.com/branch_logic.html
• Garsons, Dž. (2018). Modālā loģika. Stenfordas filozofijas enciklopēdija. Skatīts: 2018. gada 2. oktobris. Pieejams https://plato.stanford.edu/entries/logic-modal/