Φιλοσοφία της Λογικής

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