formal logic

a) Mathematical logic.
b) A particular logical calculus.

Wikipedia foundation.

Look at other dictionaries:

  • formal logic — n. the branch of logic that examines patterns of reasoning to determine which ones necessarily result in valid, or formally correct, conclusions …   English World dictionary

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • formal logic — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f …   Automatikos terminų žodynas

  • formal logic — noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (Freq. 1) • Syn: ↑symbolic logic, ↑mathematical logic • Hypernyms: ↑logic, ↑logical system,… …   Useful english dictionary

  • formal logic — /fɔməl ˈlɒdʒɪk/ (say fawmuhl lojik) noun the branch of logic concerned exclusively with the principles of deductive reasoning and in consequence with the forms (as distinct from the content) of propositions …   Australian English dictionary

  • Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic     Logic      …   Catholic encyclopedia

  • Formal epistemology — is a subdiscipline of epistemology that utilizes formal methods from logic, probability theory and computability theory to elucidate traditional epistemic problems. TopicsSome of the topics that come under the heading of formal epistemology… …   Wikipedia

  • Formal ethics — is a formal logical system for describing and evaluating the form as opposed to the content of ethical principles. Formal ethics was introduced by Harry J. Gensler, in part in his 1990 logic textbook Symbolic Logic: Classical and Advanced Systems …   Wikipedia

  • Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… …   Wikipedia

  • logic — log•ic [[t]ˈlɒdʒ ɪk[/t]] n. 1) pho the science that investigates the principles governing correct or reliable inference 2) pho symbolic logic 3) a particular method of reasoning or argumentation 4) the system or principles of reasoning applicable …   From formal English to slang

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.