Λογική: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
|||
Γραμμή 213:
Σε ένα τυπικό παραγωγικό (ή απαγωγικό) επιχείρημα, οι προκείμενες χρησιμοποιούνται για να δώσουν εγγύηση από την αλήθεια του συμπεράσματος, ενώ σε ένα επαγωγικό επιχείρημα, θεωρούνται ότι δίνουν τους λόγους που αιτιολογούν (συνηγορούν) τη πιθανή αλήθεια του συμπεράσματος. Τα πρότυπα για την αξιλόγηση των μη παραγωγικών επιχειρημάτων μπορούν να σε διαφορετικά ή πρόσθετα κριτήρια από την αλήθεια, για παράδειγμα, η πειστικότητα των λεγόμενων "αναγκαίων ισχυρισμών" σε υπερβατικά επιχειρήματα, η ποιότητα των υποθέσεων στον υποθετικό-παραγωγικό συλλογισμό (retroduction), ή ακόμη και η γνωστοποίηση νέων δυνατοτήτων στη σκέψη και δράση.
Τα πρότυπα και τα κριτήρια που χρησιμοποιούνται στην αξιολόγηση των επιχειρημάτων και των μορφών του συλλογισμού τους μελετήθηκαν στη λογική. Ακόμη, έχουν μελετηθεί αποτελεσματικοί τρόποι διατύπωσης επιχειρημάτων ([[θεωρία επιχειρηματολογίας|θεωρία επιχειρημάτων]]). Ένα επιχείρημα σε μια [[τυπική γλώσσα]] δείχνει τη λογική μορφή του [[συμβολική γλώσσα|συμβολικά αναπαριστανόμενου]] ή [[φυσική γλώσσα|φυσικής γλώσσας]] επιχειρήματος που λαμβάνεται βάση τις ερμηνείες του.
=== Μαθηματική λογική ===
| |||