Kopīgot:
6 galvenie loģikas veidi
Ir vairāki loģika un visi pievēršas mācību priekšmetam, lai saprastu pamatojumu un noteiktu, kad tie ir pareizi vai nepareizi.
Loģikas izpēte ir attīstījusies no grieķu filozofa Aristotela laikiem līdz mūsdienām, un tas ir pielāgots ar nolūku būt konkrētākam un tajā pašā laikā vairāk pielāgoties cilvēka ikdienas dzīvei, kas tai ļauj konkrētāku pielietojumu dažādās jomās.
Loģika paredz sistemātisku argumentu un priekšlikumu izpēti, un dažādie loģikas veidi ļauj izpētīt gan šo apgalvojumu tīri formālo struktūru, gan to, kas ir saistīts ar satura saturu un saturu..
Lai gan loģika balstās uz apgalvojumu izpēti, tā nepārprotami koncentrējas uz dabisko valodu (valodu, kā mēs to zinām), bet tās lietderība ir sasniegusi dažādas jomas un dažādas struktūras, piemēram, matemātiku un skaitļošana.
Visbūtiskākie loģikas veidi
Oficiāls
Formālā loģika, kas pazīstama arī kā klasiskā loģika vai aristoteliskā loģika, ir priekšlikumu, argumentu, paziņojumu vai teikumu izpēte no strukturālā viedokļa.
Tā ir metode, kā strukturēt domas un noteikt pareizas vai nepareizas konkrētas pieejas formas.
Formālā loģika nav vērsta uz konkrēta argumenta satura patiesumu vai nepatiesību, bet koncentrējas uz tās formas konstruēšanas derīgumu vai pretējo..
Tas nozīmē, ka formālās loģikas izpētes objekts nav empīrisks, jo loģistikai nav svarīgi noteikt, vai iesniegtais arguments ir reāls un pierādīts; bet ka viņa pētījums ir koncentrēts uz minētā argumenta struktūru.
Formālās loģikas ietvaros ir divas ļoti svarīgas klasifikācijas: deduktīvā loģika un induktīvā loģika.
Deduktīvā loģika attiecas uz tiem konkrētajiem paziņojumiem, kas iegūti no vispārējiem jēdzieniem. Ar šāda veida loģiskiem secinājumiem var izdarīt no jau pastāvošām koncepcijām vai teorijām.
Piemēram, deduktīvajā loģikā varētu teikt, ka, ja cilvēkiem ir kājas un Clara ir cilvēks, tad Clara ir kājas..
Induktīvās loģikas gadījumā argumentu uzbūve notiek pretēji; tas ir, vispārīgi jēdzieni tiek radīti 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, un vēl viens, tad visi kaķi, piemēram, zivis.
Neoficiāls
Neformālā loģika ir studiju nozare, kas koncentrējas uz valodu un ziņojumu, kas izriet no semantiskām konstrukcijām un argumentiem.
Šī loģika atšķiras no formālās loģikas, jo formālajā loģikā tiek pētītas teikumu un priekšlikumu struktūras; un neformālā loģika koncentrējas uz pārraidītā ziņojuma fonu.
Pētījuma priekšmets ir veids, kā apgalvot, lai iegūtu vēlamo rezultātu. Neformālā loģika apstiprina loģiskus argumentus, kas ir saskaņotāki starp citiem, kuriem ir vājāka argumentatīva struktūra.
Nav klasisks
Ne-klasiskā loģika vai mūsdienīga loģika nāk no deviņpadsmitā gadsimta un rodas pretstatā klasiskās loģikas apgalvojumiem.
Tajā ir noteiktas citas analīzes formas, kas var aptvert vairāk aspektu, nekā tas ir iespējams, izmantojot klasisko loģikas pieeju.
Tādā veidā tiek iekļauti matemātiskie un simboliskie elementi, jauni paziņojumi vai teorēmas, kas radās, lai kompensētu formālās loģikas sistēmas trūkumus.
Ne-klasiskā loģikā ir dažādi loģikas apakštipi, piemēram, modāls, matemātisks, trīsvērtīgs..
Visi šie loģiskie veidi zināmā mērā atšķiras no formālās loģikas vai ietver jaunus elementus, kas ir savstarpēji papildinoši, un ļauj konkrēta paziņojuma loģiskajai izpētei būt precīzākai un piemērotākai ikdienas dzīvē..
Simbolisks
Simbolisko loģiku sauc arī par pirmās kārtas loģiku vai matemātisko loģiku, un to raksturo simboli, kas veido jaunu valodu, ar kuru "tulkot" argumentus.
Simboliskās loģikas mērķis ir pārveidot abstraktas domas par formālākām struktūrām.
Faktiski tā neizmanto dabisko valodu (valodu), bet izmanto tehnisko valodu, kas pārveido teikumus par elementiem, kas ir pakļauti precīzāku noteikumu piemērošanai, nekā to var piemērot dabiskajā valodā..
Tad simboliskā loģika ļauj apstrādāt piedāvājumus ar aprēķinu likumiem, lai izvairītos no neskaidrībām vai neprecizitātēm.
Tā mērķis ir iekļaut matemātiskos elementus formālo loģisko struktūru analīzē. Matemātiskajā laukā loģiku izmanto, lai pierādītu teorēmas.
Īsāk sakot, simboliskā vai matemātiskā loģika cenšas izteikt cilvēka domāšanu matemātiskajā valodā.
Šī loģiskā loģiskā piemērošana ļauj argumentiem un konstrukcijām būt precīzākiem.
Modāls
Modāla loģika ir vērsta uz argumentu izpēti, bet pievieno elementus, kas saistīti ar iespēju, ka attiecīgais paziņojums ir patiess vai nepareizs.
Modāla loģika izliekas par konsekventāku ar cilvēka domu, tāpēc tā ietver tādu konstrukciju izmantošanu kā "varētu", "iespējams", "dažreiz", "varbūt", "iespējams", "iespējams", "varbūt". ", Starp citu.
Modālajā loģikā tas ir jautājums par scenāriju, kurā pastāv iespēja, un viens no tiem, kas domā par visām iespējamām iespējām, no loģiskā viedokļa.
Aprēķina
Skaitļošanas loģika ir loģika, kas iegūta no simboliskās vai matemātiskās loģikas, tikai tā tiek izmantota skaitļošanas jomā..
Datorprogrammās tiek izmantota programmēšanas valoda to izstrādei un, izmantojot loģiku, ir iespējams strādāt ar šīm valodu sistēmām, piešķirt konkrētus uzdevumus un veikt verifikācijas darbības..
Atsauces
- "Logic" Encyclopedia Britannica. Saturs iegūts 2017. gada 4. augustā no Encyclopedia Britannica: britannica.com
- "Formālā loģika" Encyclopedia Britannica. Saturs iegūts 2017. gada 4. augustā no Encyclopedia Britannica: britannica.com
- Hernández, F. "Computational Logic" Meksikas autonomajā universitātē. Saturs iegūts 2017. gada 4. augustā no Meksikas autonomās universitātes: unam.mx
- Muñoz, C. "Ne-klasiskā loģika" Madrides Complutense universitātē. Saturs iegūts 2017. gada 4. augustā no Universidad Complutense de Madrid: ucm.es
- Julia, J. "Kas ir simboliska loģika?" EHow en Español. Saturs iegūts 2017. gada 4. augustā no eHow en Español: ehowenespanol.com
- Oller, C. "Formālā loģika un argumentācija" (2006) La Platas Nacionālajā universitātē. Saturs iegūts 2017. gada 4. augustā no La Plata nacionālās universitātes: rfytp.fahce.unlp.edu.ar
- "Deduktīvie un induktīvie secinājumi" Junta de Extremadura. Saturs iegūts 2017. gada 4. augustā Junta de Extremadura: educarex.es.