Logica en de Linguistic Turn 2017/2018

Onderwerp

Aristoteles (Peter van Ormondt)

Voorbereiding

Gamut: 1.1-1.3
Handleiding, planning lezen

Slides

[PDF]

Onderwerp

Inleiding Logica
Categorische Logica: Taal en Semantiek, Oppositievierkant

Voorbereiding

Gamut: 1.1-1.3
Handleiding, planning lezen

Onderwerp

Categorische Logica: Semantiek met verzamelingen, Redeneringen
Tekst lezing 1: Aristoteles, Prior Analytics, Book I, ch.1,2

Voorbereiding

Syl.: 1.1 t/m 1.2.6. Opg. 1-2
Teksten 1 lezen en vragen beantwoorden

Texten

Analytica Priora
Tekst vragen

Onderwerp

Wittgensteins Tractatus (Martin Stokhof)

Slides

[PDF]

Onderwerp

Categorische Logica: Geldigheid m.b.v. Venn Diagrammen, Reductie tot perfecte syllogismes.
Tractatus: introductie, voorwoord en ontologie

Voorbereiding

Syl.: 1.2-1.3, 2.1 (excl. machtverz.) Opg. 3-5 & 15-18; Tractatus:voorwoord, 1-2.063

Onderwerp

Categorische Logica: Reductie tot perfecte syllogismes, Distributietheorie
Tractatus: ontologie (vervolg)

Voorbereiding

Syl.: 1.4-1.4.4. Opg. 6-8, 19
Tractatus: 1-2.063

Onderwerp

Categorische Logica: proeftentamen bespreken
Tractatus: beeldtheorie

Voorbereiding

Syl.: 1.4.4-1.4.6. Opg. 9-14, 20
Proeftentamen 1; Tractatus: 2.1-3.05

Onderwerp

Categorische logica en Verzamelingen

Onderwerp

Propositielogica: syntax, waarheidstafels, vertalen
Tractatus: beeldtheorie (vervolg)

Voorbereiding

Tractatus: 2.1-3.05

Onderwerp

Propositielogica: semantiek, logische equivalentie, tautologie, contradictie, contingentie
Tractatus: Theorie van taal I

Voorbereiding

Gamut: 2.1-2.3. Opg. 2.1, 2.2, 2.5(t/m 9)
Tractatus: 3.1-3.23, 3.25-3.31

Onderwerp

Propositielogica: semantische geldigheid. Oefenvraag bespreken (Locke en Leibniz)
Tractatus: Theorie van taal II

Voorbereiding

Gamut: 2.5. Opg. 2.5, 2.6. Oefenvraag MT nakijken
Tractatus: 3.32-3.33, 3.34-3.5.

Onderwerp

Logica en Cognitie (Michiel van Lambalgen)

Onderwerp

Propositielogica: functionele volledigheid en natuurlijke deductie (conjunctie en implicatie)
Tractatus: Filosofie, tonen vs zeggen

Voorbereiding

Gamut: 4.2.1 (t/m p.118). Opg. 2.8-2.11, 4.1(a)-(i). Extra opg. PL, deel 1
Tractatus: 4-4.041, 4.1-4.1213

Onderwerp

Teksten/lezing 1
Tractatus t/m 4.1213

Onderwerp

Propositielogica: natuurlijke deductie (disjunctie en negatie)
Tractatus: semantiek, tautologieën en contradicties

Voorbereiding

Gamut: 2.6, 4.3.1-4.3.3. Opg. 2.13, 4.1 (j)(q), 4.3, 4.4. Extra opg PL, deel 2(1-5), 3(13).
Tractatus: 4.2-4.23, 4.25-4.52, 5, 5.15.123,5.133-5.143

Onderwerp

Verzamelingenleer: operaties (incl machtverzameling), relaties en hun eigenschappen
Tractatus: filosofie van de logica en wiskunde

Voorbereiding

Gamut: 4.3.4-4.3.5. Opg. 4.5-4.7.
Syl.: 2.1; Opg. 21-24.
Tractatus: 5.55-5.5521, 5.5563-5.5571, 6.1-6.1202, 6.124-6.1251, 6.13-6.22

Onderwerp

Verzamelingenleer: relaties en functies
Tractatus: Solipsisme, realisme

Voorbereiding

Syl.: 2.2.1-2.2.6. Opg. 25-29.
Tractatus: 5.6-5.641

Onderwerp

Oneindigheid (Benedikt Löwe)

Voorbereiding

Syl.: 2.2.6 en 3.2

Onderwerp

Proeftentamen 2 bespreken

Tractatus: ethiek

Voorbereiding

Syl.: 3.2. Opg. 30-33. Proeftentamen 2. Extra opg PL, deel 2 (6-13), deel 3 (4-8).
Tractatus: 6.37-7

Onderwerp

Propositielogica (met natuurlijke deductie) en Verzamelingenleer

Onderwerp

Predikatenlogica: Taal (vocabulair (met identiteit), atomaire zinnen, kwantificatie, eigenschappen van relaties in predikatenlogica)
Tractatus: afsluiting

Voorbereiding

Tractatus: 6.37-7
Deadline wiki individuele opdracht

Onderwerp

Godbewijs (Robert van Rooij)

Onderwerp

Predikatenlogica: Taal (syntaxis (met identiteit), bereik, binding, identiteit en telwoorden)

Voorbereiding

Gamut: 3.1, 3.2, 3.4, 3.8 (zonder semantiek). Opg.: 3.1, 3.2, 3.5(i-x).

Onderwerp

Predikatenlogica: Semantiek (met identiteit)
Tekst lezing 3

Voorbereiding

Gamut: 3.3, 3.7 (zonder semantiek). Opg.: 3.3, 3.5 (xi-xx), 3.11 (a-g).
Tekst 3 lezen en vragen beantwoorden

Onderwerp

Paradoxen (Katrin Schulz)

Onderwerp

Predikatenlogica: geldigheid/ongeldigheid, tegenmodellen

Voorbereiding

Gamut: 3.6-3.6.2, 3.7, 3.8. Opg.: 3.7, 3.11 (h-n); extra opg., deel 1: 3-4.

Onderwerp

Predikatenlogica: geldige redeneringen
Tekst lezing 4

Voorbereiding

Gamut: 4.2.1. Opg. 4.2 (a)-(k), extra opg., deel 1, 5; extra opg., deel 2: 1-3.
Tekst 4 lezen en vragen beantwoorden

Onderwerp

Logica en taal (Luca Incurvati)

Onderwerp

Predikatenlogica: afsluiting, proeftentamen 3

Voorbereiding

Gamut: 4.3.1-4.3.2, 4.4. Opg. 4.2 (l-r). Extra opg., deel 2: 4-6.
Extra vertalingen. Proeftentamen 3.

Onderwerp

Predicatenlogica (zonder Natuurlijke Deductie)

Onderwerp

Natuurlijke deductie: regels proplog
Tekst lezing 5

Voorbereiding

Gamut: 4.3.1-4.3.5. Opg.: 4.3-4.7 (herhaling)
Tekst 5 lezen en vragen beantwoorden

Onderwerp

Logica en ontologie (Maria Aloni)

Onderwerp

Natuurlijke deductie: regels kwantoren, afleidingen

Voorbereiding

Gamut: 4.3.1-4.3.5 (herhaling), 4.4.
Opg.: 4.8, 4.9, 4.11.

Onderwerp

Modale logica: motivatie, syntaxis, vertalingen
Tekst lezing 6

Voorbereiding

NatDed: Gamut, 4.3.6, opg. 4.12, 4.13; extra opg. 1,2.
Tekst 6 lezen en vragen beantwoorden

Onderwerp

Logica en betekenis (Paul Dekker)

Onderwerp

Modale logica: Kripke modellen en semantiek

Voorbereiding

Syllabus, 4.1 opg. 37-42.
NatDed: Gamut, opg. 4.14(a-c); extra opg. 3,4.

Onderwerp

Modale logica: Kripke modellen en semantiek (vervolg)
Tekst lezing 7

Voorbereiding

Syllabus, 4.2, opg. 43-44,46-48.
NatDed: Gamut, opg. 4.14(d-f); extra opg. 5,6.
Tekst 7 lezen en vragen beantwoorden

Onderwerp

Tractatus en Lezingen/teksten 3-7

Onderwerp

Logica en kennis (Sonja Smets)

Onderwerp

Modale logica: Frames en geldigheid

Voorbereiding

Syllabus, 4.2, opg. 49-52.
NatDed: Gamut, opg. 4.10 (a-c); 4.15(a-d); extra opg.7,8.

Onderwerp

Modale logica: Frames en geldigheid (vervolg)

Voorbereiding

Syllabus, 4.3, opg. 53-54.
NatDed: Gamut, opg 4.10(d-e); 4.15(e-g); extra opg. 9,10.

Onderwerp

Gödels onvolledigheid (Franz Berto)

Onderwerp

Proeftentamen 4 bespreken. Afronding. Vooruitblik. Evaluatie.

Voorbereiding

Syllabus, 4.3-4.4, incl. opgaven. Proeftentamen 4

Onderwerp

Modale Logica, Natuurlijke Deductie