classical logic
[ˈklæsɪkəl ˈlɒdʒɪk]
noun
lógica clássica
1. The traditional system of logic based on the law of non-contradiction and the law of excluded middle, where a proposition is either true or false with no middle ground
Classical logic is the foundation of most mathematical proofs and philosophical arguments.
A lógica clássica é a base da maioria das demonstrações matemáticas e argumentos filosóficos.
2. A formal logical system that uses the principles of Aristotelian logic, including the rules of inference such as modus ponens and modus tollens
In classical logic, if all men are mortal and Socrates is a man, then Socrates must be mortal.
Na lógica clássica, se todos os homens são mortais e Sócrates é um homem, então Sócrates deve ser mortal.
3. Logic that rejects fuzzy truth values and operates exclusively within a binary true/false framework
Classical logic differs from fuzzy logic, which allows for degrees of truth.
A lógica clássica difere da lógica fuzzy, que permite graus de verdade.
Classical logic is fundamental to Western philosophical and mathematical tradition, originating from Aristotle. In both Brazil and Portugal, it remains the primary logical system taught in universities and is considered the standard framework for formal reasoning in academic discourse. The term is highly specialized and used primarily in philosophy, mathematics, computer science, and related academic fields.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →