Filosofiforum

http://en.wikipedia.org/wiki/Tractatus_ ... losophicus

Har inte läst så mycket filosofi, dock en del logik som den tekniker jag utbildade mig till. Men det var för några decennier sen. Den här går jag bet på :

"What proposition 6. really says is that any logical sentence can be derived from a series of nand operations on the totality of atomic propositions".

Kan man förklara det lite mer populärt? Det är väl den här negationsfunktionen jag inte hänger med på. Hur funkar det här NAND-et?

Enligt wiki-länken refererar nand:et till det s.k. Sheffer-strecket, "|". "P|Q" utläses "inte (P och Q)", liktydigt med "icke-P eller icke-Q". De flesta formella system använder sig av negation och någon operator (ofta disjunktion) för att definiera de övriga konnektiven (konjunktion, implikation, ekvivalens), men det går att göra med bara Sheffer-strecket som primitiv symbol. ~P blir då P|P; P&Q blir (P|Q)|(P|Q) etc. Fördelen med detta är väl att du klarar dig med en färre symboler, även om det blir lite bökigare och otympligare, och Wittgensteins ambition i Tractatus var väl att analysera så långt som möjligt. Du behöver alltså inte skriva logiska formler med de "vanliga" konnektiven, det räcker med NAND-strecket.

Tydligare så?