formal logic


Also found in: Dictionary, Thesaurus, Medical, Legal, Wikipedia.
Related to formal logic: symbolic logic

formal logic

[¦fȯr·məl ′läj·ik]
(mathematics)
The study of the permissible relationships between propositions, a study that concerns the form rather than the content.
References in periodicals archive ?
But Kant points out that if we in this way consider formal logic to be not only a guideline (Kanon) of thinking in general, but immediately the organon of knowledge, we end up either in a collection of mere tautologies (as in Wolff) or in unresolved contradictions.
The condition of principles in "theoretical" formal logic
An adequate appreciation of the world-time parallel demands the resources of formal logic.
Western dialectical thinking is primarily based on Aristotelian formal logic (Peng & Nisbett, 1999).
Forty years later and not quite as new, formal logic then came under the philosophical scrutiny of a young Austrian by the name of Ludwig Wittgenstein, in the 1921 Logisch-philosophische Abhandlung or Tractatus Logicophilosophicus, a text that indelibly inserted logical analysis into the philosophical culture of Modernism.
By 16, they could have an understanding of formal logic previously covered only in university courses and be writing their own apps for smartphones," he added.
He put a great deal of emphasis on the non-verbal aspects of communication, especially through a series of exercises that made use of formal logic, reflexiveness, and language(s).
Topics covered include introduction to formal concept analysis, formal logic with conceptual graphs, software tools for formal concept analysis, efficient computation with conceptual graphs, conceptual graphs for representing conceptual structures, formal concept analysis and contextual logic, linguistic data exploration, ontology learning using corpus-derived formal contexts, a lexico-logical approach to ontology engineering, faceted web document navigation, optimizing social software system design, semantic annotations and localization of resources, and active knowledge systems.
The theme of the book is that Frege is the founder of analytic philosophy on the basis of his development of formal logic and foundations of arithmetic.
The qualification problem is tightly correlated with the if-then-else structure used in procedural programming and formal logic.
Our recent experience indicates this may be so: our 12th grader brilliantly completed Traditional Logic, Book II: Advanced Formal Logic, by Martin Cothran, a continuation of Memoria Press' Traditional Logic Book L It covers the four figures of the traditional syllogism, the three forms of rhetorical arguments (called enthymemes), the three kinds of hypothetical syllogisms, the four kinds of complex syllogisms, as well as relational arguments.

Full browser ?