Λογική: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Anesiadk (συζήτηση | συνεισφορές)
Anesiadk (συζήτηση | συνεισφορές)
Γραμμή 29:
Δεύτερον, ορισμένα τμήματα της πρότασης θα πρέπει να αντικαθίστανται με σχηματικά γράμματα. Έτσι, για παράδειγμα, η έκφραση ''όλα τα Α είναι Β'' δείχνει τη λογική μορφή που είναι κοινή με τις προτάσεις ''όλοι οι άνθρωποι είναι θνητοί'', ''όλες οι γάτες είναι σαρκοφάγες'', ''όλοι οι Έλληνες είναι φιλόσοφοι'' και ούτω καθεξής.
 
H έννοια της μορφής (concept of forms), θεμελιώδης στη λογική, ήταν ήδη αναγνωρισμένη στην αρχαιότητα. Ο Αριστοτέλης χρησιμοποιούσε μεταβλητά γράμματα να παριστάνουν έγκυρα συμπεράσματα στα ''Αναλυτικά Πρότερα'' έτσι ώστε ο [[Τζαν Λουκάσιεβιτς]] να πει ότι η εισαγωγή των μεταβλητών ήταν «μία από τις μεγαλύτερες εφευρέσεις του Αριστοτέλη». Σύμφωνα με τους ακόλουθους του Αριστοτέλη (όπως ο Αμμώνιος), μόνο οι αρχές της λογικής που αναφέρονται σε σχηματικούς όρους (schematic terms) ανήκουν στη λογική και όχι εκείνες που δίδονται με συγκεκριμένους όρους. Όροι όπως «άνθρωπος»,«θνητός» κτλ είναι ανάλογοι με αντικαταστάσιμες τιμές στους σχηματικούς όρους 'Α','Β','Γ', οι οποίοι αποκαλούνται η "ύλη" του συμπεράσματος.
 
Η ουσιαστική διαφορά μεταξύ της μοντέρνας τυπικής λογικής και της παραδοσιακής, ή αλλιώς αριστοτελικής λογικής, βρίσκεται στη διαφορετική ανάλυση της λογικής μορφής των προτάσεων που εξετάζουν.
Ανακτήθηκε από "https://el.wikipedia.org/wiki/Λογική"