Logika: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
S typo |
|||
Eilutė 19:
=== Loginė forma ===
Kadangi logika analizuoja ir perteikia tam tikrų pagristų argumentų ''formą'' (arba
Šnekamosios, kasdienės kalbos sakiniai gali būti įvairios sudėties, sudėtingų formų, todėl jų naudojimas yra nepraktiškas, apsunkinantis suvokimą. Dėl šios priežasties ir yra naudojama loginė argumento forma. Joje praleidžiami gramatiniai kalbos bruožai, kurie logikoje yra nereikšmingi (pavyzdžiui, giminė ir linksnis), nereikalingi jungtukai (tokie kaip „bet“) pakeičiami loginėmis jungtimis (pvz., „ir“), o dviprasmiški bei tiksliai neapibrėžti loginiai išsireiškimai („kiekvienas“, „bet kuris“, kt.) – standartinėmis išraiškomis (pvz., „visi“ arba universaliu ženklu ∀). Tam tikros sakinių dalys turi būti pakeistos į raides. Pavyzdžiui, sakinys „visi A yra B‘ parodo loginę formą, kuri tinka apibrežti tokiems sakiniams kaip „visi žmonės yra mirtingi“, „visos katės yra mėsėdės“, „visi graikai yra filosofai“ ir t. t.
|