32 relations: Belief, Classical logic, Concept, Entity, Explanation, First-order logic, Formal language, If and only if, Interpretation (logic), Intuition, Ivanhoe, Judgement, Logic, Logical consequence, Logical form, Logical truth, Mathematical logic, Meaning (philosophy of language), Philosophical theory, Philosophy, Philosophy of logic, Proposition, Sentence (linguistics), Sentence (mathematical logic), Statement (logic), Thought, Type–token distinction, Use–mention distinction, Utterance, Waverley (novel), Well-formed formula, Willard Van Orman Quine.
Belief
Belief is the state of mind in which a person thinks something to be the case with or without there being empirical evidence to prove that something is the case with factual certainty.
New!!: Truth-bearer and Belief · See more »
Classical logic
Classical logic (or standard logic) is an intensively studied and widely used class of formal logics.
New!!: Truth-bearer and Classical logic · See more »
Concept
Concepts are mental representations, abstract objects or abilities that make up the fundamental building blocks of thoughts and beliefs.
New!!: Truth-bearer and Concept · See more »
Entity
An entity is something that exists as itself, as a subject or as an object, actually or potentially, concretely or abstractly, physically or not.
New!!: Truth-bearer and Entity · See more »
Explanation
An explanation is a set of statements usually constructed to describe a set of facts which clarifies the causes, context, and consequences of those facts.
New!!: Truth-bearer and Explanation · See more »
First-order logic
First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
New!!: Truth-bearer and First-order logic · See more »
Formal language
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols together with a set of rules that are specific to it.
New!!: Truth-bearer and Formal language · See more »
If and only if
In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements.
New!!: Truth-bearer and If and only if · See more »
Interpretation (logic)
An interpretation is an assignment of meaning to the symbols of a formal language.
New!!: Truth-bearer and Interpretation (logic) · See more »
Intuition
Intuition is the ability to acquire knowledge without proof, evidence, or conscious reasoning, or without understanding how the knowledge was acquired.
New!!: Truth-bearer and Intuition · See more »
Ivanhoe
Ivanhoe is an historical novel by Sir Walter Scott, first published in 1820 in three volumes and subtitled A Romance.
New!!: Truth-bearer and Ivanhoe · See more »
Judgement
Judgement (or judgment) is the evaluation of evidence to make a decision.
New!!: Truth-bearer and Judgement · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: Truth-bearer and Logic · See more »
Logical consequence
Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements.
New!!: Truth-bearer and Logical consequence · See more »
Logical form
In philosophy and mathematics, a logical form of a syntactic expression is a precisely-specified semantic version of that expression in a formal system.
New!!: Truth-bearer and Logical form · See more »
Logical truth
Logical truth is one of the most fundamental concepts in logic, and there are different theories on its nature.
New!!: Truth-bearer and Logical truth · See more »
Mathematical logic
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
New!!: Truth-bearer and Mathematical logic · See more »
Meaning (philosophy of language)
The nature of meaning, its definition, elements, and types, was discussed by philosophers Aristotle, Augustine, and Aquinas.
New!!: Truth-bearer and Meaning (philosophy of language) · See more »
Philosophical theory
A philosophical theory or philosophical positionDictionary of Theories, Jennifer Bothamley is a set of beliefs that explains or accounts for a general philosophy or specific branch of philosophy.
New!!: Truth-bearer and Philosophical theory · See more »
Philosophy
Philosophy (from Greek φιλοσοφία, philosophia, literally "love of wisdom") is the study of general and fundamental problems concerning matters such as existence, knowledge, values, reason, mind, and language.
New!!: Truth-bearer and Philosophy · See more »
Philosophy of logic
Following the developments in formal logic with symbolic logic in the late nineteenth century and mathematical logic in the twentieth, topics traditionally treated by logic not being part of formal logic have tended to be termed either philosophy of logic or philosophical logic if no longer simply logic.
New!!: Truth-bearer and Philosophy of logic · See more »
Proposition
The term proposition has a broad use in contemporary analytic philosophy.
New!!: Truth-bearer and Proposition · See more »
Sentence (linguistics)
In non-functional linguistics, a sentence is a textual unit consisting of one or more words that are grammatically linked.
New!!: Truth-bearer and Sentence (linguistics) · See more »
Sentence (mathematical logic)
In mathematical logic, a sentence of a predicate logic is a boolean-valued well-formed formula with no free variables.
New!!: Truth-bearer and Sentence (mathematical logic) · See more »
Statement (logic)
In logic, the term statement is variously understood to mean either: In the latter case, a statement is distinct from a sentence in that a sentence is only one formulation of a statement, whereas there may be many other formulations expressing the same statement.
New!!: Truth-bearer and Statement (logic) · See more »
Thought
Thought encompasses a “goal oriented flow of ideas and associations that leads to reality-oriented conclusion.” Although thinking is an activity of an existential value for humans, there is no consensus as to how it is defined or understood.
New!!: Truth-bearer and Thought · See more »
Type–token distinction
The type–token distinction is used in disciplines such as logic, linguistics, metalogic, typography, and computer programming to clarify what words mean.
New!!: Truth-bearer and Type–token distinction · See more »
Use–mention distinction
The use–mention distinction is a foundational concept of analytic philosophy, according to which it is necessary to make a distinction between using a word (or phrase) and mentioning it,Devitt and Sterelny (1999) pp.
New!!: Truth-bearer and Use–mention distinction · See more »
Utterance
In spoken language analysis, an utterance is the smallest unit of speech.
New!!: Truth-bearer and Utterance · See more »
Waverley (novel)
Waverley is a historical novel by Sir Walter Scott (1771–1832).
New!!: Truth-bearer and Waverley (novel) · See more »
Well-formed formula
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language.
New!!: Truth-bearer and Well-formed formula · See more »
Willard Van Orman Quine
Willard Van Orman Quine (known to intimates as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century." From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor of philosophy and a teacher of logic and set theory, and finally as a professor emeritus who published or revised several books in retirement.
New!!: Truth-bearer and Willard Van Orman Quine · See more »
Redirects here:
References
[1] https://en.wikipedia.org/wiki/Truth-bearer