Παραγωγικός συλλογισμός

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

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

Γενική μορφή:

Για κάθε Α ισχύει Β.

Το Γ είναι Α.

Άρα, για το Γ, ισχύει Β.

Κατά κανόνα η υπόθεση είναι πιο ισχυρή από το συμπέρασμα. Οι παραγωγικοί συλλογισμοί μπορεί να είναι πολύ στοιχειώδεις και να αποτελούν μέρος αποδεικτικών μεθόδων.