Παρουσίαση/Προβολή

Περιεχόμενο Μαθήματος

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

Συμπληρωματικά Στοιχεία

Με την ολοκλήρωση του εργαστηρίου και σταδιακά ανά εβδομάδα οι φοιτητές/τριες  θα είναι ικανοί/ές να:

• συγκρίνουν λογικές μορφές επιχειρημάτων ως προς την εγκυρότητά τους.
• τυποποιούν προτάσεις της φυσικής γλώσσας (σε προτασιακή και πρωτοβάθμια γλώσσα).
• κατασκευάζουν πίνακες αληθείας και συζυγή δενδροδιαγράμματα.
• διαπιστώνουν βασικές ιδιότητες και σχέσεις προτασιακών τύπων με την χρήση πινάκων αληθείας και της μεθόδου των δενδροδιαγραμμάτων.
• αποφασίζουν αν ένα επιχείρημα είναι έγκυρο και αν ένα σύνολο προτασιακών τύπων είναι συνεπές με χρήση των παραπάνω μεθόδων.
• αξιοποιούν σε ασκήσεις τις έννοιες της ορθότητας και της πληρότητας.
• αποδεικνύουν δενδροδιαγραμματικά τη λογική συνέπεια συνόλων, προτάσεων και τη λογική εγκυρότητα επιχειρημάτων.
• ερμηνεύουν τύπους μιας πρωτοβάθμιας γλώσσας.
• συσχετίζουν μεταξύ τους τις έννοιες της ερμηνείας, της ικανοποιησιμότητας, της αλήθειας.

Τρόποι αξιολόγησης / εξέτασης

Εκπαιδευτικές μέθοδοι: εμπλουτισμένη εισήγηση, εργασία σε ομάδες, brainstorming, επίλυση προβλήματος, ασκήσεις ανακάλυψης - ασκήσεις εφαρμογής - ασκήσεις (αυτο)αξιολόγησης. Εκπαιδευτικά μέσα/υλικά: σελίδα του εργαστηρίου στην πλατφόρμα ασύγχρονης τηλεκπαίδευσης eclass, συνοδευτικό έντυπο υλικό.

Γραπτές εβδομαδιαίες ασκήσεις.