100% tevredenheidsgarantie Direct beschikbaar na je betaling Lees online óf als PDF Geen vaste maandelijkse kosten
logo-home
Samenvatting - Logica en wetenschapsfilosofie €7,16
In winkelwagen

Samenvatting

Samenvatting - Logica en wetenschapsfilosofie

 0 keer verkocht

Het examen was open boek: deze samenvatting geeft een overzicht van de gehele cursus, kort genoeg om tijdens het examen makkelijk/ snel door te kunnen bladeren en genoeg informatie te geven. Voorbeeldoefeningen, definities en beschrijvingen + uitleg wetenschapsfilosofie (ik raad aan veel oefenin...

[Meer zien]

Voorbeeld 3 van de 19  pagina's

  • 29 mei 2024
  • 19
  • 2021/2022
  • Samenvatting
Alle documenten voor dit vak (4)
avatar-seller
lauravdm1
1



SVT: Logica &
Wetenschapsfilosofie
Logica
De Logica = beoordeling van het menselijk redeneren; reeksen van uitspraken zijn ‘logisch’ als ze
opgebouwd zijn volgens strenge wetten
Een logica = deductief/ formeel systeem; specifieke manier om dat te doen

- Moderne logica: start eind 19e eeuw
- Normatieve studie: opstelling ideale regels van rationeel denken
- Formele aspecten: vormkernmerken, abstractie maken van inhoud
- Deductieve variant: welomschreven set van toegelaten denkstappen



1. Propositielogica (PL)
 Basis van de logica
 Regelsysteem

- Concreet taalgebruik
o formaliseren en abstraheren van de taal (inhoud)
- Herkennen en benoemen van logische structuren

Voorbeeld:

“Als het volgende week regent of sneeuwt, dan speel ik op de wii en kom ik niet naar de les.”

Onderlijnde woorden: bindwoorden; connectieven

Formaliseren: Inhoudelijke elementen achterwege laten (variabele inhoud):

“Als BOEM of BAM, dan KLETS en niet PATS”

Formule:
(p v q)  (r & ~ s)
-> Haakjes dienen enkel voor duidelijkheid


De connectieven (PL)
 voorgesteld als symbolen
 Logische constanten; binden de zin aan elkaar


(a) implicatie: “als p, dan q”: p  q
(b) conjunctie: “p en q”: p & q
(c) disjunctie: “p of q”: p V q
(d) gelijkwaardigheid: “p als en slechts als q”: p≡q
(e) negatie: “niet p”: ~ p

,2


Toegelaten taalafspraken

(OR= orientatie regel)

OR 1: p, q, r… => zinnen en afspraken van PL
OR 2: A (variabel) => willikeurige zin van PL, dan ook ~ A
-> waar of niet waar is niet van belang, de zin moet grammaticaal in orde zijn
OR 3: A en B zijn zinnen, dan ook A &B, A v B, A  B, A ≡ B
OR 4: elke zin van PL voldoet aan OR 1, 2 en 3
 Afspraken die voldoen aan alle 4 de OR; wff (woef) = well formed formula

Opbouw redeneringen

 10 toegelaten primitieve, elementaire redeneerstappen
2 primitieve regels per connectief: Introductieregel (I)
Eliminatieregel (E)



Primitieve regels

- enkel op volledige formules toe te passen (geen deel)

1. Implicatie

( I) voorwaardelijk bewijs: subbewijs starten met A als hypothese, als B in dat subbewijs voorkomt ->
besluit tot A  B

 A (hypothese), …, B / A  B
Specifieke vormverieisten: verticale streep die aangeeft tot hoever de hypothetische redenering
is, horizontale om die af te sluiten

( E) modus ponens (limiet instellen)
als A voorkomt in de loop van een redenering, en A  B -> besluit tot B

 A, A  B / B

- Reïteratieregel (Reït): elke vorige bewijsregel mag in een subbewijs hernomen worden, ALS die
niet in een afgesloten hypothetische redenering staat

2. Conjunctie

(& I) Conjunctie: indien A en B voorkomen in de loop van een redenering -> besluit tot A & B

 A, B / A & B

(& E) Simplificatie: indien A & B voorkomen in de loop van een redenering -> besluit tot A als B

 A & B / A, B

- A en B: willikeurige zinnen van PL
- ‘/ ’ betekend ‘dus’

, 3




3. Disjunctie

(v I) Additie: als A voorkomt in de loop van een redenering, ofwel B -> besluit tot A v B

 A / A v B en B / A v B
laat NIET toe A dan wel B af te leiden uit A v B

(v E) Dilemma: indien A v B voorkomt in de loop van een redenering, en zowel A  C als B  C -> besluit
tot C

 A v B, A  C, B  C / C
“als twee alternatieven dezelfde gevolgen hebben, dan is het gevolg het geval”

4. Gelijkwaardigheid

(≡ I) : als A  B in de loop van een redenering voorkomt, en B  A -> besluit tot A ≡ B

 A  B, B  A / A ≡ B
Enige manier om gelijkwaardigheid te bewijzen, is door beide implicaties te bewijzen

(≡ E) : als A ≡ B in de loop van een redenering voorkomt -> besluit tot A  B en B  A

 A ≡ B / A  B en A ≡ B / B  A
Enige manier om gelijkwaardigheid te analyseren en zo die te gebruiken

5. Negatie

(~ I) reductio ad absurdum (bewijs uit het ongerijmde)
als A  B in de loop van een redenering voorkomt en A  ~ B -> besluit tot ~ A

 A  B, A  ~ B / ~ A
Als je het tegendeel van twee uitspraken kan afleiden (tegenspraak), dan is de negatie van de
eerste uitspraak het geval

(~ E) dubbele negatie: als ~~ A in de loop van een redenering voorkomt -> besluit tot A

 ~~ A / A



Formeel bewijs:
- Begin met premissen (premisse; stelling vaarom je een redenering baseerd)
- Middenin zinnen die verantwoord worden via één van die regels
- Eindigend met de conclusie

 Logisch afleidbaarheidsteken
Afleiden naar r

Dit zijn jouw voordelen als je samenvattingen koopt bij Stuvia:

Bewezen kwaliteit door reviews

Bewezen kwaliteit door reviews

Studenten hebben al meer dan 850.000 samenvattingen beoordeeld. Zo weet jij zeker dat je de beste keuze maakt!

In een paar klikken geregeld

In een paar klikken geregeld

Geen gedoe — betaal gewoon eenmalig met iDeal, Bancontact of creditcard en je bent klaar. Geen abonnement nodig.

Focus op de essentie

Focus op de essentie

Studenten maken samenvattingen voor studenten. Dat betekent: actuele inhoud waar jij écht wat aan hebt. Geen overbodige details!

Veelgestelde vragen

Wat krijg ik als ik dit document koop?

Je krijgt een PDF, die direct beschikbaar is na je aankoop. Het gekochte document is altijd, overal en oneindig toegankelijk via je profiel.

Tevredenheidsgarantie: hoe werkt dat?

Onze tevredenheidsgarantie zorgt ervoor dat je altijd een studiedocument vindt dat goed bij je past. Je vult een formulier in en onze klantenservice regelt de rest.

Van wie koop ik deze samenvatting?

Stuvia is een marktplaats, je koop dit document dus niet van ons, maar van verkoper lauravdm1. Stuvia faciliteert de betaling aan de verkoper.

Zit ik meteen vast aan een abonnement?

Nee, je koopt alleen deze samenvatting voor €7,16. Je zit daarna nergens aan vast.

Is Stuvia te vertrouwen?

4,6 sterren op Google & Trustpilot (+1000 reviews)

Afgelopen 30 dagen zijn er 69066 samenvattingen verkocht

Opgericht in 2010, al 15 jaar dé plek om samenvattingen te kopen

Start met verkopen
€7,16
  • (0)
In winkelwagen
Toegevoegd