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