Lohika: Pagkakaiba sa mga binago

m (r2.7.1) (robot dinagdag: pms:Lògica)
* '''[[Lohikang simbokilo]]''' ang pag-aaral ng mga walang-pinatutungkulang (abstraktong) sagisag na kinukuha ang mga pormal na katangian ng mga lohikal na imperensya.
 
Nagiging malabo ang usapan kapag ginagamit ang "lohikang impormal" na singkahulugan ng "lohikang simboliko" ayon sa ibinigay na kahulugan sa itaas, na kung saan ang lohikang impormal ay itinuturing na hindi gumagamit ng mga walang-pinatutungkulang sagisag. Ito ang kahulugan ng 'pormal' na matatagpuan sa "[[pormal na wika]]" o "[[pormal na teoriya]]". chupa!
 
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.
Hindi nakikilalang mga tagagamit