Μια προϋπόθεση είναι μια δήλωση που υποστηρίζει ένα συμπέρασμα σε ένα επιχείρημα. Είναι ένας λόγος για να πιστέψουμε κάτι. Σε έναν συλλογισμό, οι προϋποθέσεις είναι οι δύο δηλώσεις που οδηγούν στο συμπέρασμα. Όλοι οι άνθρωποι είναι θνητοί. Ο Σωκράτης είναι άνθρωπος. Επομένως, ο Σωκράτης είναι θνητός. Οι δύο πρώτες δηλώσεις είναι προϋποθέσεις. Η τρίτη είναι το συμπέρασμα. Οι προϋποθέσεις μπορεί να είναι αληθείς ή ψευδείς. Μπορούν να υποστηριχθούν από άλλα επιχειρήματα ή να γίνουν αποδεκτές ως σημεία εκκίνησης. Σε ένα έγκυρο επιχείρημα, εάν οι προϋποθέσεις είναι αληθείς, το συμπέρασμα πρέπει να είναι αληθές. Σε ένα ορθό επιχείρημα, οι προϋποθέσεις είναι αληθείς και η μορφή είναι έγκυρη.

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

Τύποι χώρων

• Major. Η ευρύτερη δήλωση σε έναν συλλογισμό.
• Minor. Η πιο συγκεκριμένη δήλωση.
• Έμμεσο. Χωρίς δήλωση αλλά υποτιθέμενο.
• Εμπειρικό. Βασισμένο σε παρατήρηση.
• Εννοιολογικό. Βασισμένο σε ορισμούς ή λογική.

Μια προϋπόθεση δεν είναι το ίδιο με μια υπόθεση, αν και τα δύο αλληλεπικαλύπτονται. Μια υπόθεση είναι κάτι που θεωρείται δεδομένο. Μια προϋπόθεση προσφέρεται ως λόγος.