Resume

Samenvatting - Logica en wetenschapsfilosofie

0 fois vendu

Cours
Logica en wetenschapsfilosofie

Établissement
Vrije Universiteit Brussel (VUB)

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...

[Montrer plus]

Aperçu 3 sur 19 pages

Voir l'exemple

Publié le 29 mai 2024
Nombre de pages 19
Écrit en 2021/2022
Type Resume

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

Les avantages d'acheter des résumés chez Stuvia:

Qualité garantie par les avis des clients

Les clients de Stuvia ont évalués plus de 700 000 résumés. C'est comme ça que vous savez que vous achetez les meilleurs documents.

L’achat facile et rapide

Vous pouvez payer rapidement avec iDeal, carte de crédit ou Stuvia-crédit pour les résumés. Il n'y a pas d'adhésion nécessaire.

Focus sur l’essentiel

Vos camarades écrivent eux-mêmes les notes d’étude, c’est pourquoi les documents sont toujours fiables et à jour. Cela garantit que vous arrivez rapidement au coeur du matériel.

Foire aux questions

Qu'est-ce que j'obtiens en achetant ce document ?

Vous obtenez un PDF, disponible immédiatement après votre achat. Le document acheté est accessible à tout moment, n'importe où et indéfiniment via votre profil.

Garantie de remboursement : comment ça marche ?

Notre garantie de satisfaction garantit que vous trouverez toujours un document d'étude qui vous convient. Vous remplissez un formulaire et notre équipe du service client s'occupe du reste.

Auprès de qui est-ce que j'achète ce résumé ?

Stuvia est une place de marché. Alors, vous n'achetez donc pas ce document chez nous, mais auprès du vendeur lauravdm1. Stuvia facilite les paiements au vendeur.

Est-ce que j'aurai un abonnement?

Non, vous n'achetez ce résumé que pour €7,16. Vous n'êtes lié à rien après votre achat.

Peut-on faire confiance à Stuvia ?

4.6 étoiles sur Google & Trustpilot (+1000 avis)

69052 résumés ont été vendus ces 30 derniers jours

Fondée en 2010, la référence pour acheter des résumés depuis déjà 15 ans

Commencez à vendre!