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

Η [[ενορατική λογική]] προτάθηκε από τον L. E. J. Brouwer ως η σωστή λογική για τη συλλογιστική στα μαθηματικά, με βάση την απόρριψη του νόμου της αποκλεισμένης μέσης, ως τμήμα του ενορατισμού. Ο Brouwer απέρριψε την τυποποίηση των μαθηματικών, ο μαθητής του Arend Heyting όμως μελέτησε την ενορατική λογική ως τυπική, όπως έκανε και ο Gerhard Gentzen. Η ενορατική λογική προσελκύει μεγάλο ενδιαφέρον στους επιστήμονες πληροφορικής, καθώς είναι μια εποικοδομητική λογική και μπορεί να εφαρμοστεί για την εξαγωγή προγραμμάτων που επαληθεύονται από αποδείξεις.

 

 

=== "Είναι η λογική εμπειρική;" ===