Een inleiding in de formele logica, waarheidstafels, redeneringen, syllogismen en logische constanten worden benaderd. Ook worden er veel voorbeelden en toepassingen in gegeven, die je helpen om het te begrijpen.
Logica - inleiding in de formele logica en de praktische
toepassing
het syllogisme of de sluitrede
Aristoteles is de bekendste filosoof geweest die zich bezig heeft gehouden met redeneringen en de geldigheid ervan heeft
beschreven. Een voorbeeld van een redenering is:
alle mensen zijn sterfelijk
socrates is een mens
--------------------
socrates is sterfelijk
Deze redenering noemen we ook wel een syllogisme, in een syllogisme worden de eerste twee zinnen premissen genoemd, en de
laatste zin de conclusie.
We zien hier dat de eerste zin over alle mensen gaat, daarom wordt deze ook wel de Major premisse genoemd. De tweede zin
gaat over één enkele mens, daarom wordt de tweede zin ook wel een minor premisse genoemd.
Uit onzinnige redeneringen kan ook een conclusie worden getrokken.
Een redenering kan ook geldig zijn, al zijn de premissen of de conclusie onwaar.
De woordjes ‘alle’ en ‘sommige’ kunnen een groot verschil maken in geldigheid.
Syllogisme formeel benaderd
We veralgemeniseren de eerder genoemde redenering door ze met logische variabelen aan te duiden.
De logische variabelen heten variabelen omdat ze verschillende verzamelingen aan kunnen duiden. In een redenering worden de
volgende logische variabelen gebruikt:
• S, de subjectterm. S is altijd de eerste term in de conclusie.
• M, de middenterm. M staat niet in de conclusie maar wel in beide premissen.
• P, de predikaat term. P is de tweede term in de conclusie.
Natuurlijk hoeven we niet per se de letters; S, M en P te gebruiken maar mogen we deze ook inwisselen voor letters die makkelijker zijn met
de redenering.
alle mensen zijn sterfelijk
socrates is een mens
--------------------
socrates is sterfelijk
word nu →
S=M
M=P
-----
S=P
waarbij S staat voor socrates, M voor mens of mensen, en P voor sterfelijk. = (het isgelijkteken) duidt verschillende dingen aan in deze redenering. Bij de eerste premisse betekent
het: ‘Alle M-dingen zijn P-dingen’ etc.
Omdat ‘=’ in dit geval alles kan zijn gebruiken we logische constanten.
De logische constanten heten constanten omdat ze altijd hetzelfde betekenen. Er zijn vier logische constanten. De logische
constanten (a,e,i,o) staan hier samen met hun syllogistische zin.
• Iedere … is een … (SaP)
• Iedere … is geen … (SeP)
• Ten minste één … is een … (SiP)
• Ten minste één … is geen … (SoP)
We noemen SaP en SeP universeel, omdat ze wat over de hele verzameling zeggen. We noemen SiP en SoP particulier. SaP en SiP
zijn bevestigend en SeP en SoP zijn ontkennend.
De redenering wordt dan als volgt:
The benefits of buying summaries with Stuvia:
Guaranteed quality through customer reviews
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying these notes from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller mmdubbelman. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy these notes for $3.20. You're not tied to anything after your purchase.
