Παραγωγικός συλλογισμός: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας |
μΧωρίς σύνοψη επεξεργασίας |
||
Γραμμή 1: | Γραμμή 1: | ||
{{πηγές|16|06|2012}} |
{{πηγές|16|06|2012}} |
||
'''Παραγωγικός συλλογισμός''' (ή '''παραγωγική λογική''') ονομάζεται η [[συλλογισμός|συλλογιστική]] διαδικασία κατά την οποία ένα λογικά ασφαλές συμπέρασμα προκύπτει από μια ή περισσότερες προτάσεις ('''προκείμενες'''). Κατά συνέπεια, το συμπέρασμα αποτελεί υποπερίπτωση ή εξειδίκευση μιας αρχικής θέσης που τίθεται ως γενικός κανόνας. Θεωρείται ο πιο σημαντικός και ασφαλής τρόπος επιχειρηματολογίας, καθώς είναι σχετικά εύκολο να ελεγχθεί η εγκυρότητα και η ορθότητά του. |
'''Παραγωγικός συλλογισμός''' (ή '''παραγωγική λογική''') ονομάζεται η [[συλλογισμός|συλλογιστική]] διαδικασία κατά την οποία ένα λογικά ασφαλές συμπέρασμα προκύπτει από μια ή περισσότερες προτάσεις ('''προκείμενες'''). Κατά συνέπεια, το συμπέρασμα αποτελεί υποπερίπτωση ή εξειδίκευση μιας αρχικής θέσης που τίθεται ως γενικός κανόνας. Θεωρείται ο πιο σημαντικός και ασφαλής τρόπος επιχειρηματολογίας, καθώς είναι σχετικά εύκολο να ελεγχθεί η εγκυρότητα και η ορθότητά του. <blockquote>Γενική μορφή:</blockquote>Για κάθε Α ισχύει Β. |
||
Γενική μορφή: |
|||
Για κάθε Α ισχύει Β. |
|||
Το Γ είναι Α. |
Το Γ είναι Α. |
Έκδοση από την 18:52, 29 Μαΐου 2020
Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. |
Παραγωγικός συλλογισμός (ή παραγωγική λογική) ονομάζεται η συλλογιστική διαδικασία κατά την οποία ένα λογικά ασφαλές συμπέρασμα προκύπτει από μια ή περισσότερες προτάσεις (προκείμενες). Κατά συνέπεια, το συμπέρασμα αποτελεί υποπερίπτωση ή εξειδίκευση μιας αρχικής θέσης που τίθεται ως γενικός κανόνας. Θεωρείται ο πιο σημαντικός και ασφαλής τρόπος επιχειρηματολογίας, καθώς είναι σχετικά εύκολο να ελεγχθεί η εγκυρότητα και η ορθότητά του.
Γενική μορφή:
Για κάθε Α ισχύει Β.
Το Γ είναι Α.
Άρα, για το Γ, ισχύει Β.
Κατά κανόνα η υπόθεση είναι πιο ισχυρή από το συμπέρασμα. Οι παραγωγικοί συλλογισμοί μπορεί να είναι πολύ στοιχειώδεις και να αποτελούν μέρος αποδεικτικών μεθόδων.
|