ΛΟΓΙΚΗ
Ενότητες
Επιχείρημα (Argument)
Τι είναι επιχείρημα; Mορφή ή δομή επιχειρήματος. Σχέση προκειμένων-συμπεράσματος.
Παραγωγικά επιχειρήματα. Επαγωγικά επιχειρήματα.
Η έννοια της Λογικής Εγκυρότητας ως θεμελιώδης έννοια της Λογικής.
Τι είναι ορθό επιχείρημα;
Λογικές πλάνες. Αντιπαραδείγματα.
Μελέτη μεγάλου αριθμού παραδειγμάτων.
Διατύπωση επιχειρημάτων στην τυπική γλώσσα της Προτασιακής ή
της Κατηγορηματικής Λογικής και τυπικός έλεγχος της Λογικής εγκυρότητας.
What is an argument? The form or structure of an argument
Deductive arguments. Inductive arguments.
The notion of Logical Validity. What is a sound argument?
Logical fallacies
Examples
Formal methods - How to find out whether an argument is logically valid?