Faster access than browser!
44 relations: Analytic philosophy, Arity, Belief, Bertrand Russell, Concatenation, Copula (linguistics), First-order logic, Folk psychology, Free variables and bound variables, Functional predicate, Intentionality, Interpretation (logic), Logical connective, Logical positivism, Ludwig Wittgenstein, Main contention, Meaning (linguistics), Mental world, Open formula, Philosophy of mind, Predicate (mathematical logic), Predicate variable, Propositional attitude, Propositional calculus, Psychology, Quantifier (logic), Recursion, Referent, Semantics, Semiotics, Sentence (linguistics), Sentence (mathematical logic), Statement (logic), Subject (grammar), Subject (philosophy), Syntax, Term (logic), Term logic, Truth, Truth value, Truth-bearer, Valuation (logic), Willard Van Orman Quine, Yes–no question.
Analytic philosophy
Analytic philosophy (sometimes analytical philosophy) is a style of philosophy that became dominant in the Western world at the beginning of the 20th century.
New!!: Proposition and Analytic philosophy · See more »
Arity
In logic, mathematics, and computer science, the arity of a function or operation is the number of arguments or operands that the function takes.
New!!: Proposition and Arity · See more »
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!!: Proposition and Belief · See more »
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.
New!!: Proposition and Bertrand Russell · See more »
Concatenation
In formal language theory and computer programming, string concatenation is the operation of joining character strings end-to-end.
New!!: Proposition and Concatenation · See more »
Copula (linguistics)
In linguistics, a copula (plural: copulas or copulae; abbreviated) is a word used to link the subject of a sentence with a predicate (a subject complement), such as the word is in the sentence "The sky is blue." The word copula derives from the Latin noun for a "link" or "tie" that connects two different things.
New!!: Proposition and Copula (linguistics) · 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!!: Proposition and First-order logic · See more »
Folk psychology
In philosophy of mind and cognitive science, folk psychology, or commonsense psychology, is a human capacity to explain and predict the behavior and mental state of other people.
New!!: Proposition and Folk psychology · See more »
Free variables and bound variables
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place.
New!!: Proposition and Free variables and bound variables · See more »
Functional predicate
In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.
New!!: Proposition and Functional predicate · See more »
Intentionality
Intentionality is a philosophical concept and is defined by the Stanford Encyclopedia of Philosophy as "the power of minds to be about, to represent, or to stand for, things, properties and states of affairs".
New!!: Proposition and Intentionality · See more »
Interpretation (logic)
An interpretation is an assignment of meaning to the symbols of a formal language.
New!!: Proposition and Interpretation (logic) · See more »
Logical connective
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the value of the compound sentence produced depends only on that of the original sentences and on the meaning of the connective.
New!!: Proposition and Logical connective · See more »
Logical positivism
Logical positivism and logical empiricism, which together formed neopositivism, was a movement in Western philosophy whose central thesis was verificationism, a theory of knowledge which asserted that only statements verifiable through empirical observation are cognitively meaningful.
New!!: Proposition and Logical positivism · See more »
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein (26 April 1889 – 29 April 1951) was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
New!!: Proposition and Ludwig Wittgenstein · See more »
Main contention
In both formal and informal logic, a main contention or conclusion is a thought which can be either true or false and is usually the most controversial proposition being argued for.
New!!: Proposition and Main contention · See more »
Meaning (linguistics)
In linguistics, meaning is the information or concepts that a sender intends to convey, or does convey, in communication with a receiver.
New!!: Proposition and Meaning (linguistics) · See more »
Mental world
The mental world is an ontological category in metaphysics, populated by nonmaterial mental objects, without physical extension (though possibly with mental extension as in a visual field, or possibly not, as in an olfactory field) contrasted with the physical world of space and time populated with physical objects, or Plato's world of ideals populated, in part, with mathematical objects.
New!!: Proposition and Mental world · See more »
Open formula
An open formula is a formula that contains at least one free variable.
New!!: Proposition and Open formula · See more »
Philosophy of mind
Philosophy of mind is a branch of philosophy that studies the nature of the mind.
New!!: Proposition and Philosophy of mind · See more »
Predicate (mathematical logic)
In mathematical logic, a predicate is commonly understood to be a Boolean-valued function P: X→, called the predicate on X. However, predicates have many different uses and interpretations in mathematics and logic, and their precise definition, meaning and use will vary from theory to theory.
New!!: Proposition and Predicate (mathematical logic) · See more »
Predicate variable
In first-order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning).
New!!: Proposition and Predicate variable · See more »
Propositional attitude
A propositional attitude is a mental state held by an agent toward a proposition.
New!!: Proposition and Propositional attitude · See more »
Propositional calculus
Propositional calculus is a branch of logic.
New!!: Proposition and Propositional calculus · See more »
Psychology
Psychology is the science of behavior and mind, including conscious and unconscious phenomena, as well as feeling and thought.
New!!: Proposition and Psychology · See more »
Quantifier (logic)
In logic, quantification specifies the quantity of specimens in the domain of discourse that satisfy an open formula.
New!!: Proposition and Quantifier (logic) · See more »
Recursion
Recursion occurs when a thing is defined in terms of itself or of its type.
New!!: Proposition and Recursion · See more »
Referent
A referent is a person or thing to which a name – a linguistic expression or other symbol – refers.
New!!: Proposition and Referent · See more »
Semantics
Semantics (from σημαντικός sēmantikós, "significant") is the linguistic and philosophical study of meaning, in language, programming languages, formal logics, and semiotics.
New!!: Proposition and Semantics · See more »
Semiotics
Semiotics (also called semiotic studies) is the study of meaning-making, the study of sign process (semiosis) and meaningful communication.
New!!: Proposition and Semiotics · 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!!: Proposition 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!!: Proposition 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!!: Proposition and Statement (logic) · See more »
Subject (grammar)
The subject in a simple English sentence such as John runs, John is a teacher, or John was hit by a car is the person or thing about whom the statement is made, in this case 'John'.
New!!: Proposition and Subject (grammar) · See more »
Subject (philosophy)
A subject is a being who has a unique consciousness and/or unique personal experiences, or an entity that has a relationship with another entity that exists outside itself (called an "object").
New!!: Proposition and Subject (philosophy) · See more »
Syntax
In linguistics, syntax is the set of rules, principles, and processes that govern the structure of sentences in a given language, usually including word order.
New!!: Proposition and Syntax · See more »
Term (logic)
In analogy to natural language, where a noun phrase refers to an object and a whole sentence refers to a fact, in mathematical logic, a term denotes a mathematical object and a formula denotes a mathematical fact.
New!!: Proposition and Term (logic) · See more »
Term logic
In philosophy, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to logic that began with Aristotle and that was dominant until the advent of modern predicate logic in the late nineteenth century.
New!!: Proposition and Term logic · See more »
Truth
Truth is most often used to mean being in accord with fact or reality, or fidelity to an original or standard.
New!!: Proposition and Truth · See more »
Truth value
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.
New!!: Proposition and Truth value · See more »
Truth-bearer
A truth-bearer is an entity that is said to be either true or false and nothing else.
New!!: Proposition and Truth-bearer · See more »
Valuation (logic)
In logic and model theory, a valuation can be.
New!!: Proposition and Valuation (logic) · 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!!: Proposition and Willard Van Orman Quine · See more »
Yes–no question
In linguistics, a yes–no question, formally known as a polar question or a general question, is a question whose expected answer is either "yes" or "no".
New!!: Proposition and Yes–no question · See more »
Redirects here:
Claim (logic), General proposition, General propositions, Logical proposition, Mathematical statement, Particularised proposition, Particularised propositions, Particularized proposition, Particularized propositions, Proposal (logic and philosophy), Proposition (Grammar), Proposition (logic), Proposition (philosophy), Propositional, Propositioned, Propositioner, Propositioners, Propositioning, Propositions, Russellian proposition, Russellian propositions, Singular proposition, Singular propositions, Structured proposition, Structured propositions.
References
[1] https://en.wikipedia.org/wiki/Proposition
