Λογική: η δομή του επιχειρήματος
Κυκλοφορεί
ISBN: 978-960-211-834-4
Νεφέλη, Αθήνα, 4/2007
1η έκδ., Ελληνική, Νέα
€ 22.83 (περ. ΦΠΑ 6%)
Βιβλίο, Χαρτόδετο
24 x 17 εκ, 624 γρ, 292 σελ.
Περιγραφή

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


[Απόσπασμα από το κείμενο στο οπισθόφυλλο της έκδοσης]

ΠΡΟΛΟΓΟΣ
1. Γενική εισαγωγή στην έννοια του επιχειρήματος
Βασικές έννοιες
Η έννοια του επιχειρήματος
Πώς διακρίνουμε ότι μια ακολουθία προτάσεων αποτελεί επιχείρημα;
Γιατί μας ενδιαφέρει η σπουδή των επιχειρημάτων;
Παραγωγικά επιχειρήματα και εγκυρότητα
Τυποποίηση των προτάσεων της φυσικής γλώσσας
Η έννοια της πρότασης
Λογική και αλήθεια
Λογικές πλάνες
Η έννοια του αντιπαραδείγματος
Πειστικά επιχειρήματα
Ασκήσεις 1
ΜΕΡΟΣ Ι
ΠΡΟΤΑΣΙΑΚΟΣ ΛΟΓΙΣΜΟΣ: Η αληθοσυναρτησιακή Λογική
2. Προτασιακή σύνταξη
Δηλωτικές προτάσεις
Συμβολισμός και δομή της γλώσσας του Προτασιακού Λογισμού
Κανόνες σχηματισμού προτασιακών τύπων
Οι λογικοί σύνδεσμοι και η σχέση τους με τη φυσική γλώσσα
Τυποποίηση: μετάφραση προτάσεων στη Γ
Ασκήσεις 2
3. Προτασιακή σημασιολογία
Η αληθοσυναρτησιακή ιδιότητα των προτασιακών τύπων της Γ
Πίνακες αληθείας
Συζυγή δενδροδιαγράμματα ή ταμπλό
Ασκήσεις 3
4. Ιδιότητες και σχέσεις των προτασιακών τύπων
Ταυτολογίες
Αντιφάσεις ή λογικά ψευδείς προτασιακοί τύποι
Ενδεχομενικοί προτασιακοί τύποι και ενδεχομενικές προτάσεις
Αληθοσυναρτησιακή ισοδυναμία
Η εκτασιακότητα της Λογικής
Αληθοσυναρτησιακά αντιφατικοί προτασιακοί τύποι και αντιφατικές προτάσεις
Οι Βασικοί νόμοι της Λογικής
Η μέθοδος των δενδροδιαγραμμάτων
Η διαπίστωση αν ένας προτασιακός τύπος είναι αντίφαση ή όχι
Η διαπίστωση αν ένας προτασιακός τύπος είναι ταυτολογία ή όχι
Η διαπίστωση αν δύο προτασιακοί τύποι είναι ισοδύναμοι ή όχι
Ασκήσεις 4
5. Οι βασικές έννοιες της λογικής
Η έννοια της αληθοσυναρτησιακής συνέπειας
Η έννοια της αληθοσυναρτησιακής εγκυρότητας
Διαδικασίες απόφανσης αληθοσυναρτησιακής εγκυρότητας ή ακυρότητας
Η μέθοδος των πινάκων αληθείας
Η μέθοδος της έλλειψης αντιπαραδείγματος
Η μέθοδος των δενδροδιαγραμμάτων
Εκτασιακότητα και αληθοσυναρτησιακή εγκυρότητα
Σχέση συνέπειας και εγκυρότητας
Βασικά έγκυρα επιχειρηματικά σχήματα και λογικές πλάνες
Η έννοια του αληθοσυναρτησιακού επακόλουθου
Δενδροδιαγραμματική παραγωγιμότητα, ορθότητα και πληρότητα
Ασκήσεις 5
6. Προτοσιακές γλώσσες
Γλώσσα και μεταγλώσσα
Η αρχή της επαγωγής στους άμεσα προηγηθέντες προτασιακούς τύπους
Διαζευκτική κανονική μορφή
Η Αρχή της Διττότητας
Λιγότεροι σύνδεσμοι και επάρκεια συνόλων λογικών συνδέσμων
Ασκήσεις 6
ΜΕΡΟΣ II
ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Η πρωτοβάθμια Λογική
7. Εισαγωγή
8. Μεταβλητές κατηγορήματα και ποσοδείκτες
Ασκήσεις 8
9. Τυποποίηση της φυσικής γλώσσας
Η μορφή «Όλα τα Α είναι Β»
Η μορφή «Μερικά Α είναι Β»
Η μορφή «Ουδέν Α είναι Β»
Περιπλοκότερες μορφές προτάσεων
Τυποποιήσεις γραμματικών τροποποιήσεων ουσιαστικών και ρημάτων
Τυποποίηση του χρόνου στις προτάσεις
Ασκήσεις 9
10. Πρωτοβάθμιες γλώσσες: Συντακτικό
Κανόνες σχηματισμού τύπων μιας πρωτοβάθμιας γλώσσας