τυπική λογική

Νέα ελληνικά (el)

Ετυμολογία

τυπική λογική < → δείτε τις λέξεις τυπικός και λογική

Πολυλεκτικός όρος

τυπική λογική ή αλλιώς μαθηματική λογική ή συμβολική λογική

• (λογική, μαθηματικά) η σύγχρονη λογική, η οποία θεμελιώθηκε από τους Αύγουστο ντε Μόργκαν (Augustus De Morgan) και Τζωρτζ Μπουλ (George Boole) στα τέλη του 19ου αιώνα

  Στην ανάπτυξη της τυπικής λογικής συνέβαλαν οι εξής τρεις σχολές: αλγεβρική, λογικιστική και φορμαλιστική.

Δείτε επίσης

• Μαθηματική λογική στη Βικιπαίδεια 

Μεταφράσεις

    τυπική λογική

αγγλικά : formal logic (en)