Logika: Skirtumas tarp puslapio versijų

Ištrintas turinys Pridėtas turinys
Nėra keitimo santraukos
Žyma: Žyma: Pasikartojantys simboliai
Eilutė 157:
Kitame veikale tuo pačiu pavadinimu autorius Sir Michael Dummet teigia, jog Putnamas siekė realizuoti distribucijos teisės mandatus. Logikos distribucija yra būtina, norint suprasti ir realistiškai įvertinti, ar teiginiai yra teisingi, tuo pačiu būdu kaip jis įvertino bivalencijos principus. Taigi, klausimas „Ar logika empirinė?“ natūraliai veda prie esminių metafizikos teorijų susipriešinimo ir tuo pačiu supriešina realizmą su anti-realizmu.
 
===Implikacija: tiksli ar merialimateriali?===
 
Akivaizdu, kad klasikinės logikos pagalba formalizuotą sąvoką yra sudėtinga išversti į natūraliąją kalbą su reikšmėmis ", jei ... tada ...", nes tuomet gali kiti daug problemų vadinamų materialiosios implikacijos paradoksais.
Pirmąją paradoksų klasę sudaro supriešintos prieladosprielaidos, tokios kaip “Jei mėnulis yra iš sūrio, tai 2+2=5”, iš kurių seka klaidinančios išvados, nes natūraliojoje kalboje ekspozicinis principas yra nevartojamas. Šios paradoksų klasės išskyrimas pastūmėjo C.I. Lewis suformuluoti griežtosios implikacijos sąvoką.
AntrąjaiAntrajai paradoksų klasei priklauso perteklinės premisos, klaidinga manyti, jog žinant galutines išvadas, žinome ir pirmines prielaidas: “Jei tas žmogus bus išrinktas, močiutė numirs”. Iš esmės išvada yra teisinga, atsižvelgiant į tai, kad močiutė serga mirtina liga, bet tai nėra niekaip susijasusiję su minėto žmogaus rinkimais. Tokie sakiniai pažeidžia Grinceno tiesioginio ryšio taisyklę.
 
===Toleruojant tai, kas neįmanoma===