სამმნიშვნელობიანი ლოგიკა: განსხვავება გადახედვებს შორის

კლეინის ლოგიკა არ შეიცავს [[ტავტოლოგია (ლოგიკა)|ტავტოლოგიებს]] (ნამდვილი ფორმულა), ვინაიდან ყოველთვის, როდესაც სწორად განსაზღვრული ფორმულის ყველა კომპონენტს ენიჭება „უცნობის“ მნიშვნელობა, თავად ფორმულასაც უნდა ჰქონდეს „უცნობი“ მნიშვნელობა. კლეინის ლოგიკისთვის ჭეშმარიტების ერთდადერთი განსაზღრული მნიშვნელობა არის „ჭეშმარიტი“. თუმცა, ნამდვილი ფორმულების არ არსებობა არ ნიშნავს რომ იგი ნამდვილ არგუმენტებს და დასკვნების კანონებს მოკლებულია. კლეინის ლოგიკაში, არგუმენტი სემანტიკურად ნამდვილია (ნებისმიერი ინტერპრეტაციისთვის/მოდელისთვის) თუ ყოველთვის როდესაც წინაპირობა ჭეშმარიტია, დასკვნაც უნდა იყოს ჭეშმარიტი. აღსანიშნავია, რომ პარადოქსის და კლეინის ლოგიკებს ერთი და იგივე ჭეშმარიტების ცხრილი აქვთ, თუმცა პარადოქსის ლოგიკას აქვს ჭეშმარიტების ორი განსაზღვრება ერთის მაგივრად: ჭეშმარიტი და ორივე („უცნობის“ ანალოგი), შესაბამისად, პარადოქსის ლოგიკას გააჩნია ტავტოლოგიების, თუმცა მას ნაკლები ნამდვილი დასკვნის კანონი აქვს.

 

 

[[კატეგორია: სამობითი ლოგიკა]]