Πρόταση
Η πρόταση είναι όρος της φιλοσοφίας και της λογικής. Είναι μια δήλωση που έχει τιμή αλήθειας, δηλαδή μπορεί να αποδειχθεί ότι είναι αληθής ή ψευδής. Για να είναι έγκυρη μια πρόταση, πρέπει να είναι δυνατόν να αποδειχθεί ότι η πρόταση είναι είτε αληθής είτε ψευδής. Πολλοί καθηγητές και σπουδαστές της λογικής χρησιμοποιούν τον όρο δήλωση και πρόταση για να εννοήσουν το ίδιο πράγμα.
Η ίδια πρόταση μπορεί να εκφραστεί με πολλούς τρόπους. Οι προτάσεις αφορούν μόνο το πραγματικό νόημα, όχι τον τρόπο έκφρασης της πρότασης. Οι προτάσεις μπορεί να φαίνονται διαφορετικές, αλλά να σημαίνουν το ίδιο πράγμα. Όταν δύο διαφορετικές προτάσεις σημαίνουν το ίδιο πράγμα, λέγεται ότι είναι συνώνυμες, δηλαδή κάθε πρόταση έχει το ίδιο νόημα.
Για παράδειγμα, το "Snow is white" (στα αγγλικά) και το "Schnee ist weiß" (στα γερμανικά) είναι διαφορετικές προτάσεις επειδή είναι γραμμένες σε διαφορετικές γλώσσες. Ωστόσο, σημαίνουν ακριβώς το ίδιο πράγμα: το χιόνι είναι λευκό. Ανεξάρτητα από τη γλώσσα στην οποία είναι γραμμένη η πρόταση, θα σημαίνει το ίδιο πράγμα. Κατά συνέπεια, οι δηλώσεις αυτές είναι συνώνυμες.
Στην αριστοτελική λογική, μια πρόταση είναι ένα συγκεκριμένο είδος πρότασης που επιβεβαιώνει ή αρνείται ότι μια πράξη ή ένα κατηγόρημα έλαβε χώρα μέσω ενός υποκειμένου. Οι αριστοτελικές προτάσεις παίρνουν μορφές όπως "Όλοι οι άνθρωποι είναι θνητοί" και "Ο Σωκράτης είναι άνθρωπος". Σε κάθε πρόταση, το υποκείμενο (άνθρωποι, Σωκράτης) έχει μια κατάσταση (είναι θνητοί, είναι άνθρωπος) η οποία μπορεί να αποδειχθεί αληθής ή ψευδής.
Κατά τον λογικό θετικισμό, μια πρόταση της οποίας η αξία αλήθειας δεν μπορεί να αποφασιστεί, δεν έχει νόημα. Για παράδειγμα, οι δηλώσεις σχετικά με την ύπαρξη θεοτήτων δεν μπορούν να αποδειχθούν σύμφωνα με τον λογικό θετικισμό. Επειδή οι δηλώσεις δεν έχουν καμία τιμή αλήθειας, ένας λογικός θετικιστής θα θεωρούσε ότι οι προτάσεις για τις θεότητες (όπως "ο Θεός υπάρχει" ή "ο Θεός δεν υπάρχει") δεν έχουν λογικό νόημα.
Ερωτήσεις και απαντήσεις
Ερ: Τι είναι η πρόταση;
A: Μια πρόταση είναι μια δήλωση που έχει τιμή αλήθειας, δηλαδή μπορεί να αποδειχθεί ότι είναι αληθής ή ψευδής. Πρέπει να είναι δυνατόν να αποδειχθεί ότι η πρόταση είναι είτε αληθής είτε ψευδής για να είναι έγκυρη.
Ε: Πώς αναπαρίστανται οι προτάσεις;
Α: Οι προτάσεις αναπαρίστανται συχνά με κεφαλαία γράμματα, όπως P, Q και R.
Ερ: Μπορούν δύο διαφορετικές προτάσεις να σημαίνουν το ίδιο πράγμα;
Α: Ναι, όταν δύο διαφορετικές προτάσεις σημαίνουν το ίδιο πράγμα λέγεται ότι είναι συνώνυμες. Για παράδειγμα, το "Το χιόνι είναι λευκό" (στα αγγλικά) και το "Schnee ist weiß" (στα γερμανικά) έχουν το ίδιο νόημα παρόλο που είναι γραμμένα σε διαφορετικές γλώσσες.
Ερ: Τι είδους πρόταση χρησιμοποιεί η αριστοτελική λογική για μια πρόταση;
Α: Στην αριστοτελική λογική, μια πρόταση είναι ένα συγκεκριμένο είδος πρότασης που επιβεβαιώνει ή αρνείται ότι μια πράξη ή ένα κατηγόρημα έλαβε χώρα μέσω ενός υποκειμένου. Παραδείγματα είναι τα εξής: "Όλοι οι άνθρωποι είναι θνητοί" και "Ο Σωκράτης είναι άνθρωπος".
Ερ: Τι λέει ο λογικός θετικισμός για τις προτάσεις των οποίων η αξία αλήθειας δεν μπορεί να αποφασιστεί;
Α: Ο λογικός θετικισμός δηλώνει ότι οι προτάσεις των οποίων η τιμή αλήθειας δεν είναι δυνατόν να αποφασιστεί είναι χωρίς νόημα. Για παράδειγμα, οι δηλώσεις σχετικά με την ύπαρξη θεοτήτων δεν μπορούν να αποδειχθούν σύμφωνα με τον λογικό θετικισμό, οπότε οι δηλώσεις αυτές δεν θα είχαν λογικό νόημα σύμφωνα με αυτή τη θεωρία.
