Logica - 1. Modus ponens en Modus tollens

• Filosofie
• Middelbare school
• vwo
• Leerjaar 5

Nut van logica:

• We redeneren de hele dag
• Natuurlijke taal = verwarrend
• Formele logica
• Waarheid - geldigheid
  

P1. Alle mussen zijn vogels.
P2. De mens is een mus.
C. De mens is een vogel.

1. Geldig en waar
2. Geldig en onwaar
3. Ongeldig en waar
4. Ongeldig en onwaar

P1. Zonder eten ga je dood.
P2. Pizza is eten.
C. Zonder pizza ga je dood.

1. Geldig en waar
2. Geldig en onwaar
3. Ongeldig en waar
4. Ongeldig en onwaar

P1. Alle docenten zijn leugenaars.
P2. Mevrouw Vonder is een docent.
C. Mevrouw Vonder is een leugenaar.

1. Geldig en waar
2. Geldig en onwaar
3. Ongeldig en waar
4. Ongeldig en onwaar

P1. Alle leerlingen zijn morgen vrij.
P2. Ik ben morgen vrij.
C. Ik ben een leerling.

1. Geldig en waar
2. Geldig en onwaar
3. Ongeldig en waar
4. Ongeldig en onwaar

Maak de volgende redeneringen af:

P1. Iedereen die dit leest is gek
P2. ......?......
C. Ik ben gek

P1. ....?....
P2. Lisa is een Meppeler.
C. Lisa houdt van muggen.

<div>Een verzwegen argument is een argument dat niet letterlijk gegeven wordt, maar die wel hoort bij de hele redenering.</div><div><br></div><div>In de logica moeten ze deze zichtbaar maken/uitschrijven.<br></div><br>

<div>P1 = <b>premisse</b> 1</div><div>P2=<b> premisse</b> 2</div><div>C = conclusie</div><div><br></div><div>P1 &amp; P2 zijn argumenten</div><div><br></div><div>P1 + P2 + C zijn samen het <b>redeneerschema</b><br></div>

<div>Logisch geldig, maar inhoudelijk onwaar.</div><div><br></div><div>Dat komt doordat (één van) de premissen onwaar is, dan is de hele redenering dus ook onwaar. Tegelijkertijd kan de redenering wel geldig zijn.<br></div>

<div>Een redenering van deze vorm noemen we een modus tollens.</div><div><br></div><div><br></div><div>P1. Als A, dan niet-B</div><div><u>P2. niet-B<br></u></div><div>C. Dus niet-A<br></div><div><br></div><div>Officiële logica'taal'</div><div><br></div><div>P1. p -&gt; q</div><div><u>P2. niet-q</u></div><div>C. niet-p<br></div>

<div>Dit is een modus ponens en die verschilt van de vorige.</div><div><br></div><div><b><br></b></div><div><b>Vorige redenering:</b></div><div>Modus tollens<br>P1. p -&gt; q<br><u>P2. niet-q</u><br>C. niet-p</div><div><br></div><div><b>Deze redenering:</b></div><div>Modus ponens<br></div><div>P1. p -&gt; q</div><div><u>P2. p</u></div><div>C. q<br></div>