- Visatbilstošākie loģikas veidi
- Formāla loģika
- Neformāla loģika
- Neklasiskā loģika
- Simboliskā loģika
- Modālā loģika
- Skaitļošanas loģika
- Atsauces
Pastāv vairāki loģikas veidi, un visi koncentrējas uz savu pētījumu objektu, lai izprastu argumentāciju un identificētu, kad tie ir pareizi vai nepareizi. Loģikas izpēte ir attīstījusies no grieķu filozofa Aristoteļa laikiem līdz mūsdienām.
Ētika tiek koriģēta ar nodomu būt specifiskāka un tajā pašā laikā vairāk pielāgota cilvēka ikdienas dzīvei, kas ļauj to taustāmāk piemērot dažādās jomās.
Aristotelis, atzīts par loģikas tēvu.
Loģika tiecas sistemātiski izpētīt argumentus un priekšlikumus, un dažādie loģikas veidi ļauj izzināt gan šo paziņojumu formālo struktūru, gan arī to, kas ir saistīts ar saturu, un minētā satura spēku.
Lai arī loģika balstās uz apgalvojumu izpēti, tā skaidri nekoncentrējas uz dabisko valodu (valodu, kādu mēs to zinām), bet tās lietderība ir sasniegusi dažādas jomas un ar dažādām struktūrām, piemēram, matemātiku un skaitļošana.
Visatbilstošākie loģikas veidi
Formāla loģika
Formāla loģika, kas pazīstama arī kā klasiskā loģika vai aristoteļa loģika, ir apgalvojumu, argumentu, paziņojumu vai teikumu izpēte no strukturālā viedokļa. Tā ir metode, kā strukturēt domu un noteikt pareizas vai nepareizas īpašas pieejas formas.
Formāla loģika nekoncentrējas uz konkrēta argumenta satura patiesumu vai nepatiesību, bet gan koncentrējas uz tā formas konstruēšanas pamatotību vai neatbilstību.
Tas ir, formālās loģikas izpētes objekts nav empīrisks, loģiķim nav nozīmes noteikt, vai iesniegtais arguments ir reāls un pierādīts; Drīzāk viņa pētījums ir skaidri vērsts uz minētā argumenta struktūru.
Formālajā loģikā ir divas ļoti svarīgas klasifikācijas: deduktīvā loģika un induktīvā loģika.
Deduktīvā loģika attiecas uz tiem specifiskajiem paziņojumiem, kas ģenerēti no vispārīgiem priekšstatiem. Izmantojot šāda veida loģiku, var izdarīt secinājumus no jau pastāvošajiem jēdzieniem vai teorijām.
Piemēram, deduktīvās loģikas ietvaros varētu teikt, ka, ja cilvēkiem ir kājas un Klāra ir cilvēks, tad Klārai ir kājas.
Induktīvās loģikas gadījumā argumentu konstruēšana notiek pretēji; tas ir, vispārīgi jēdzieni tiek veidoti no konkrētiem argumentiem.
Piemēram, induktīvās loģikas ietvaros varētu teikt, ka, ja vienam kaķim patīk zivis, bet otram tas patīk, bet citam arī, tad visiem kaķiem patīk zivis.
Neformāla loģika
Neformālā loģika ir tā mācību nozare, kas koncentrējas uz valodu un vēstījumu, kas izriet no semantiskajām konstrukcijām un argumentiem.
Šī loģika atšķiras no formālās loģikas, jo formālā loģika pēta teikumu un priekšstatu struktūras; un neformālā loģika koncentrējas uz nodotā ziņojuma saturu.
Tās izpētes objekts ir veids, kā argumentēt, lai iegūtu vēlamo rezultātu. Neoficiāla loģika dod loģiskus argumentus, kas ir saskanīgāki citu starpā ar vājāku argumentācijas struktūru.
Neklasiskā loģika
Neklasiskā loģika jeb mūsdienu loģika ir radusies deviņpadsmitajā gadsimtā un rodas pretstatā klasiskās loģikas izteikumiem. Tas nosaka citus analīzes veidus, kas var aptvert vairāk aspektu nekā tos, kurus var aptvert, izmantojot klasisko pieeju loģikai.
Tādējādi tiek iekļauti matemātiskie un simboliskie elementi, jauni paziņojumi vai teorēmas, kas radās, lai aizkavētu formālās loģiskās sistēmas nepilnības.
Neklasiskajā loģikā cita starpā pastāv dažādi loģikas apakštipi, piemēram, modālā, matemātiskā, trīsvērtīgā.
Visi šie loģikas veidi zināmā mērā atšķiras no formālās loģikas vai tajos ir iekļauti jauni elementi, kas papildina viens otru, un ļauj konkrēta paziņojuma loģiskai izpētei būt precīzākai un pielāgotai ikdienas dzīvē.
Simboliskā loģika
Simbolisko loģiku sauc arī par pirmās kārtas loģiku vai matemātisko loģiku, un to raksturo simbolu izmantošana, kas veido jaunu valodu, caur kuru "tiek tulkoti" argumenti.
Simboliskās loģikas nolūks ir pārveidot abstraktas domas formālākās struktūrās. Faktiski tas neizmanto dabisko valodu (idiomu), bet izmanto tehnisko valodu, kas teikumus pārvērš elementos, kuri ir pakļauti precīzāku noteikumu piemērošanai, nekā tos var pielietot dabiskajā valodā.
Tātad simboliskā loģika ļauj apstrādāt piedāvājumus, izmantojot aprēķinu likumus, lai izvairītos no neskaidrībām vai neprecizitātēm.
Tā mērķis ir iekļaut matemātiskos elementus formālās loģikas struktūru analīzē. Matemātiskajā jomā teorēmu pierādīšanai izmanto loģiku.
Īsāk sakot, simboliskā vai matemātiskā loģika mēģina izteikt cilvēka domas ar matemātiskās valodas palīdzību.
Šī loģikas matemātiskā pielietošana ļauj argumentus un konstrukcijas padarīt precīzākas.
Modālā loģika
Modālā loģika koncentrējas uz argumentu izpēti, bet pievieno elementus, kas saistīti ar iespēju, ka attiecīgais apgalvojums ir patiess vai nepatiess.
Modālā loģika mēģina vairāk saskanēt ar cilvēku domām, tāpēc tā ietver tādu konstrukciju izmantošanu kā "varētu", "iespējams", "dažreiz", "varbūt", "iespējams", "ir iespējama", "varbūt ", starp citiem.
Modālajā loģikā ir runa par tāda scenārija izskatīšanu, kurā pastāv iespēja, un no loģiskā viedokļa ir paredzēts izskatīt visas iespējamās iespējas.
Skaitļošanas loģika
Skaitļošanas loģika ir loģikas veids, kas iegūts no simboliskās vai matemātiskās loģikas, tikai to izmanto skaitļošanas jomā.
Datorprogrammas izstrādā programmēšanas valodu, un, izmantojot loģiku, ir iespējams strādāt ar šīm valodu sistēmām, piešķirt noteiktus uzdevumus un veikt verifikācijas darbības.
Atsauces
- “Loģika” enciklopēdijā Britannica. Saņemts 2017. gada 4. augustā no enciklopēdijas Britannica: britannica.com
- “Formāla loģika” enciklopēdijā Britannica. Saņemts 2017. gada 4. augustā no enciklopēdijas Britannica: britannica.com
- Hernández, F. "Computational Logic" Meksikas Nacionālajā autonomajā universitātē. Saņemts 2017. gada 4. augustā no Meksikas Nacionālās autonomās universitātes: unam.mx
- Muñoz, C. "Neklasiskā loģika" Madrides Komplutences universitātē. Saņemts 2017. gada 4. augustā no Madrides Complutense universitātes: ucm.es
- Jūlija, Dž. "Kas ir simboliskā loģika?" eHow spāņu valodā. Saņemts 2017. gada 4. augustā no eHow spāņu valodā: ehowenespanol.com
- Ollers, C. "Formāla loģika un argumentācija" (2006) La Platas Nacionālajā universitātē. Saņemts 2017. gada 4. augustā no La Platas Nacionālās universitātes: rfytp.fahce.unlp.edu.ar
- "Deduktīvi un induktīvi secinājumi" Junta de Extremadura. Saņemts 2017. gada 4. augustā Junta de Extremadura: educarex.es.