Παραγωγικός συλλογισμός: Διαφορά μεταξύ των αναθεωρήσεων

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας
Χωρίς σύνοψη επεξεργασίας
Γραμμή 6: Γραμμή 6:
Για κάθε Α ισχύει Β.
Για κάθε Α ισχύει Β.
Το Γ είναι Α.
Το Γ είναι Α.
Άρα, για το Γ, ισχύει Β.
Άρα, για το Γ, ισχύει Β.https://www.wikiwand.com/el/%CE%A0%CE%B1%CF%81%CE%B1%CE%B3%CF%89%CE%B3%CE%B9%CE%BA%CF%8C%CF%82_%CF%83%CF%85%CE%BB%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CF%8C%CF%82


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

Έκδοση από την 18:58, 29 Μαΐου 2020

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

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

Για κάθε Α ισχύει Β. Το Γ είναι Α. Άρα, για το Γ, ισχύει Β.

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