PORMAL NA LOHIKA: BAGAY NG PAG-AARAL, KATANGIAN AT HALIMBAWA - PILOSOPIYA - 2025

Ang pormal na lohika , na tinatawag ding lohikal na teoretikal o matematika na lohika, na tumutukoy sa wasto at tamang mga porma ng pangangatuwiran. Sa pamamagitan ng pagsasanay na ito hinahangad nating pag-iba-iba kung ano ang tama mula sa kung ano ang hindi tama.

Sa pormal na lohika, ang mga simbolo ay ginagamit nang walang katuturan at sa pinakamaliwanag na paraan na posible, upang hindi sila mai-manipulate. Salamat sa pagsasanay na ito posible na bumuo ng iyong sariling mga ideya.

Si Alfred North Whitehead ay isa sa mga tagapagtaguyod ng pormal na lohika. Pinagmulan: Wellcome Trust

Ang salitang "lohika" ay nagmula sa sinaunang Greek λογικήlogik ḗ, na nangangahulugang "pinagkalooban ng intelektwal, dialectical, pangangatwiran na dahilan." Ang lohika ay isa sa mga sangay ng pilosopiya at matematika, at itinuturing itong mahusay na paggamit para sa mga disiplinang ito.

Sa pangkalahatan, pag-aaral ng lohika ang anyo ng pag-iisip. Ang mga unang gawa na isinasagawa na may kaugnayan sa lohika ay iniugnay sa pilosopo na Greek na si Aristotle, kung kaya't siya ay kilala bilang ang founding father ng lugar na ito ng pag-iisip.

Sa buong kasaysayan, iba't ibang mga pilosopo, matematika, at mga logician ang nagtatanggol sa pormal na lohika. Kabilang sa mga ito maaari nating pangalanan ang matematiko at logician na Alonzo Church; ang pilosopo, matematiko at logician na Gottlob Frege; at ang matematiko at pilosopo na si Alfred North Whitehead.

Sina Alfred Tarski, KurtGödel, Bertrand Russell at Willard Van Orman Quine, bukod sa iba pa, ay naging mahusay na tagapagtanggol.

Bagay ng pag-aaral

Ang pormal na lohika ay gumagamit ng mga aspeto tulad ng pangangatwiran, konsepto, paghuhusga at pagpapakita bilang isang bagay ng pag-aaral. Mula sa mga elementong ito ay sinusuri at pinag-aaralan niya ang lahat ng mga mapagkukunan ng wika at semantika, upang makamit ang isang konklusyon.

Sa kahulugan na ito, itinatag na sa pormal na pangangatuwiran na pangangatuwiran ay pinag-aralan mula sa nakabalangkas na punto ng pananaw, mula sa bisa nito o hindi wasto.

Ang pormal na lohika ay hindi isang empirikal na pag-aaral ng proseso ng pangangatuwiran. Hindi rin dapat malito sa panghihikayat, dahil kinakailangan ang istruktura ng mga argumento upang makakuha ng isang konklusyon.

Ang lohika na ito ay kilala rin bilang teoretikal o dalisay na lohika, at naglalayong magsagawa ng isang abstract na pag-aaral ng mga nilalaman o lohikal na form ng mga dedikadong argumento, pahayag, panukala at assertively ginamit na mga pangungusap.

Ang pagsasagawa ng isang lubusang pag-aaral ng mga pattern ng pormal na lohika ay magpapahintulot sa bawat indibidwal na malaman nang eksakto ang mga pamamaraan na nauugnay sa kanilang pag-iisip.

katangian

Nasa ibaba ang mga pinaka partikular na katangian na nag-iba ng pormal na lohika mula sa iba pang mga uri ng lohika:

-Ito ay isang agham na nag-aaral ng anyo ng saligan, hindi katulad ng iba pang mga uri ng lohika na pag-aaral lamang ang materyal.

-Ito ay isang istraktura nang walang bagay.

-Natatag ito sa ilalim ng isang subset ng pormal na mga sistema.

-Ang mga paraan na napaka-mahusay na sa pamamagitan ng pormal na lohika maaari mong makilala ang mali sa kung ano ang tama.

-Ang mga konklusyon ng tamang pangangatuwiran o pagiging totoo ay lumitaw dahil nasuri ang istraktura ng totoong lugar.

-Magturo at pag-aralan ang mga tao upang makakuha ng direkta sa pag-iisip, at sa gayon ay makapagtatag ng mga bagong pattern sa isip ng bawat indibidwal.

-Ito ay nailalarawan sa pamamagitan ng pagiging makasagisag.

-Mula sa punto ng pananaw ng isang pormal na agham, ito ay gumaganap ng isang mahalagang papel sa matematika, pilosopiya, agham ng computer at istatistika.

-Nakakaugnay ito sa grammar dahil sa pag-aaral ng semantika.

-Mga istruktura ng Study, na kung bakit ito ay inihambing sa matematika.

-Nakakaugnay din ito sa sikolohiya dahil nakatuon ito sa pag-aaral ng pag-iisip ng bawat indibidwal.

Mga Uri

Deontic na lohika

Ito ay nagmula sa sinaunang Greek δέον déon at nangangahulugang "kung ano ang nararapat" o "kung ano ang kinakailangan". Ang Austrian logician na si Alois Höffler ay ang payunir ng konseptong ito, na tumutukoy sa pag-aaral at pagsusuri ng mga kaugalian.

Bivalent na lohika

Ito ang uri ng lohika na sumusuporta lamang sa totoo at maling halaga. Hindi siya naniniwala sa mga shade, lahat ay itim o puti; imposible ang grayscale sa ganitong uri ng lohika.

Ang mga prinsipyo nito ay batay sa lohika ng Aristotelian, na kung saan ay pagkakakilanlan, hindi pagkakasalungatan at hindi kasama ang ikatlong partido.

Maramihang o maraming bagay na lohika

Ang uri ng lohika na ito ay isinilang bilang isang resulta ng mga pag-aaral na isinagawa ng mga pilosopo na sina Jan Łukasiewicz at Emil Post, kung saan ipinapahayag nila na ang mga pagpapahalaga bukod sa mga dati nang "totoo" at "maling" ay maaaring aminin, at na ang mga halagang ito ay maaaring maabot sa kawalang-hanggan.

Sa kahulugan na ito ay naiiba ito sa magkakaibang logic, na aminin lamang ang dalawang mga halaga. Ipinakita ng mga pag-aaral na ang multivalent o polyvalent logic ay humahawak ng mga halaga tulad ng posibilidad, pangangailangan, hindi pangangailangan, katotohanan, kasinungalingan at imposible.

Gayundin, ang ganitong uri ng pormal na lohika ay namamahala din sa pag-aaral ng pilosopikal at istrukturang aspeto ng mga argumento.

Mga halimbawa

Sa pamamagitan ng pormal na lohika posible na magdagdag ng isang halaga ng katotohanan o kasinungalingan sa isang tiyak na pangangatwiran.

Tulad ng ipinaliwanag namin dati, ang pormal na lohika ay hindi nakatuon sa lahat ng mga posibilidad na maaaring makuha mula sa isang argumento; nakatuon lamang ito kung totoo o hindi ito totoo. Sa kahulugan na iyon, sa ibaba ay nakalista kami ng ilang mga halimbawa batay sa pormal na lohika:

-Buenos Aires ay ang kabisera ng Argentina; pagkatapos, lahat ng ipinanganak sa Buenos Aires ay Argentine.

-Siya ay nagsasalita ng Portuges. Si Joao ay ipinanganak sa Portugal. Ang lahat sa Portugal ay nagsasalita ng Portuges.

-Ang mga baka ay nagbibigay ng gatas. Ang mga baka ay mga mammal. Ang lahat ng mga mammal ay nagbibigay ng gatas.

-Pedro ay puti at si María ay brunette, kaya mayroong mga puti at kayumanggi na tao.

-May Maria ay gumaganap sa orkestra ng bato. Ang mga musikero ay ang naglalaro sa orkestra ng bato. Si Maria ay isang musikero.

-José ay may itim na buhok. Si brown ay may brown na buhok. Ang kanilang anak na babae ay maaaring ipanganak na may itim o kayumanggi buhok.

-Ang paa ay may limang daliri ng paa. Ang mga tao ay may kanang paa at isang kaliwang paa. Ang bawat tao ay may sampung daliri ng paa.

-Spain ay isang bansa. Ang Espanya ay nananatili sa Europa. Ang lahat ng mga Espanyol ay European.

- Si Ana ay isang buhay na nilalang. Si Ana ay mortal. Lahat ng bagay na nabubuhay ay may kamatayan.

- Nabasa ng tubig si José. Basang basa ang tubig.

- Kinain ni Maria ang kanyang mainit na pagkain. Sinunog ni Maria ang pagkain ng kanyang mainit na pagkain. Ang mainit na pagkain ay nasusunog.

- Ang Earth ay bahagi ng sansinukob. Sa uniberso mayroong mga planeta. Ang Earth ay isang planeta.

- Ang ilaw ng kuryente ay nag-iilaw. Mayroong ilaw na kuryente sa mga lansangan. Ang ilaw ng kuryente ay nagliliwanag sa mga lansangan.

Mga Sanggunian

1. "Pormal na lohika" sa Bagong encyclopedia ng mundo. Nakuha noong Abril 21, 2019 mula sa encyclopedia ng Bagong mundo: newworldencyWiki.org.
2. Morton L. Schagrin Ge Hughes "Pormal na lohika" sa Nahuli noong Abril 21, 2019 mula sa Britannica: britannica.com.
3. "Ang Logic at pag-uuri nito" sa Academy. Nakuha noong Abril 23, 2019 mula sa Academia: academia.edu.
4. "Pormal na Lohika" sa Diksyunaryo ng Pilosopikal. Nakuha noong Abril 23, 2019 mula sa Pilosopikal na Diksyunaryo: pilosopiya.org
5. "Polyvalent logic" sa Diksyunaryo ng Pilosopikal. Nakuha noong Abril 23, 2019 mula sa Pilosopikal na Diksyunaryo: pilosopiya.org
6. "Pangkalahatang aspeto ng lohika" sa Club Essays (18 Agosto 2013). Nakuha noong Abril 23, 2019 mula sa mga pagsubok sa Club: clubensayos.com.
7. "Deontic logic" sa wikipedia . Nakuha noong Abril 23, 2019 mula sa Wikipedia: es.wikipedia.org.
8. "Multipurpose logic" sa wikipedia . Nakuha noong Abril 23, 2019 mula sa Wikipedia: es.wikipedia.org.
9. "Bivalent logic" sa wikipedia . Nakuha noong Abril 23, 2019 mula sa Wikipedia: es.wikipedia.org