Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

ΚΕΦΑΛΑΙΟ ΙΙ ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗ1 1. ΠΕΡΙΛΗΨΗ Κύριος σκοπός : Η μελέτη μέσω μιας γλώσσας της λογικής των προτάσεων. Μέθοδος: Εισαγωγή συμβόλων μετατρέποντας.

Παρόμοιες παρουσιάσεις


Παρουσίαση με θέμα: "ΚΕΦΑΛΑΙΟ ΙΙ ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗ1 1. ΠΕΡΙΛΗΨΗ Κύριος σκοπός : Η μελέτη μέσω μιας γλώσσας της λογικής των προτάσεων. Μέθοδος: Εισαγωγή συμβόλων μετατρέποντας."— Μεταγράφημα παρουσίασης:

1 ΚΕΦΑΛΑΙΟ ΙΙ ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗ1 1

2 ΠΕΡΙΛΗΨΗ Κύριος σκοπός : Η μελέτη μέσω μιας γλώσσας της λογικής των προτάσεων. Μέθοδος: Εισαγωγή συμβόλων μετατρέποντας έτσι τα σχήματα συλλογισμών σε συνδυασμούς συμβόλων. Ο συμβολισμός προτάσεων θα περιοριστεί στο χώρο των αποφάνσεων και όχι σε όλο τον χώρο της φυσικής μας γλώσσας. Δηλαδή σύμβολα θα χρησιμοποιούμε για τις αποφαντικές προτάσεις αυτές που μπορούν να χαρακτηριστούν ΑΛΗΘΕΙΣ ή ΨΕΥΔΕΙΣ. Η γλώσσα αυτή είναι μια χονδροειδής απομίμηση της φυσικής μας γλώσσας με το πλεονέκτημα ότι είναι απόλυτα σαφής,αυστηρή και ακριβής. 2

3 1.Γλώσσα –Πρόταση-Αληθοτιμή πρότασης Γλώσσα: Κύριο μέσον της επικοινωνίας των ανθρώπων και περιλαμβάνει ως εκδηλώσεις της το γραπτό και προφορικό λόγο. Λέξη: Εκφράζει γλωσσικά (σημαίνει, συμβολίζει)μια έννοια. Πρόταση: Μια γλωσσική ενότητα,η οποία εκφράζει κάποιο νόημα. Εκφράζεται μια ιδέα ή μια σκέψη σε σχέση με κάποιες έννοιες. Παράδειγμα :σχολ. Βιβλίο σελ.28. Είδη προτάσεων :αποφαντικές ή κρίσης, ερωτηματικές, επιθυμίας, επιφωνηματικές κλπ. Αποφαντικές απλές προτάσεις: Περιλαμβάνουν δύο κύριους όρους το υποκείμενο και το κατηγόρημα. Ελλειματικές ή μη πλήρεις προτάσεις. 3

4 ΤΑΥΤΟΣΗΜΕΣ ΠΡΟΤΑΣΕΙΣ. Δύο προτάσεις με την ίδια σημασία λέγονται ταυτόσημες. 4

5 ΔΙΤΙΜΗ ΛΟΓΙΚΗ Αληθής: κάθε αποφαντική πρόταση που περιγράφει μια πραγματική κατάσταση του κόσμου μας. Ψευδής : κάθε αποφαντική πρόταση που περιγράφει μια μη υπαρκτή κατάσταση του κόσμου μας. 5

6 Ασκήσεις σελ.32 Παλιά ο δρόμος που οδηγούσε από την Αθήνα στην Θήβα σε κάποιο σημείο χωριζόταν σε τρείς δρόμους από τους οποίους μόνο ένας οδηγούσε στην Θήβα.Η Σφίγγα είχε βάλει στην αρχή κάθε δρόμου μια πινακίδα.Όλοι γνώριζαν ότι ως φιλοπαίγμων έγραψε την αλήθεια το πολύ σε μία από τις τρείς πινακίδες. 6

7 Η πινακίδα του 1 ου δρόμου έγραφε «Αυτός ο δρόμος οδηγεί στην Θήβα» Η πινακίδα του 2 ου δρόμου έγραφε «Αυτός ο δρόμος δεν οδηγεί στην Θήβα» Η πινακίδα του 3 ου δρόμου έγραφε «Ο πρώτος δρόμος δεν οδηγεί στην Θήβα» Ο Οιδίποδας είχε βρει τον δρόμο που οδηγεί στην Θήβα.Ποίος ήταν και γιατί; 7

8 Π1ΑΑΨΨ Π2ΑΨΑΨ Π3ΨΨΑΑ 8

9 ΑΣΚΗΣΗ 4 σελ.33 9 ΔευτέραΤρίτηΤετάρτηΠέμπτηΠαρασκΣαββάτοΚυριακή Κρατύλ.ΑΨΑΨΑΨΑ Επιμεν.ΨΑΨΑΨΑΑ

10 2.Σύνδεσμοι-Πίνακες Αληθοτιμών Σύνδεσμοι :Λέξεις ή διατάξεις λέξεων,οι οποίες δεν συνιστούν προτάσεις αλλά καθώς συμπλέκονται με μια ή περισσότερες προτάσεις δημιουργούν συνθετότερες προτάσεις. Π.χ:1) Ο ουρανός είναι ξάστερος και φυσάει βοριαδάκι. 2)είτε το τρίγωνο ΑΒΓ είναι σκαληνό είτε είναι ισοσκελές. Ασκήση:1 σελίδα

11 Σχέση μεταξύ αληθοτιμών προτάσεων που συμπλέκονται με συνδέσμους και αληθοτιμής της πρότασης που προκύπτει Να βρεθούν οι απλούστερες προτάσεις από τις οποίες προκύπτει αυτή η πρόταση καθώς ο σύνδεσμος με τον οποίο συνδέονται. (1) > 11

12 Πίνακας Ι Ο Κ. βρίσκεται στο γραφείο. Ο Ν. βρίσκεται στο δικό του γραφείο. Ούτε ο Κ. βρίσκεται στο γραφείο του ούτε ο Ν. βρίσκεται στο δικό του γραφείο. ΑΑΨ ΑΨΨ ΨΑΨ ΨΨΑ 12

13 Παρατηρούμε ότι… η αληθοτιμή της πρότασης που προκύπτει δεν εξαρτάται από τη σημασία, το εννοιολογικό περιεχόμενο των δύο προτάσεων,το τι περιγράφουν ή το ποιά είναι η σχέση τους,αλλά μόνον από τις αληθοτιμές τους. 13

14 Υπάρχουν λοιπόν… Διθέσιοι σύνδεσμοι π.χ >. Μονοθέσιοι σύνδεσμοι π.χ > 14

15 3.Συμβολική Γλώσσα –Προτασιακές Μεταβλητές. Η πρόταση > Η πρόταση Π. Η πρόταση >. Η πρόταση Ρ 15

16 Οπότε … Τα γράμματα που χρησιμοποιούμε ως σύμβολα των προτάσεων τα καλούμε προτασιακές μεταβλητές 16

17 Επίσης Για τους συνδέσμους χρησιμοποιούμε δίαφορα σύμβολα π.χ > το σύμβολο >. Πχ Τ↓ Σ. ΠΡΟΣΟΧΗ:1) Οι προτασιακές μεταβλητές δεν είναι προτάσεις αλλά σύμβολα προτάσεων. 2) Η έκφραση Τ↓ Σ.δεν είναι πρόταση αλλά το σύμβολο μιας πρότασης. 3) οι προτασιακές μεταβλητές δεν έχουν, τιμές αληθείας γιατί δεν είναι προτάσεις. 17

18 Δηλαδή… Κατασκευάζουμε μια τεχνητή ή συμβολική γλώσσα σε αντιδιαστολή με την φυσική που μιλάμε. Η συμβολική και η φυσική γλώσσα συσχετίζονται καθώς από τη μία μπορούμε να μεταβαίνουμε στην άλλη αντιστοιχίζοντας ή μεταφράζοντας τις εκφράσεις της μιας σε εκφράσεις της άλλης. 18

19 Οπότε … Πχ: σελίδα 41. Συμβολική γλώσσα= γεννήτρια εκφράσεων της φυσικής γλώσσας. Συμβολική γεννήτρια αποκαλύπτει την δομή έκφρασης της φυσικής γλώσσας, μέσω της οποίας μπορούμε να μελετήσουμε τη λογική της συμπεριφορά. 19

20 4.ΣΥΖΕΥΞΗ Έστω η πρόταση ¨Ο Κ. βρίσκεται στο γραφείο του και ο Ν. βρίσκεται στο δικό του¨. Συζευκτική :περιγράφει μια κατάσταση των πραγμάτων του κόσμου μας η οποία συντίθεται από τις δύο καταστάσεις που περιγράφουν οι δυο καταστάσεις που συμπλέκονται. 20

21 Πίνακας 4 Ο Κ. βρίσκεται στο γραφείο του. Ο Ν. βρίσκεται στο δικό του γραφείο. Ο Κ. βρίσκεται στο γραφείο του και ο Ν. βρίσκεται στο δικό του. ΑΑΑ ΑΨΨ ΨΑΨ ΨΨΨ 21

22 Πίνακας 5 ΠΡΠ  Ρ ΑΑΑ ΑΨΨ ΨΑΨ ΨΨΨ 22

23 Παρατηρήσεις. 1) οι σύνδεσμοι >, >, >,έχουν λεπτές σημασιολογικές διαφορές αλλά την ίδια λογική συμπεριφορά με τον σύνδεσμο > οπότε ισχύει ο πίνακας 5. 2) ομοίως η τελεία που χωρίζει δυο προτάσεις 3) η άνω τελεία και 4) σε ορισμένες περιπτώσεις το κόμμα. 5) λεπτές σημασιολογικές αποχρώσεις (παρ.σελίδα 45) 23.

24 AΣΚΗΣΕΙΣ σελ « Ο Γαλαξίας μας περιλαμβάνει άστρα και το ηλιακό μας σύστημα περιλαμβάνει 5 πλανήτες» είναι Α ή Ψ. 24

25 Άσκηση 3 σελ.4 Τ:« εγώ είμαι ψεύτης αλλά αυτός δεν είναι» Τ:«εγώ είμαι ψεύτης ΚΑΙ αυτός δεν είναι» ΑήΨ Έστω Τ (Α) άρα οι επιμέρους προτάσεις, «εγώ είμαι ψεύτης» και «αυτός εδώ είναι ψεύτης» πρέπει να είναι Α. Αν «εγώ είμαι ψεύτης» αληθής τότε αυτός που την είπε είναι ψεύτης. Αρα η Τ έιναι (Ψ) ΑΤΟΠΟ γιατί έχουμε δεχτεί ότι Τ (Α). Αρα Τ αναγκαστικά Ψ οπότε αυτός που μίλησε είναι ψεύτης άρα η πρόταση εγώ είμαι ψεύτης είναι αληθής δηλαδή για να είναι ψευδής η Τ πρέπει να είναι ψευδής και ή «αυτός δεν είναι ψεύτης» άρα και αυτός είναι ψεύτης. 25

26 5.ΔΙΑΖΕΥΞΗ > Διαζευκτική: ονομάζεται η πρόταση που χρησιμοποιείτε να περιγράψει μια κατάσταση που υφίσταται μόνον στην περίπτωση που υφίσταται μία τουλάχιστον από τις καταστάσεις που περιγράφονται από τις δύο προτάσεις που συνδέονται και μόνον σε αυτήν. 26

27 Πίνακας 6 Το φάκελο τον έχει αναλάβει ο Κ. Το φάκελο τον έχει αναλάβει ο Ν. Το φάκελο τον έχει αναλάβει ο Κ ή το φάκελο τον έχει αναλάβει ο Ν. ΑΑΑ ΑΨΑ ΨΑΑ ΨΨΨ 27

28 Πίνακας 7 ΠΡΠ  Ρ ΑΑΑ ΑΨΑ ΨΑΑ ΨΨΨ 28

29 Εγκλειστικός-Αποκλειστικός >. 29

30 Πίνακας 8 ΠΡΠ  Ρ ΑΑΨ ΑΨΑ ΨΑΑ ΨΨΨ 30

31 Εγκλειστικός-Αποκλειστικός 2 Η διάκριση μεταξύ εγκλειστικού και αποκλειστικού συνδέσμου εξαρτάται αποκλειστικά από το πλαίσιο που αναφέρεται η πρόταση. 31

32 Άσκηση 4 σελ.51 Α: « εγώ είμαι ψεύτης ή εσύ είσαι ειλικρινής» Αν αυτός που την διατύπωσε είναι Ψ τότε η Α είναι Ψ … ΆΡΑ και οι δύο προτάσεις είναι Ψ..ΟΠΟΤΕ η «εγώ είμαι ψεύτης» είναι Ψ άρα αυτός που την εκφώνησε λέει αλήθεια άρα δεν είναι Ψ ΕΊΝΑΙ Α άρα Η διάζευξη είναι αληθής άρα μια από τις δυο είναι αληθής η πρώτη είναι ψευδής άρα η δεύτερη είναι αληθής άρα και ο δεύτερος είναι είναι ειλικρινής. 32

33 6.ΑΡΝΗΣΗ > Προκύπτει από τη πρόταση > αν μπροστά από το ρήμα θέσω την λέξη >. Η λέξη δεν δρα ως προτασιακός γεννήτορας. 33

34 Πίνακας Π  Π ΑΨ ΨΑ 34

35 7.ΣΥΝΕΠΑΓΩΓΗ Σύνδεσμος της μορφής : > ηγούμενος όρος επόμενος όρος (λόγος) ( ακολουθία) Οι προτάσεις αυτής της μορφής ονομάζονται υποθετικές. Οι υποθετικές προτάσεις χρησιμοποιούνται για να περιγράψουν την εξής κατάσταση : Στην περίπτωση κατά τη οποία αυτό που περιγράφει ο ηγούμενος όρος υφίσταται,υφίσταται και αυτό που περιγράφει ο επόμενος. 35

36 Δηλαδή …. Περιγράφει μια διαπλοκή και εξάρτηση πραγμάτων του κόσμου μας κατά συνέπεια η μελέτη της λογικής συμπεριφοράς του συνδέσμου > είναι δύσκολη. 36

37 Προς τον πίνακα αληθοτιμών… (1)Το ποτήρι περιέχει μπύρα (2)Υπάρχει αλκοόλ στο ποτήρι (3)Εάν το ποτήρι περιέχει μπύρα τότε υπάρχει αλκοόλ στο ποτήρι Αληθής Ψευδής ( μπύρα χωρίς αλκοόλ) Ψευδής Αληθής; Ψευδής ; 37

38 Χρειάζεται περισσότερη διερεύνηση για να συμπληρωθεί ο πίνακας … Δίλλημα; – > Αν όμως το ποτήρι περιέχει λεμονάδα τότε τι γίνεται με το στοίχημα; – Το στοίχημα δεν υφίσταται( δεν πάει όπως λέμε) Αν όμως το ποτήρι περιέχει κρασί,τότε το κερδίσαμε το στοίχημα; 38

39 Η συνήθης χρήση υποθετικών προτάσεων απαιτεί… Ο ηγούμενος όρος πρέπει να είναι αληθής. Οι ανάγκες όμως διερεύνησης τεχνικών ζητημάτων σχετικών με επιστημονικούς συλλογισμούς, επιχειρηματολογίες,αυτοματισμούς κτλ., βάζουν θέμα ψευδούς ηγούμενου όρου. 39

40 Έτσι λοιπόν …. Προσπαθούμε να επαναδιατυπώσουμε την πρόταση (3),δηλαδή : > ή > 40

41 Οπότε… > είναι ΨΕΥΔΗΣ αν και μόνον αν η πρόταση (4) > είναι ΑΛΗΘΗΣ.  Η παραπάνω πρόταση είναι ΣΥΖΕΥΚΤΙΚΗ Και είναι ΑΛΗΘΗΣ μόνον όταν και οι δύο είναι αληθείς,σε κάθε άλλη περίπτωση είναι ΨΕΥΔΗΣ ΑΡΑ η (3) θα είναι ΑΛΗΘΗΣ. 41

42 Δηλαδή ο πίνακας συμπληρώνεται ως εξής… (1) Το ποτήρι περιέχει μπύρα. ( 2)Υπάρχει αλκοόλ στο ποτήρι (3) Εάν το ποτήρι περιέχει μπύρα,τότε υπάρχει αλκοόλ στο ποτήρι. ΑΑΑ ΑΨΨ Δεν είναι δυνατόν το ποτήρι να περιέχει μπύρα. Ψ Υπάρχει αλκοόλ σε αυτό Α. Η (4) ΔΕΝ ΠΕΡΙΓΡΑΦΕΙ ΤΗΝ ΠΡΑΓΜΑΤΙΚΟΤΗΤΑ ΑΡΑ (3) Α ΨΨΗ(4) ΔΕΝ ΠΕΡΙΓΡΑΦΕΙ ΤΗΝ ΠΡΑΓΜΑΤΙΚΟΤΗΤΑ ΑΡΑ (3) Α 42

43 Πίνακας 11 ΠΡΠΡΠΡ ΑΑΑ ΑΨΨ ΨΑΑ ΨΨΑ 43

44 ΤΕΛΟΣ Η απλή συνεπαγωγή λέγεται και υλική συνεπαγωγή.Το χαρακτηριστικό της είναι ότι η τιμή αληθείας της εξαρτάται μόνο από τις τιμές αληθείας των συστατικών προτασιακών μεταβλητών της και όχι από οποιαδήποτε εννοιολογική σχέση υπάρχει μεταξύ τους. >έχει τιμή αληθείας και είναι αληθής. 44

45 ΔΙΠΛΗ ΣΥΝΕΠΑΓΩΓΗ ή ΙΣΟΔΥΝΑΜΙΑ Οι δύο καταστάσεις που περιγράφουν οι συνδεόμενες προτάσεις είναι τέτοιες,ώστε δεν είναι δυνατόν η μία να υφίσταται και η άλλη να μην υφίσταται. 45

46 Πίνακας 12 ΠΡΠΡΠΡ ΑΑΑ ΑΨΨ ΨΑΨ ΨΨΑ 46

47 9.ΠΡΟΤΑΣΙΑΚΟΣ ΤΥΠΟΣ >(1) >(2) >(3) >(4). οι (1) και (2) απλές. Οι (3) και (4) σύνθετες.(χρησιμοποιούμε συνδέσμους) 47

48 ΚΑΙ ΕΝ ΣΥΝΕΧΕΙΑ… (5) > (6) > (7) > (8) > 48

49 Συντακτική αβεβαιότητα; (9) > ή (10) > 49

50 Οπότε … Η προτ. (9) περιγράφει την εξής κατάσταση: Θα κάνω τουλάχιστον ένα από τα ακόλουθα: θα πάω στη βιβλιοθήκη και θα συμβουλευτώ το λεξικό. θα διαβάσω τα αυριανά μαθήματα(πιθανόν όχι στη βιβλιοθήκη,αλλά κάπου αλλού ) Ενώ η προτ.(10) περιγράφει την εξής κατάσταση: Θα κάνω και τα δύο που ακολουθούν θα πάω στη βιβλιοθήκη Ευρισκόμενος στη βιβλιοθήκη θα συμβουλευτώ το λεξικό ή θα διαβάσω τα αυριανά μαθήματα 50

51 Αλλά… Τα δομικά στοιχεία και η διάταξη τους στις προτάσεις (9) και (10) είναι ακριβώς τα ίδια : Απλή προτ.6- σύζευξη – απλή πρότ. 7- διάζευξη-απλή προτ.8 Π  Ρ  Τ (Π  Ρ)  Τ (9) Π  (Ρ  Τ) (10) 51

52 9.ΠΡΟΤΑΣΙΑΚΟΣ ΤΥΠΟΣ Για κάθε προτασιακή γλώσσα δίνουμε γενικούς συντακτικούς κανόνες,οι όποιοι ορίζουν τι θα πει προτασιακός τύπος,άρα αποκλείουν από το σύνολο των προτασιακών τύπων εκφράσεις χωρίς νόημα ή εκφράσεις με νοηματική αμφισημία. 52

53 ΠΡΟΤΑΣΙΑΚΟΣ ΤΥΠΟΣ (1) ΚΑΤΑΣΚΕΥΗ: 1.Προτασιακές μεταβλητές 2.Συνδέσμους 3.Ζεύγη παρενθέσεων 53

54 ΠΡΟΤΑΣΙΑΚΟΣ ΤΥΠΟΣ (2) Κανόνες για το τι είναι τύπος και πώς κατασκευάζεται: 1.Κάθε προτασιακή μεταβλητή είναι τύπος. 2.Αν  1 τύπος τότε και  φ1 τύπος. 3.Αν φ1 και φ2 τύποι τότε και (φ1  φ2), (φ1  φ2),(φ1  φ2) και (φ1  φ2) είναι τύποι. 54

55 ΠΡΟΤΑΣΙΑΚΟΣ ΤΥΠΟΣ (3) Παρατηρήσεις: 1.ο (3) εισάγει παρενθέσεις αλλά μπορούν να πασαλειφθούν αν είναι ακραίο δομικό στοιχείο.π.χ(Π  Ρ) Π  Ρ 2.Δεν περικλείουμε ποτέ με παρενθέσεις μια προτασιακή μεταβλητή ή ένα σύνδεσμο.π.χ (Π) ή (  ). 3.Ο διθέσιος σύνδεσμος συνοδεύεται αναγκαστικά από ζεύγος παρενθέσεων το οποίο προσδιορίζει την εμβέλεια του.π.χ (Π  Ρ)  Τ.Έχω εξαίρεση όταν η εμβέλεια του διθέσιου συνδέσμου περιλαμβάνει ολόκληρο τον τύπο,οπότε τότε ο σύνδεσμος καλείται κύριος. 4.Δεχόμαστε ότι η άρνηση  δρα στον αμέσως δεξιά τύπο και δεν είναι αναγκαίες οι παρενθέσεις.(δηλαδή  Π  Ρ μπορεί να σημαίνει  (Π  Ρ) ή  Π  Ρ και όχι (  Π)  Ρ ) 55

56 10.ΠΙΝΑΚΑΣ ΑΛΗΘΕΙΑΣ ΤΥΠΟΥ Ο τύπος αναπαριστά με συμβολικό τρόπο τη δομή μιας πρότασης. Σε κάθε απλή πρόταση αντιστοιχίζεται μια αληθοτιμή. Σε κάθε σύνθετη πρόταση αντιστοιχίζεται αληθοτιμή από κάθε δυνατό συνδυασμό των αληθοτιμών των απλών προτάσεων. Η Αληθοτιμή μιας πρότασης η οποία προκύπτει από ένα τύπο δεν εξαρτάται από το νοηματικό περιεχόμενο των προτάσεων που την απαρτίζουν αλλά από τις αληθοτιμές αυτών. 56

57 11.ΠΑΡΑΦΡΑΣΗ-ΜΕΤΑΦΡΑΣΗ- ΤΥΠΟΠΟΙΗΣΗ Μετάφραση: Είναι η διαδικασία με την οποία αποδίδουμε τη σημασία λέξεων και προτάσεων εκφρασμένων σε μια γλώσσα με λέξεις και προτάσεις σε μια άλλη γλώσσα. Τυποποίηση:Η μετάφραση από τη φυσική γλώσσα στη συμβολική Παράφραση: Είναι η διαδικασία με την οποία βρίσκουμε μια πρόταση που έχει την ιδία σημασία με την πρόταση που θέλουμε να τυποποιήσουμε αλλά διαφορετική μορφή από αυτή. Η παράφραση έχει ως στόχο,να κάνει φανερά τα δομικά στοιχεία μιας σύνθετης πρότασης για να γίνει πιο εύκολα η τυποποίηση της. 57

58 παραδείγματα (1) > (2) > (3) >  Εντοπίζουμε τους συνδέσμους που υπάρχουν στην προτ.(1) :άρνηση και σύζευξη.  Αναλύουμε την πρόταση (1) σε απλές προτάσεις: (1 α ) > Π (1β) >Ρ  Προσδιορίζουμε την ακτίνα δράσης των συνδέσμων:Η άρνηση δρα στην (1 α ) και η σύζευξη δρα στην (1β).  1 η παράφραση (1΄) >  2 η παράφραση(1΄΄) >  ΤΥΠΟΠΟΙΗΣΗ:  Π  Ρ 58

59 Εν συνεχεία… (2) >  Εντοπίζουμε τους συνδέσμους που υπάρχουν στην προτ.(1) :άρνηση και σύζευξη.  Αναλύουμε την πρόταση (1) σε απλές προτάσεις: (1 α ) > Π (1β) >Ρ  Προσδιορίζουμε την ακτίνα δράσης των συνδέσμων : Η σύζευξη συνδέει την (1 α ) και την (1β) και η άρνηση δρα σε ολόκληρη τη συζευκτική πρόταση.  1η παράφραση :(2΄) >  2 η παράφραση (2΄΄) >  ΤΥΠΟΠΟΙΗΣΗ :  ( Π  Ρ) 59

60 Και τέλος … (3) >  Εντοπίζουμε τους συνδέσμους που υπάρχουν στην προτ.(1) : δυο αρνήσεις και μια σύζευξη.  Αναλύουμε την πρόταση (1) σε απλές προτάσεις: (1 α ) > Π (1β) > Ρ  Προσδιορίζουμε την ακτίνα δράσης των συνδέσμων:Η πρώτη άρνηση δρα στην (1 α ) η 2 η δρα στην (1β) και η σύζευξη συνδέει τις αρνήσεις των (1 α )και (1β).  Παράφραση: (3΄) >  ΤΥΠΟΠΟΙΗΣΗ:  Π  Ρ 60

61 12. Παραδείγματα τυποποίησης. Παράδειγμα 1 ον : (1) >  Απλές προτάσεις: (1 α ) > Π (1β) > Ρ (1γ) > Τ  Παράφραση: (1΄) >.  ΤΥΠΟΠΟΙΗΣΗ: (Π  Ρ)  (Ρ  Τ) 61

62 Κανόνας 1ος Στην περίπτωση που σε μια συνθέτη πρόταση υπάρχουν εκφράσεις ή προτάσεις,οι οποίες εξαρτώνται νοηματικά από άλλες προτάσεις της, τότε σε μια παράφραση της πρέπει να τις αντικαθιστούμε με ταυτόσημες που όμως δεν αντλούν τη σημασία τους από άλλες Δηλαδή:(1) > Η έκφραση χιονίζει εξαρτάται νοηματικά από την (1 α ) >.Προσθέτοντας τη λέξη > κατασκευάζω την (1β) άρα η έκφραση χιονίζει γίνεται ανεξάρτητη. 62

63 Τυποποίησης συνέχεια… Παράδειγμα 2 ο : (2) >  Απλές προτάσεις: (2 α ) > (2β) > (2γ) > (2δ) > 63

64 Κανόνας 2ος Αν σε μία σύνθετη πρόταση υπάρχουν εκφράσεις ή προτάσεις με την ίδια σημασία, σε μία παράφραση της πρέπει να τις αντικαθιστούμε όλες με ισάριθμες εμφανίσεις μιας και μόνο έκφρασης που έχει την ίδια σημασία με αυτές. 64

65 Δηλαδή (2 α ) > Π (2β) > Ρ ΚΑΙ (2γ) >Ρ (2δ) > Π.  Παράφραση: Δεν είναι αληθές το ακόλουθο :ο Κίσσαβος είναι ψηλότερος από τον Όλυμπο ή ο Κίσσαβος είναι ψηλότερος από τον Ταΰγετο.(Και ).Αν ο Κίσσαβος είναι ψηλότερος από τον Ταΰγετο,τότε ο Κίσσαβος δεν ψηλότερος από τον Όλυμπο.  Τυποποίηση:  (Π  Ρ)  ( Ρ  Π) 65

66 13.Ταυτολογία -Αντίφαση Κάθε τύπος, στον οποίο αντιστοιχεί η αληθοτιμή Α για κάθε δυνατό συνδυασμό που αντιστοιχούν στις προτασιακές μεταβλητές που τον συγκροτούν καλείται ταυτολογία. Κάθε τύπος, στον οποίο αντιστοιχεί η αληθοτιμή Ψ για κάθε δυνατό συνδυασμό που αντιστοιχούν στις προτασιακές μεταβλητές που τον συγκροτούν καλείται αντίφαση. Κάθε τύπος που δεν ταυτολογία ή αντίφαση καλείται ενδεχόμενος. 66

67 Πίνακας 18 1.Νόμος διπλής άρνησης  (  Π)  Π 2 νόμος αντιφάσεως  (Π  Π) 3.Νόμος συμπληρώματος ή αποκλείσεις του τρίτου Π  Π 4. Νόμος αντιμεταθετικότητας σύζευξης(Π  Ρ)  (Ρ  Π) 5.νόμος De Morgan για τη σύζευξη  (Π  Ρ)  (  Π  Ρ) 6. Νόμος De Morgan για τη διάζευξη  (Π  Ρ)  (  Π  Ρ) 7.Νόμος αντικαταστάσεως συνεπαγωγής(Π  Ρ)  (  Π  Ρ) 8. Νόμος αντιθετόαντιστροφής(Π  Ρ)  (  Ρ  Π) 67

68 Σημαντική Παρατήρηση  Οι ταυτολογίες είναι τρόποι οργάνωσης της προϋπάρχουσας γνώσης.  Δεν μας δίνουν πληροφορίες ή γνώση για τον κόσμο γιατί είναι πάντα αληθείς.  >  Η αλήθεια αυτή δεν μας δίνει καμιά πληροφορία για το γίνεται στο πορτοφόλι μας για να το καταλάβουμε πρέπει να το ανοίξουμε.  Δυο τύποι φ και χ θα λέγονται λογικά ισοδύναμοι όταν και μόνον όταν ο τύπος φ  χ είναι ταυτολογία. 68

69 14.ΕΠΙΧΕΙΡΗΜΑ Η πρόσληψη της γνώσης γίνεται μέσω της εμπειρίας ( περιορισμένη) ή μέσω νοητικών διεργασιών. Παράδειγμα σελ.83 Συλλογισμός,είναι μια νοητική διαδικασία με βάση την οποία,ξεκινώντας από μια ομάδα γνωσιακών δεδομένων που εκφράζονται με μορφή προτάσεων,καταλήγουμε σε ένα νέο γνωσιακό στοιχείο που επίσης εκφράζεται με μορφή πρότασης. Τα δεδομένα καλούνται υποθέσεις ή προκείμενες και η πρόταση στην οποία καταλήγουμε συμπέρασμα. 69

70 ΚΑΙ Επιχείρημα : Το σύνολο των προτάσεων που εμφανίζονται σε ένα συλλογισμό ( υποθέσεις και συμπεράσματα) Το επιχείρημα είναι,ο τρόπος με τον οποίο εμφανίζεται σε επίπεδο λόγου ένας συλλογισμός. 70

71 παραδείγματα Αν η θερμάστρα λειτουργεί τότε το δωμάτιο είναι ζεστό. Η θερμάστρα λειτουργεί Άρα το δωμάτιο είναι ζεστό Αν έχει δύσει ο ήλιος, τότε έχει ανάψει ο προβολέας Έχει δύσει ο ήλιος. Άρα έχει ανάψει ο προβολέας 71

72 ΠΡΠΡΠΡΠΡ 72

73 15.ΕΓΚΥΡΟ ΕΠΙΧΕΙΡΗΜΑ 73

74 Πίνακας υπόθεση Συμπερ. ΠΡ ΠΡΠΡ ΠΡ 1ΑΑΑΑΑ 2ΑΨΨΑΨ 3ΨΑΑΨΑ 4ΨΨΑΨΨ 74

75 Πίνακας 20  Υποθέσεις Αληθείς τότε το συμπέρασμα Αληθές  Ένα σχήμα επιχειρήματος καλείται έγκυρο όταν δεν υπάρχει περίπτωση κατά την οποία κάθε μια από τις υποθέσεις να έχει αληθοτιμή Α και το συμπέρασμα να έχει Ψ 75

76 Παράδειγμα 2 Αν ο διακόπτης είναι ανοιχτός τότε ο φούρνος θερμαίνεται. Π  Ρ Ο διακόπτης είναι ανοιχτός Ρ Άρα ο φούρνος θερμαίνεται Π 76

77 Πίνακας Υπόθεση. Συμπερ. ΠΡ ΠΡΠΡ ΡΠ 1ΑΑΑΑΑ 2ΑΨΨΨΑ 3ΨΑΑΑΨ 4ΨΨΑΨΨ 77

78 Πίνακας 21 Ένας συνδυασμός αληθοτιμών των προτασιακών μεταβλητών που εμφανίζονται σε ένα σχήμα επιχειρήματος τέτοιος ώστε όλες οι υποθέσεις να έχουν αληθοτιμή Α και το συμπέρασμα αληθοτιμή Ψ ονομάζεται αντιπαράδειγμα. Ένα σχήμα επιχειρήματος είναι έγκυρό όταν και μόνον όταν δεν έχει κανένα αντιπαράδειγμα.Ένα σχήμα επιχειρήματος είναι μη έγκυρο όταν και μόνον έχει ένα τουλάχιστον αντιπαράδειγμα. 78

79 Κανόνες 1.Modus Ponens Π  Ρ Π Ρ 2.Modus Tollens Π  Ρ  Ρ  Π 79

80 3.Υποθετικός Συλλογισμός Π  Ρ Ρ  Τ Π  Τ 4.Διαζευκτικός Συλλογισμός Π  Ρ  Π Ρ 80

81 ΘΕΩΡΗΜΑ Ένα σχήμα επιχειρήματος είναι έγκυρο αν και μόνον αν η συνεπαγωγή που έχει σαν ηγούμενο όρο τη σύζευξη των υποθέσεων του και επόμενο όρο το συμπέρασμα του είναι ταυτολογία Ταυτολογία: φ  χ,όπου φ η σύζευξη των υποθέσεων και χ συμπέρασμα ( φ και χ είναι τύποι ) 81


Κατέβασμα ppt "ΚΕΦΑΛΑΙΟ ΙΙ ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗ1 1. ΠΕΡΙΛΗΨΗ Κύριος σκοπός : Η μελέτη μέσω μιας γλώσσας της λογικής των προτάσεων. Μέθοδος: Εισαγωγή συμβόλων μετατρέποντας."

Παρόμοιες παρουσιάσεις


Διαφημίσεις Google