- Ang pinaka may-katuturang uri ng lohika
- Pormal na lohika
- Di-pormal na lohika
- Hindi klasikal na lohika
- Simbolikong lohika
- Modal na lohika
- Compactational logic
- Mga Sanggunian
Mayroong maraming mga uri ng lohika at lahat ay nakatuon sa kanilang bagay ng pag-aaral sa pag-unawa sa pangangatuwiran at pagkilala kung tama o hindi tama. Ang pag-aaral ng lohika ay umusbong mula sa mga panahon ng pilosopo na Griego na si Aristotle hanggang sa kasalukuyan.
Ang etika ay nag-aayos sa hangarin na maging mas tiyak at, sa parehong oras, mas inangkop sa pang-araw-araw na buhay ng tao, na nagbibigay-daan sa isang mas nasasalat na aplikasyon sa iba't ibang mga lugar.
Si Aristotle, kinikilala bilang ama ng lohika.
Hinahanap ng lohika ang sistematikong pag-aaral ng mga argumento at panukala, at ang iba't ibang uri ng lohika ay pinahihintulutan na posible na pag-aralan ang parehong pormal na istraktura ng mga pahayag na ito, pati na rin kung ano ang dapat gawin sa nilalaman, at ang kapangyarihan ng nasabing nilalaman.
Kahit na ang lohika ay batay sa pag-aaral ng mga pahayag, hindi ito nakatuon nang malinaw sa natural na wika (wika tulad ng alam natin), ngunit ang pagiging kapaki-pakinabang nito ay umabot sa iba't ibang mga lugar at may iba't ibang mga istraktura, tulad ng matematika at computing.
Ang pinaka may-katuturang uri ng lohika
Pormal na lohika
Ang pormal na lohika, na kilala rin bilang klasikal na lohika o lohika ng Aristotelian, ay ang pag-aaral ng mga panukala, argumento, pahayag, o mga pangungusap mula sa isang istrukturang punto ng pananaw. Ito ay isang paraan ng pag-istruktura ng pag-iisip at pagtukoy ng tama o hindi wastong anyo ng isang tiyak na pamamaraan.
Ang pormal na lohika ay hindi nakatuon sa kawastuhan o kasinungalingan ng nilalaman ng isang partikular na argumento, ngunit sa halip ay tumutok sa bisa o hindi sa pagtatayo ng form nito.
Ibig sabihin, ang object ng pag-aaral ng pormal na lohika ay hindi empirikal, para sa logician hindi ito nauugnay upang matukoy kung ang argumento na ipinakita ay tunay at napatunayan; Sa halip, ang kanyang pag-aaral ay malinaw na nakatuon sa istruktura ng nasabing argumento.
Sa loob ng pormal na lohika ay may dalawang napakahalagang pag-uuri: deduktibong lohika at induktibong lohika.
Ang nakatutok na lohika ay tumutukoy sa mga tiyak na pahayag na nalilikha mula sa mga pangkalahatang pananaw. Sa pamamagitan ng ganitong uri ng lohika, ang mga sanggunian ay maaaring gawin mula sa mga konsepto o teorya na mayroon na.
Halimbawa, sa loob ng dedikadong lohika masasabi na, kung ang mga tao ay may mga binti at si Clara ay isang tao, kung gayon si Clara ay may mga binti.
Sa kaso ng induktibong lohika, ang pagtatayo ng mga argumento ay nangyayari sa kabaligtaran na paraan; iyon ay, ang mga pangkalahatang konsepto ay nilikha mula sa mga tiyak na argumento.
Halimbawa, sa loob ng induktibong lohika masasabi na, kung ang isang pusa ay may gusto ng isda, at ang isa ay may gusto din, at isa pa, kung gayon ang lahat ng mga pusa tulad ng isda.
Di-pormal na lohika
Ang impormal na lohika ay ang sangay ng pag-aaral na nakatuon sa wika at ang mensahe na nagmula sa mga semantiko na konstruksyon at argumento.
Ang lohika na ito ay naiiba sa pormal na lohika, sa pormal na pag-aaral ng lohika na ang mga istruktura ng mga pangungusap at panukala; at ang impormal na lohika ay nakatuon sa sangkap ng mensahe na ipinadala.
Ang layunin ng pag-aaral ay ang paraan ng pagtatalo upang makuha ang ninanais na resulta. Ang impormal na lohika ay nagbibigay ng bisa sa mga lohikal na argumento na higit na magkakaugnay sa iba na may mas mahina na istruktura na pangangatwiran.
Hindi klasikal na lohika
Ang di-klasikal na lohika, o modernong lohika, ay nagmula sa ikalabing siyam na siglo at lumitaw sa pagsalungat sa mga pahayag ng klasikal na lohika. Nagtatatag ito ng iba pang mga anyo ng pagsusuri na maaaring masakop ang higit pang mga aspeto kaysa sa mga maaaring masakop sa pamamagitan ng klasikong diskarte sa lohika.
Ito ay kung paano kasama ang mga elemento ng matematika at simbolikong, mga bagong pahayag o teorema na dumating upang gumawa ng mga kakulangan ng isang pormal na sistema ng lohika.
Sa loob ng hindi klasikal na lohika ay may iba't ibang mga subtypes ng lohika, tulad ng modal, matematika, trivalent, bukod sa iba pa.
Ang lahat ng mga uri ng lohika na ito ay naiiba sa ilang saklaw mula sa pormal na lohika, o isama ang mga bagong elemento na pantulong, at pinapayagan ang lohikal na pag-aaral ng isang partikular na pahayag na mas tumpak at iniangkop sa utility sa pang-araw-araw na buhay.
Simbolikong lohika
Ang simbolikong lohika ay tinatawag ding unang-order logic, o pang-matematika na lohika, at nailalarawan sa pamamagitan ng paggamit ng mga simbolo na bumubuo ng isang bagong wika kung saan ang mga argumento ay "isinalin".
Ang hangarin ng simbolikong lohika ay upang mai-convert ang mga abstract na kaisipan sa mas pormal na istruktura. Sa katunayan, hindi ito gumagamit ng natural na wika (idyoma), ngunit gumagamit ng isang teknikal na wika na nagiging mga pangungusap sa mga elemento na madaling kapitan ng aplikasyon ng mas eksaktong mga patakaran kaysa sa maaaring mailapat sa natural na wika.
Kaya, pinapayagan ng simbolikong lohika ang paggamot ng mga panukala sa pamamagitan ng mga batas ng calculus, upang maiwasan ang pagkalito o kawastuhan.
Nilalayon nitong isama ang mga elemento ng matematika sa pagsusuri ng mga istruktura ng pormal na lohika. Sa larangan ng matematika, ginagamit ang lohika upang mapatunayan ang mga teoryang.
Sa maikli, simbolikong o matematiko na lohika ay naglalayong ipahayag ang kaisipang tao sa pamamagitan ng wikang matematika.
Ang matematika na aplikasyon ng lohika ay nagbibigay-daan sa mga argumento at konstruksyon upang maging mas eksaktong.
Modal na lohika
Ang modal na lohika ay nakatuon sa pag-aaral ng mga argumento, ngunit nagdaragdag ng mga elemento na may kaugnayan sa posibilidad na ang pahayag na pinag-uusapan ay totoo o hindi totoo.
Ang modal na lohika ay naglalayong maging higit na naaayon sa pag-iisip ng tao, samakatuwid ay sumasaklaw sa paggamit ng mga konstruksyon tulad ng "maaari", "marahil", "minsan", "marahil", "marahil", "ay maaaring", "marahil ", bukod sa iba pa.
Sa modal logic, ito ay tungkol sa pagsasaalang-alang ng isang senaryo kung saan may posibilidad, at may posibilidad na isaalang-alang ang lahat ng mga posibilidad na maaaring umiiral, mula sa lohikal na punto ng view.
Compactational logic
Ang computational logic ay isang uri ng lohika na nagmula sa simbolikong o matematika na lohika, tanging ito ay inilalapat sa lugar ng pag-compute.
Ginagamit ng mga programang computer ang programming language para sa kanilang pag-unlad at, sa pamamagitan ng lohika, posible na magtrabaho sa mga sistemang pang-wika, magtalaga ng mga tukoy na gawain, at magsagawa ng mga pagkilos sa pagpapatunay.
Mga Sanggunian
- "Logic" sa Encyclopedia Britannica. Nakuha noong Agosto 4, 2017 mula sa Encyclopedia Britannica: britannica.com
- "Pormal na lohika" sa Encyclopedia Britannica. Nakuha noong Agosto 4, 2017 mula sa Encyclopedia Britannica: britannica.com
- Hernández, F. "Computational Logic" sa National Autonomous University of Mexico. Nakuha noong Agosto 4, 2017 mula sa National Autonomous University of Mexico: unam.mx
- Muñoz, C. "Non-Classic Logic" sa Complutense University of Madrid. Nakuha noong Agosto 4, 2017 mula sa Complutense University of Madrid: ucm.es
- Julia, J. "Ano ang sinasagisag na lohika?" sa ePaano sa Espanyol. Nakuha noong Agosto 4, 2017 mula sa eHow sa Espanyol: ehowenespanol.com
- Oller, C. "Pormal na lohika at pagtatalo" (2006) sa National University of La Plata. Nakuha noong Agosto 4, 2017 mula sa National University of La Plata: rfytp.fahce.unlp.edu.ar
- "Mga nakatuon at induktibong mga sanggunian" sa Junta de Extremadura. Nakuha noong Agosto 4, 2017 sa Junta de Extremadura: educarex.es.