Lohika: Pagkakaiba sa mga binago
Content deleted Content added
No edit summary |
|||
Linya 20:
Sa nabanggit na pag-aanalisa sa itaas, maituturing natin na matagal nang pag-aaral ang lohikang pormal, makababalik tayo sa nakaraang 2,000 taon, habang tila bago pa lamang na pag-aaral ang lohikang simboliko, at bunga ito ng paglalapat ng mga natuklasan sa matematika upang sagutin ang mga tanong sa lohika. Ang pag-usad mula sa lohikang impormal tungo sa lohikang pormal at sa pagpapatuloy sa lohikang simboliko ay masasabing pag-unlad sa antas ng pag-iisip: na kinakailangan, dahil mauunawaan lamang natin ang lohikang simboliko kung naisaloob na natin ang iba-ibang kasunduan na tanggap ng nakararami para sa pag-aanalisa ng mga sagisag sa lohika. Sa pangkalahatan, nakukuha ng pormal na sistema ang lohika, na binubuo ng pormal na wika, na ilarawan ang mga hanay ng mga pormula at hanay ng mga alituntunin ng paghahango (derivation). Madalas na ginagamit ang mga pormula upang katawanin ang mga pag-angkin natin sa mga bagay na gusto natin, at gayundin kinakatawan ng mga alituntunin ng paghango ang mga imperensya; may kinikilingang interpretasyon ang ganoong mga sistema.
Sa loob ng pormal na sistemang ito, inilalahad ng mga alituntunin ng paghahango at mga posibleng [[aksyoma]] ang hanay ng mga [[teorema]], na mga pormula na maaaring hanguin mula sa paggamit ng mga alituntunin ng paghahango. Ang pinakamahalagang katangian ng lohikal na sistemang pormal ay ang [[mainam|kainaman]] nito, na isang katangian na batay sa paliwanag, ay nangangahulugan na ang lahat ng mga alituntunin ng paghahango ay mga tumpak na imperensya (pagdudugtong-dugtong ng mga palagay). Ang mga teorema ng mainam na sistemang pormal ay ang mga [[katotohanan]]. Isang pasubali na kailangang taglay ng isang mainam na sistema ay ang [[pagkakabuklod]], na nangangahulugan na walang salungatan sa isa't isa ang mga teorema. Mahalaga rin ang pagkabuo, na walang pagkukulang, na lahat ng totoo ay maaari ding patunayan. Ngunit kung narating na ng wika ng lohika ang isang antas ng kakayahang-magsabi (expressiveness), (tulad ng [[pangalawang-bahagdan ng lohika]]), ang pagkabuo ay mahirap abutin.
==Tingnan din==
| |||