Logica 1: formele logica

Transcriptie

1 Logica 1: formele logica Barteld Kooi kamer

2 Formele logica Wat is formele logica? syllogistiek analyse semantiek Venn-diagrammen verzamelingen deducties dialogen

3 Wat moet je straks kunnen? het analyseren van zinnen en redeneringen, het hanteren van symbolismen, het beoordelen van redeneringen op geldigheid, het maken van formele deducties.

4 Formele logica Wat is formele logica? syllogistiek vandaag! analyse semantiek Venn-diagrammen verzamelingen deducties dialogen

5 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Overzicht Wat is logica? Geldige en ongeldige redeneringen Logische vorm Logische theorieën Materiële geldigheid Taalfilosofische achergrond

6 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is logica? redeneringen bewijzen discussies argumenten definities

7 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is logica? redeneringen bewijzen discussies argumenten definities argumentatietheorie

8 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is logica? redeneringen bewijzen discussies argumenten definities formele logica argumentatietheorie

9 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is logica? redeneringen bewijzen discussies argumenten definities formele logica argumentatietheorie Klopt het wel?

10 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Formele logica intuïtie logische theorie redeneerschema s redeneringen

11 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Formele logica intuïtie logische theorie redeneerschema s analyse redeneringen

12 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Formele logica intuïtie logische theorie (on)geldig redeneerschema s analyse redeneringen

13 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Formele logica intuïtie logische theorie (on)geldig (on)geldig redeneerschema s analyse redeneringen

14 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is een redenering? Geen Medicus is een Pacifist. Iedere Socioloog is een Medicus. Geen Socioloog is een Pacifist.

15 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is een redenering? Geen Medicus is een Pacifist. Iedere Socioloog is een Medicus. Geen Socioloog is een Pacifist. premissen

16 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is een redenering? Geen Medicus is een Pacifist. Iedere Socioloog is een Medicus. Geen Socioloog is een Pacifist. premissen conclusie

17 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Nog een redenering Geen Migraineaanval is een Pretje. Iedere Schele hoofdpijn is een Migraineaanval. Geen Schele hoofdpijn is een Pretje.

18 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie En nog een Geen Mormel is een Pittbullterriër. Iedere Schapendoes is een Mormel. Geen Schapendoes is een Pittbullterriër.

19 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie En nog een Geen Misdaadverslaggever is een Politicus. Iedere Staatsecretaris is een Misdaadverslaggever. Geen Staatssecretaris is een Politicus.

20 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Redeneerschema Geen M is een P. Iedere S is een M. Geen S is een P.

21 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Redeneerschema Geen M is een P. Iedere S is een M. Geen S is een P. variabelen

22 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Redeneerschema Geen M is een P. Iedere S is een M. Geen S is een P. variabelen logische constante

23 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Redeneerschema Geen M is een P. Iedere S is een M. Geen S is een P. variabelen logische constante Geen... is een... Iedere... is een... symbool e a

24 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Redeneerschema Geen M is een P. Iedere S is een M. Geen S is een P. variabelen MeP SaM SeP logische constante Geen... is een... Iedere... is een... symbool e a

25 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Een andere redenering Iedere Minister is een Politicus. Ten minste één Minister is een Sociaal Geograaf Ten minste één Sociaal Geograaf is geen Politicus

26 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Een ander redeneerschema Iedere M is een P. Ten minste één M is een S Ten minste één S is geen P

27 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Een ander redeneerschema Iedere M is een P. Ten minste één M is een S Ten minste één S is geen P logische constante Ten minste één... is een... Ten minste één... is geen... symbool i o

28 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Een ander redeneerschema Iedere M is een P. Ten minste één M is een S Ten minste één S is geen P MaP MiS SoP logische constante Ten minste één... is een... Ten minste één... is geen... symbool i o

29 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Definitie 1 Interpretatie Een interpretatie van een redeneerschema is een toekenning van betekenissen aan variabelen.

30 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Definitie 1 Interpretatie Een interpretatie van een redeneerschema is een toekenning van betekenissen aan variabelen. MaP MiS SoP S: Sociologen P: Pacifisten M: Medici

31 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Definitie 2 Tegenvoorbeeld Een tegenvoorbeeld tot een redeneerschema is een interpretatie van dat schema waarbij de premissen waar worden en de conclusie tegelijk onwaar.

32 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Definitie 2 Tegenvoorbeeld Een tegenvoorbeeld tot een redeneerschema is een interpretatie van dat schema waarbij de premissen waar worden en de conclusie tegelijk onwaar. MaP MiS SoP S: Secretaresses P: Primaten M: Mensen

33 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Definitie 3 Geldigheid Een redeneerschema heet (logisch) geldig dan en slechts dan als het geen tegenvoorbeeld toelaat.

34 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Definitie 3 Geldigheid Een redeneerschema heet (logisch) geldig dan en slechts dan als het geen tegenvoorbeeld toelaat. MeP SaM SeP

35 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Definitie 4 Geldigheid Een redenering heet (formeel logisch) geldig dan en slechts dan als haar schema geldig is.

36 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Definitie 4 Geldigheid Een redenering heet (formeel logisch) geldig dan en slechts dan als haar schema geldig is. Geen Medicus is een Pacifist. Iedere Socioloog is een Medicus. Geen Socioloog is een Pacifist.

37 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is formele logica? geldige en ongeldige redeneringen logische vorm logische theoriën materiële geldigheid taalfilosofische achtergrond

38 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Logische vorm redeneringen { logische vorm redeneerschema s

39 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Logische vorm redeneringen { logische vorm redeneerschema s { logische vorm zinnen formules

40 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Logische vorm redeneringen { logische vorm redeneerschema s { logische vorm zinnen formules Vandaar: formele logica

41 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie De logische vorm Ten minste één Mens is een Mens. Ieder Mens is een Mens.

42 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie De logische vorm Ten minste één Mens is een Mens. Ieder Mens is een Mens. MiM MaM Interpretatie: M: Mensen

43 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie De logische vorm Ten minste één Mens is een Mens. Ieder Mens is een Mens. MiM MaM Interpretatie: M: Mensen SiP SaP Interpretatie: S: Mensen, P: Mensen

45 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Logische theorieën

46 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Logische theorieën Logische syntaxis logische constanten soorten variabelen opbouw formules

47 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Logische theorieën Logische syntaxis logische constanten soorten variabelen opbouw formules Geldigheidsbegrip Semantisch (model-theoretisch) Bewijstheoretisch (deductie-theoretisch) Speltheoretisch (dialoogtheoretisch)

48 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Formele logica intuïtie logische theorie (on)geldig (on)geldig redeneerschema s analyse redeneringen

49 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Bijvoorbeeld categorische syllogistiek constanten: a,e,i,o, variabelen: hoofdletters formules: variabele constante variabele semantiek: later. bewijstheorie: later. dialoogtheorie: later.

51 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Materiële geldigheid De aarde en de maan zijn twee onderscheiden, niet overlappende hemellichamen met een onderlinge afstand van minder dan km. Ze hebben ieder een massa van duizenden kg. Dus oefenen de maan en de aarde een kracht op elkaar uit. (Kernthema s van de Filosofie, p.260)

52 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Definitie 5 Primitieve geldigheid Een redenering is primitief geldig dan en slechts dan als het onmogelijk is dat de premissen waar zijn terwijl de conclusie onwaar is.

53 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Een raadsel Een vader maakt met zijn zoon een ritje in de auto. Er gebeurt een zwaar ongeval. De vader is op slag dood. De zoon wordt met spoed naar het ziekenhuis gebracht en naar de operatiekamer gebracht. De dienstdoende chirurg schrikt bij het zien van de jongen en zegt: Ik kan niet opereren, dit is mijn zoon.

54 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Een raadsel Een vader maakt met zijn zoon een ritje in de auto. Er gebeurt een zwaar ongeval. De vader is op slag dood. De zoon wordt met spoed naar het ziekenhuis gebracht en naar de operatiekamer gebracht. De dienstdoende chirurg schrikt bij het zien van de jongen en zegt: Ik kan niet opereren, dit is mijn zoon. Hoe kan dat?

55 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Conceptuele tolerantie financieel mogelijk

56 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Conceptuele tolerantie technisch mogelijk financieel mogelijk naar de maan

57 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Conceptuele tolerantie fysisch mogelijk technisch mogelijk financieel mogelijk naar naar de Alpha maan Centauri

58 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Conceptuele tolerantie logisch mogelijk fysisch mogelijk technisch mogelijk financieel mogelijk naar naar sneller de Alpha dan maan Centauri het licht

59 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Conceptuele tolerantie logisch mogelijk fysisch mogelijk technisch mogelijk financieel mogelijk naar naar sneller de Alpha dan maan Centauri het 2+2=5 licht

60 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Conceptuele tolerantie Hoe groter de conceptuele tolerantie, hoe minder redeneringen geldig zijn.

61 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Conceptuele tolerantie Hoe groter de conceptuele tolerantie, hoe minder redeneringen geldig zijn. Want hoe groter de conceptuele tolerantie, hoe meer tegenvoorbeelden er zijn.

62 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Mogelijke werelden Een mogelijke wereld is een geheel van omstandigheden die tezamen een logische mogelijkheid vormen. G.W.F. Leibniz ( ) S.A. Kripke (1940)

63 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Definitie 5 Primitieve geldigheid Een redenering is primitief geldig dan en slechts dan als er geen enkele mogelijke wereld is, waarin de premissen waar zijn terwijl de conclusie onwaar is.

64 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Definitie 6 Materiële geldigheid Een redenering is materieel geldig dan en slechts dan als zij primitief geldig is, maar niet formeel geldig.

65 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Voorbeeld Iedere knikker die van Jantje is, is helemaal rood. Deze knikker is blauw. Deze knikker is niet van Jantje.

67 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Taalfilosofische achtergrond propositie

68 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Taalfilosofische achtergrond propositie onderstelling van eenheid van context

69 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Taalfilosofische achtergrond propositie onderstelling van eenheid van context andere dingen die mis kunnen gaan

70 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is een propositie? = 4

71 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is een propositie? = = 4

72 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is een propositie? = = 4 twee en twee is vier

73 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is een propositie? = = 4 twee en twee is vier two and two make four

74 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is een propositie? = = 4 twee en twee is vier two and two make four = 5

75 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is een propositie? = = 4 twee en twee is vier two and two make four = 5 Ik heb dorst.

76 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is een propositie? = = 4 twee en twee is vier two and two make four = 5 Ik heb dorst. Jij hebt dorst.

77 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat is een propositie? volzin context volzinsuiting propositie mogelijke wereld waarheidswaarde

78 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Hier sta ik, ik kan niet anders.

79 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Onderstelling van eenheid van context Volzinnen zijn of contextonafhankelijk of worden in dezelfde context geuit.

80 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Wat er verder nog allemaal mis kan gaan Grammaticale fouten/verhaspelingen Selectiefouten/categoriefouten Dubbelzinnigheid Mislukte verwijzing Vaagheid Ongerijmde toestanden

81 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Grammaticale fouten/verhaspelingen Chocola bouwen geen.

82 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Grammaticale fouten/verhaspelingen Chocola bouwen geen. Ik bouwen geen chocola.

83 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Grammaticale fouten/verhaspelingen Chocola bouwen geen. Ik bouwen geen chocola. Ik kunnen geen chocola maken.

84 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Grammaticale fouten/verhaspelingen Chocola bouwen geen. Ik bouwen geen chocola. Ik kunnen geen chocola maken. Ik kan er geen chocola van maken.

85 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Selectiefouten/categoriefouten De chocola nam een vergelijkbaar standpunt in.

86 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Selectiefouten/categoriefouten De chocola nam een vergelijkbaar standpunt in. De redenering is waar.

87 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Selectiefouten/categoriefouten De chocola nam een vergelijkbaar standpunt in. De redenering is waar. Quadruplicity beats procrastination.

88 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Dubbelzinnigheid Alle huiswerkopgaven die ik vandaag gemaakt heb, heb ik helemaal begrepen.

89 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Dubbelzinnigheid Alle huiswerkopgaven die ik vandaag gemaakt heb, heb ik helemaal begrepen. sterke lezing Ik heb vandaag huiswerkopgaven gemaakt en ik heb ze allemaal begrepen.

90 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Dubbelzinnigheid Alle huiswerkopgaven die ik vandaag gemaakt heb, heb ik helemaal begrepen. sterke lezing Ik heb vandaag huiswerkopgaven gemaakt en ik heb ze allemaal begrepen. zwakke lezing Er zijn geen huiswerkopgaven die ik vandaag gemaakt heb en niet begrepen heb.

91 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Dubbelzinnigheid Alle huiswerkopgaven die ik vandaag gemaakt heb, heb ik helemaal begrepen. sterke lezing Ik heb vandaag huiswerkopgaven gemaakt en ik heb ze allemaal begrepen. zwakke lezing Er zijn geen huiswerkopgaven die ik vandaag gemaakt heb en niet begrepen heb. Lexicaal: het voorbeeld over besturen.

92 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Dubbelzinnigheid Alle huiswerkopgaven die ik vandaag gemaakt heb, heb ik helemaal begrepen. sterke lezing Ik heb vandaag huiswerkopgaven gemaakt en ik heb ze allemaal begrepen. zwakke lezing Er zijn geen huiswerkopgaven die ik vandaag gemaakt heb en niet begrepen heb. Lexicaal: het voorbeeld over besturen. Structureel: Marie helpt iedereen die Maaike helpt.

93 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Dubbelzinnigheid Alle huiswerkopgaven die ik vandaag gemaakt heb, heb ik helemaal begrepen. sterke lezing Ik heb vandaag huiswerkopgaven gemaakt en ik heb ze allemaal begrepen. zwakke lezing Er zijn geen huiswerkopgaven die ik vandaag gemaakt heb en niet begrepen heb. Lexicaal: het voorbeeld over besturen. Structureel: Marie helpt iedereen die Maaike helpt. Interne verwijzing: De boer heeft een ezel en hij schopt hem.

94 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Dubbelzinnigheid Alle huiswerkopgaven die ik vandaag gemaakt heb, heb ik helemaal begrepen. sterke lezing Ik heb vandaag huiswerkopgaven gemaakt en ik heb ze allemaal begrepen. zwakke lezing Er zijn geen huiswerkopgaven die ik vandaag gemaakt heb en niet begrepen heb. Lexicaal: het voorbeeld over besturen. Structureel: Marie helpt iedereen die Maaike helpt. Interne verwijzing: De boer heeft een ezel en hij schopt hem. Ontbrekende relata: Het is beter om olijfolie te gebruiken.

95 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Mislukte verwijzing De huidige koning van Frankrijk is kaal.

96 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Mislukte verwijzing De huidige koning van Frankrijk is kaal. Er bloeien seringen in mijn achtertuin.

97 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Mislukte verwijzing De huidige koning van Frankrijk is kaal. Er bloeien seringen in mijn achtertuin. Het middelste woord van deze zin heeft maar een lettergreep.

98 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Vaagheid daar

99 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Vaagheid daar stoel

100 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Vaagheid daar stoel kort

101 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Vaagheid daar stoel kort mens

102 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Ongerijmde toestanden Brain in a vat.

103 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Ongerijmde toestanden Brain in a vat. De omgekeerde wereld.

104 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Dat allemaal niet, maar wel mogelijk is: Misleiding

105 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Dat allemaal niet, maar wel mogelijk is: Misleiding Onwetendheid

106 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Dat allemaal niet, maar wel mogelijk is: Misleiding Onwetendheid Onwaarheid

107 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Samenvatting geldige en ongeldige redeneringen logische vorm logische theoriën materiële geldigheid taalfilosofische achtergrond

108 Wat is logica? Geldig en ongeldig Logische vorm Logische theorieën Materiële geldigheid Taalfilosofie Formele logica Wat is formele logica? syllogistiek analyse semantiek Venn-diagrammen verzamelingen deducties dialogen volgende keer

109 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Formele logica Wat is formele logica? syllogistiek analyse semantiek Venn-diagrammen verzamelingen deducties dialogen vandaag!

110 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Overzicht Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo.

111 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Formele logica intuïtie logische theorie (on)geldig (on)geldig redeneerschema s analyse redeneringen

112 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Soorten zinnen

113 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Soorten zinnen categorisch complex: hypothetisch disjunctief

114 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Soorten zinnen modaal: apodictisch problematisch categorisch assertorisch complex: hypothetisch disjunctief

115 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Soorten zinnen modaal: apodictisch problematisch categorisch assertorisch algemeen complex: hypothetisch disjunctief singulier

116 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Soorten zinnen modaal: apodictisch problematisch categorisch assertorisch algemeen complex: hypothetisch disjunctief singulier universeel particulier

117 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Soorten zinnen modaal: apodictisch problematisch categorisch assertorisch algemeen complex: hypothetisch disjunctief singulier universeel particulier bevestigend ontkennend bevestigend ontkennend

118 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Soorten zinnen modaal: apodictisch problematisch categorisch assertorisch algemeen complex: hypothetisch disjunctief singulier universeel particulier bevestigend ontkennend bevestigend ontkennend A E I O

119 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Soorten zinnen modaal: apodictisch problematisch categorisch assertorisch algemeen complex: hypothetisch disjunctief singulier universeel particulier bevestigend ontkennend bevestigend ontkennend A E I O

120 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische zinnen A-vorm Universeel bevestigend Iedere S is een P SaP Iedere walvis is een zoogdier. I-vorm Particulier bevestigend Ten minste één S is een P SiP Ten minste één walvis is een zoogdier. E-vorm Universeel ontkennend Geen S is een P SeP Geen walvis is een zoogdier. O-vorm Particulier ontkennend Ten minste één S is geen P SoP Ten minste één walvis is geen zoogdier.

121 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische zinnen Bevestigend Kwaliteit Ontkennend Kwantiteit Universeel SaP SeP Particulier SiP SoP

122 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische zinnen Bevestigend Kwaliteit Ontkennend Kwantiteit Universeel SaP SeP Particulier SiP SoP Ezelsbruggetje: affirmo (ik bevestig) nego (ik ontken)

123 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Algemene termen 1. het enkelvoud van een zelfstandig naamwoord dat een meervoud toelaat:

124 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Algemene termen 1. het enkelvoud van een zelfstandig naamwoord dat een meervoud toelaat: mens

125 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Algemene termen 1. het enkelvoud van een zelfstandig naamwoord dat een meervoud toelaat: mens boom

126 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Algemene termen 1. het enkelvoud van een zelfstandig naamwoord dat een meervoud toelaat: mens boom getal

127 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Algemene termen 1. het enkelvoud van een zelfstandig naamwoord dat een meervoud toelaat: mens boom getal eenhoorn

128 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Algemene termen 1. het enkelvoud van een zelfstandig naamwoord dat een meervoud toelaat: mens boom getal eenhoorn 2. een zinsdeel dat op dezelfde manier fungeert als de woorden onder 1:

129 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Algemene termen 1. het enkelvoud van een zelfstandig naamwoord dat een meervoud toelaat: mens boom getal eenhoorn 2. een zinsdeel dat op dezelfde manier fungeert als de woorden onder 1: eerlijk mens

130 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Algemene termen 1. het enkelvoud van een zelfstandig naamwoord dat een meervoud toelaat: mens boom getal eenhoorn 2. een zinsdeel dat op dezelfde manier fungeert als de woorden onder 1: eerlijk mens boom die vrucht draagt

131 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Algemene termen 1. het enkelvoud van een zelfstandig naamwoord dat een meervoud toelaat: mens boom getal eenhoorn 2. een zinsdeel dat op dezelfde manier fungeert als de woorden onder 1: eerlijk mens boom die vrucht draagt rode entiteit

132 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Algemene termen 1. het enkelvoud van een zelfstandig naamwoord dat een meervoud toelaat: mens boom getal eenhoorn 2. een zinsdeel dat op dezelfde manier fungeert als de woorden onder 1: eerlijk mens boom die vrucht draagt rode entiteit persoon die verleden week zijn tas in de trein heeft laten liggen en dit nu zeer betreurt

133 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. De subject- en predikaat-term SaP SeP SiP SoP

134 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. De subject- en predikaat-term Subject-term SaP SeP SiP SoP

135 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. De subject- en predikaat-term Subject-term SaP SeP SiP SoP Predikaat-term

136 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Elke socioloog is een primaat. Alle sociologen zijn primaten. Een socioloog is een primaat.

137 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Elke socioloog is een primaat. Alle sociologen zijn primaten. Een socioloog is een primaat. Iedere socioloog is een primaat.

140 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Er is een socioloog die een primaat is. Er zijn sociologen die primaten zijn. Sommige sociologen zijn primaten.

141 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Er is een socioloog die een primaat is. Er zijn sociologen die primaten zijn. Sommige sociologen zijn primaten. Ten minste één socioloog is een primaat.

144 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Iedere bij is buitengewoon kwetsbaar in de winter.

145 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Iedere bij is buitengewoon kwetsbaar in de winter. Iedere bij is een wezen dat buitengewoon kwetsbaar is in de winter.

146 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Alleen vogels vliegen.

147 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Alleen vogels vliegen. Ieder wezen dat vliegt is een vogel.

148 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Als het regent dan is het koud.

149 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Als het regent dan is het koud. Iedere tijd waarop het regent is een tijd waarop het koud is.

150 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Plato is een filosoof.

151 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Categorische vorm Plato is een filosoof. Iedere persoon identiek met Plato is een filosoof.

152 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Grenzen van de syllogistiek De mensen en alleen zij zijn redelijke dieren. De meeste mensen zijn redelijk. Jan komt of Marie komt niet. Iemand moet de deur dicht doen.

153 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Syllogistische redeneringen

154 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Syllogistische redeneringen Alle eendjes zwemmen in het water. Dus is geen eendje een vlinder. Want vlinders zwemmen niet in het water.

155 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Syllogistische redeneringen Alle eendjes zwemmen in het water. Dus is geen eendje een vlinder. Want vlinders zwemmen niet in het water. E: Eendjes Z: Wezens die in het water zwemmen V: Vlinders

156 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Syllogistische redeneringen Alle eendjes zwemmen in het water. Dus is geen eendje een vlinder. Want vlinders zwemmen niet in het water. E: Eendjes Z: Wezens die in het water zwemmen V: Vlinders EaZ VeZ EeV

157 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Syllogismen in enge zin 0. Premissen en conclusie zijn categorische zinnen of in categorische vorm te brengen.

158 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Syllogismen in enge zin 0. Premissen en conclusie zijn categorische zinnen of in categorische vorm te brengen. 1. Er zijn precies twee premissen.

159 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Syllogismen in enge zin 0. Premissen en conclusie zijn categorische zinnen of in categorische vorm te brengen. 1. Er zijn precies twee premissen. 2. Er zijn in de hele redenering precies drie verschillende termen: S, M, en P. Met S zullen we de subject-term van de conclusie aanduiden, deze heet de minor term van het syllogisme. Met P zullen we de predikaat-term van de conclusie aanduiden, deze heet de major term van het syllogisme. De term M is de middenterm.

160 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Syllogismen in enge zin 0. Premissen en conclusie zijn categorische zinnen of in categorische vorm te brengen. 1. Er zijn precies twee premissen. 2. Er zijn in de hele redenering precies drie verschillende termen: S, M, en P. Met S zullen we de subject-term van de conclusie aanduiden, deze heet de minor term van het syllogisme. Met P zullen we de predikaat-term van de conclusie aanduiden, deze heet de major term van het syllogisme. De term M is de middenterm. 3. Een premisse bevat de major-term en de middenterm. Dit is de major (premisse) van het syllogisme.

161 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Syllogismen in enge zin 0. Premissen en conclusie zijn categorische zinnen of in categorische vorm te brengen. 1. Er zijn precies twee premissen. 2. Er zijn in de hele redenering precies drie verschillende termen: S, M, en P. Met S zullen we de subject-term van de conclusie aanduiden, deze heet de minor term van het syllogisme. Met P zullen we de predikaat-term van de conclusie aanduiden, deze heet de major term van het syllogisme. De term M is de middenterm. 3. Een premisse bevat de major-term en de middenterm. Dit is de major (premisse) van het syllogisme. 4. Een premisse bevat de minor-term en de middenterm. Dit is de minor (premisse) van het syllogisme.

162 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Standaardvorm major premisse minor premisse conclusie

163 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Standaardvorm major premisse minor premisse conclusie Bijvoorbeeld MaP SaM SaP

164 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Standaardvorm major premisse minor premisse conclusie Bijvoorbeeld MaP SaM SaP Dus niet EaZ VeZ EeV

165 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Standaardvorm major premisse minor premisse conclusie Bijvoorbeeld MaP SaM SaP Dus niet EaZ VeZ EeV VeZ EaZ EeV

166 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Standaardvorm major premisse minor premisse conclusie Bijvoorbeeld MaP SaM SaP Dus niet EaZ VeZ EeV VeZ EaZ EeV Tip 1: Vertaal eerst de conclusie. Tip 2: Gebruik S, P, en M. Tip 3: Zet de premisse met P bovenaan. Ezelsbruggetje: Primus en Secundus.

167 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. De vier figuren M - P S - M S - P P - M S - M S - P M - P M - S S - P P - M M - S S - P (I) (II) (III) (IV)

169 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Ezelsbruggetje

171 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. De vier figuren M - P S - M S - P P - M S - M S - P M - P M - S S - P P - M M - S S - P (I) (II) (III) (IV) Er zijn dus 256 verschillende syllogismen (modi).

172 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. De vier figuren M - P S - M S - P P - M S - M S - P M - P M - S S - P P - M M - S S - P (I) (II) (III) (IV) Er zijn dus 256 verschillende syllogismen (modi). Bijvoorbeeld OOE-IV

173 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. De vier figuren M - P S - M S - P P - M S - M S - P M - P M - S S - P P - M M - S S - P (I) (II) (III) (IV) Er zijn dus 256 verschillende syllogismen (modi). PoM OOE-IV MoS SeP Bijvoorbeeld

174 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Syllogismen in nog engere zin Barbara, Celarent, Darii, Ferioque prioris; Cesare, Camestres, Festino, Baroco secundae; tertia Darapti, Disamis, Datisi, Felapton, Bocardo, Ferison habet; Quarta insuper addit Bramantip, Camenes, Dimaris, Fesapo, Fresison.

175 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Syllogismen in nog engere zin Barbara, Celarent, Darii, Ferioque prioris; Cesare, Camestres, Festino, Baroco secundae; tertia Darapti, Disamis, Datisi, Felapton, Bocardo, Ferison habet; Quarta insuper addit Bramantip, Camenes, Dimaris, Fesapo, Fresison. AAI-I Barbari EAO-I Celaront subalterne modi AEO-II Camestrop EAO-II Cesaro AEO-IV Camenop

176 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Onmiddellijke gevolgtrekkingen Geen Schouwburgbezoeker is een Pyromaan. Geen Pyromaan is een Schouwburgbezoeker.

177 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Onmiddellijke gevolgtrekkingen Geen Schouwburgbezoeker is een Pyromaan. Geen Pyromaan is een Schouwburgbezoeker. SeP PeS

178 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Enthymema Ø Ò Ñ Ñ

179 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Enthymema Ø Ò Ñ Ñ Sommige Strandjutters zijn Parelvissers, want Mosselkwekers.

180 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Enthymema Ø Ò Ñ Ñ Sommige Strandjutters zijn Parelvissers, want Mosselkwekers. Ten minste één Strandjutter is een Mosselkweker. Ten minste één Strandjutter is een Parelvisser.

181 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Enthymema Ø Ò Ñ Ñ Sommige Strandjutters zijn Parelvissers, want Mosselkwekers. Ten minste één Strandjutter is een Mosselkweker. Ten minste één Strandjutter is een Parelvisser. Iedere Mosselkweker is een Parelvisser. Ten minste één Strandjutter is een Mosselkweker. Ten minste één Strandjutter is een Parelvisser.

182 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Enthymema Ø Ò Ñ Ñ Sommige Strandjutters zijn Parelvissers, want Mosselkwekers. Ten minste één Strandjutter is een Mosselkweker. Ten minste één Strandjutter is een Parelvisser. Iedere Mosselkweker is een Parelvisser. Ten minste één Strandjutter is een Mosselkweker. Ten minste één Strandjutter is een Parelvisser. AII-I (Darii)

183 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Sorites (kettingredenering) ÛÖ Ø

184 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Sorites (kettingredenering) ÛÖ Ø Iedere plant met bloemen is een plant die insecten aantrekt. Iedere springbalsemien is een plant met bloemen. Geen mens is een plant die insecten aantrekt. Geen mens is een springbalsemien.

185 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Sorites (kettingredenering) ÛÖ Ø Iedere plant met bloemen is een plant die insecten aantrekt. Iedere springbalsemien is een plant met bloemen. Geen mens is een plant die insecten aantrekt. Geen mens is een springbalsemien. AAA-I (Barbara) AEE-II (Camestres)

186 Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo. Overzicht Categorische zinnen Categorische vorm Redeneringen De vier figuren Onmiddelijke gevolgtrekking en zo.

187 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Formele logica Wat is formele logica? syllogistiek analyse semantiek Venn-diagrammen verzamelingen deducties dialogen vandaag!

188 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Overzicht Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen

189 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Semantiek natuurlijke taal

190 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Semantiek natuurlijke taal formele taal

191 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Semantiek natuurlijke taal analyse formele taal

192 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Semantiek mogelijke wereld natuurlijke taal analyse formele taal

193 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Semantiek mogelijke wereld waarheid natuurlijke taal analyse formele taal

194 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Semantiek mogelijke wereld model waarheid waarheid natuurlijke taal analyse formele taal

195 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Semantiek mogelijke wereld model waarheid waarheid natuurlijke taal analyse formele taal

196 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Semantiek mogelijke wereld abstractie model waarheid waarheid natuurlijke taal analyse formele taal

197 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Existentiële onderstelling Alle gebruikte termen beschrijven eigenschappen die aan ten minste één entiteit (ding/individu) toekomen.

198 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Existentiële onderstelling Alle gebruikte termen beschrijven eigenschappen die aan ten minste één entiteit (ding/individu) toekomen. Twee logische theorieën: CS: met de existentiële onderstelling. CS : zonder de existentiële onderstelling.

199 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Intensie en Extensie Een prachtig onderscheid.

200 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Intensie en Extensie Een prachtig onderscheid. De intensie van een algemene term is de door de term beschreven eigenschap.

201 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Intensie en Extensie Een prachtig onderscheid. De intensie van een algemene term is de door de term beschreven eigenschap. De extensie van een algemene term is de verzameling van alle dingen waaraan de eigenschap toekomt.

202 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Intensie en Extensie Een prachtig onderscheid. De intensie van een algemene term is de door de term beschreven eigenschap. De extensie van een algemene term is de verzameling van alle dingen waaraan de eigenschap toekomt. Bijvoorbeeld: kabouters en eenhoorns hebben dezelfde extensie, maar verschillende intensie.

203 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Definitie 1 Interpretaties a. Een CS -interpretatie van een syllogistisch redeneerschema is een toekenning van verzamelingen aan de variabelen. b. Een CS-interpretatie van een syllogistisch redeneerschema is een toekenning van niet-lege verzamelingen aan de variabelen.

204 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Semantische regels Formele waarheidsdefinitie Sem A SaP is waar in de gegeven interpretatie desda er geen S-ding is dat niet tevens een P-ding is (anders is SaP onwaar). Sem E SeP is waar in de gegeven interpretatie desda er geen S-ding is dat tevens een P-ding is (anders is SeP onwaar). Sem I SeP is waar in de gegeven interpretatie desda er ten minste één S-ding is dat tevens een P-ding is (anders is SiP onwaar). Sem O SoP is waar in de gegeven interpretatie desda er ten minste één S-ding is dat niet tevens een P-ding is (anders is SoP onwaar).

205 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Definitie 2 Tegenvoorbeeld a. Een CS tegenvoorbeeld tot een syllogistisch redeneerschema is een CS -interpretatie van dat schema, waarin de premissen waar zijn en de conclusie onwaar is. b. (Voor CS analoog).

206 Existentiële onderstelling Interpretaties, semantische regels en geldigheid Semantisch logische begrippen Venn-diagrammen Definitie 3 Geldigheid a. Een syllogistisch redeneerschema heet CS -geldig desda het geen CS -tegenvoorbeeld toelaat. b. (Voor CS analoog).

Nog meer weergeven