Voor m'n studie (filosofie) moet ik nu leren werken met
semantische tableau's. Je raadt het al, voor mij als typische alfa valt het nogal zwaar. Al zie ik zelf ook in dat de stof niet ontzettend abstract of onbegrijpelijk is. We werken met het boekje
'Logic' van Wilfrid Hodges.
Een voorbeeld (genomen uit een chemische analyse) hoe de semantische tablau toegepast wordt door Hodges:
Hij begint bij een willekeurige zin. Ditmaal bij de tweede. Deze zin is alleen waar als 'manganese is absent' en 'nickel is absent' beide waar zijn ('and' is de connectief). Het gevolg is dit:
Hetzelfde past hij toe op de derde zin:
Er is nog geen contradictie (tegenspraak) opgetreden in de kortere zinnen, dus het is tijd om de eerste zin op te breken. De eerste zin is waar als er een 'brown colour appears', of als het niet waar is dat 'Colbalt but nickel is present' is (een of-inclusief dus!). Dit resulteert in de volgende ontleding:
Aan de rechtertak zien we nu een duidelijke tegenspraak: 'Only a grean colour appears.' en 'A brown colour appears'. Deze zinnen kunnen niet tegelijkertijd waar zijn, dus ze zijn inconsisent. Oftewel; streep eronder!
Nu nog alleen de linkertak. Deze zin is dus precies waar als colbalt absent is of nickel present is (let op: of-inclusief! Eén hoeft maar waar te zijn!).
De linkertak heeft de twee inconsisente zinnen 'Colbalt is present' en 'Colbalt is absent'. Dus streep eronder. De andere tak kan ook gesloten worden vanwege de twee inconsistente zinnen 'Nickel is absent' en 'Nickel is present'. De volledige tableau is dus als volgt:
Alle drie de takken (situaties die mogelijk waar konden zijn) zijn gesloten. Oftewel; de verzameling zinnen is
inconsistent!.
Nu dat we dit voorbeeld gehad hebben gaan we naar een opgave die ik voor m'n neus kreeg. Dit is 'm:
Net als Hodges neem ik een willekeurig startpunt, in dit geval de eerste zin. Als ik naar die eerste zin kijk zie ik, volgens mij, een of-inclusief: of Auguste woont in Bootle, of Auguste woont in Bootle. Hierdoor komt dus een vertakking:
Eerste zin gehad, op naar de tweede. Wederom een of-inclusief in mijn ogen. Dezelfde truc dus.
Zo, aangekomen bij de laatste zin. In deze zin zit een 'en', dus die moet ik eronder elkaar neerkalken.
Kwam er ineens achter dat ik de derde zin verkeerd had overgenomen. Oeps.
Het moet dus
zijn 'doesn't live in Bootle'. Domdomdom. Maar afijn, wanneer ik naar de zinnen kijk en of zij consistent (dwz. één van de mogelijkheden is tegelijkertijd waar) zijn, kom ik tot de volgende conclusie:
Deze set zinnen is dus
consistent. Ik zie namelijk drie takken met een set zinnen die mogelijk waar kunnen zijn tegelijkertijd.
Graag feedback hierop, want ik heb werkelijk geen enkel benul op het klopt.