Skip to main content

Search from vocabulary

Content language

Concept information

Preferred term

logic  

Type

  • Domain

usage labels

Definition

Scope note

  • Information Logic is the study of correct reasoning or good arguments. It is often defined in a more narrow sense as the science of deductively valid inferences or of logical truths. In this sense, it is equivalent to formal logic and constitutes a formal science investigating how conclusions follow from premises in a topic-neutral way or which propositions are true only in virtue of the logical vocabulary they contain. When used as a countable noun, the term "a logic" refers to a logical formal system. Formal logic contrasts with informal logic, which is also part of logic when understood in the widest sense. There is no general agreement on how the two are to be distinguished. One prominent approach associates their difference with the study of arguments expressed in formal or informal languages.

In other languages

URI

http://vocabs.rossio.fcsh.unl.pt/morais_domains/0022

Download this concept:

RDF/XML TURTLE JSON-LD Created 5/24/22