Startpagina / Samenvattingen / Logica: formeel en informeel / redenering-logisch-redeneervorm

Logica, redeneringen en geldigheid - Geldigheidsbeoordeling: redeneervormen

Q: Wat is het verschil tussen een logische regel en een logische wet?

Een logische regel zegt wat men kan of mag doen. Ze is niet waar of onwaar, maar geldt of geldt niet . ==> Syntactisch Een logische wet zegt wat is. Ze is noodzakelijk waar . = Tautologie ==> Semantisch vb. p of niet p ==> Het regent of het regent niet)

6 belangrijke vragen over Logica, redeneringen en geldigheid - Geldigheidsbeoordeling: redeneervormen

Wanneer is een redenering geldig?

Een redenering is geldig dan en slechts dan:

wanneer de premissen waar zijn, dan is noodzakelijke de conclusie ook waar;
als men de conclusie niet kan ontkennen, zonder in tegenspraak te komen met minstens één van de premissen.

Op welke manieren kan je een redenering abstraheren?

Door het invoeren van:

open plaatsen voor concrete uitdrukkingen;
open plaatsen voor constanten;
invoeren van (proportionele) variabelen

vb. Als p dan q
p
-------------------
q (modus ponens binnen propositielogica)

Hoe komt je via een redeneervorm tot de (on)geldigheid van een redenering?

Een redeneervorm is een soort abstracte dieptestructuur van een redenering die bereikt wordt door het vervangen van concrete uitdrukkingen door variabelen.
Redeneervormen horen altijd tot een bepaald logisch systeem en kunnen alleen binnen dat systeem op hun geldigheid worden beoordeeld.

Wat is het verschil tussen een logische regel en een logische wet?

Een logische regel zegt wat men kan of mag doen. Ze is niet waar of onwaar, maar geldt of geldt niet. ==> Syntactisch

Een logische wet zegt wat is. Ze is noodzakelijk waar.
= Tautologie ==> Semantisch
vb. p of niet p ==> Het regent of het regent niet)

Wat is het verschil tussen een redeneerschema en een redeneervorm?

Wanneer men geconfronteerd wordt met een tekst waarin misschien geargumenteerd wordt, dan toont een redeneerschema louter dat je te maken hebt met een redenering, door het onderscheid aan te brengen tussen premisse(n) en conclusie. Het is echter maar door de verdere omzetting van dit schema naar redeneervorm dat men ook de geldigheid van die redenering kan nagaan.

Wat is het verschil tussen de geldigheid van een redenering en het bewijs ervan?

Geldigheid = je moet de conclusie aanvaarden als je de premissen aanvaard (slaat enkel op de vorm).

Bewijs = een geldige redenering met ware premissen.

De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:

Logica: formeel en informeel | 9789058674517 | Wilhelmus Antonius Pater, et al

Bekijk samenvatting