This article is written like a personal reflection, personal essay, or argumentative essay that states a Wikipedia editor's personal feelings or presents an original argument about a topic. (December 2017) (Learn how and when to remove this template message)
A propositional attitude is a mental state held by an agent toward a proposition.
In philosophy, a proposition is a tentative and conjectural relationship between constructs that is stated in a declarative form. An example of a proposition is: “An increase in student intelligence causes an increase in their academic achievement.” This declarative statement does not have to be true, but must be empirically testable using data, so that we can judge whether it is true or false. Propositions are generally derived based on deductive logic or empirical observation (induction). Because propositions are associations between abstract constructs, they cannot be tested directly. Instead, they are tested indirectly by examining the relationship between corresponding measures (variables) of those constructs. The empirical formulation of propositions, stated as relationships between variables, is called hypotheses. The term proposition has a broad use in contemporary analytic philosophy. It is used to refer to some or all of the following: the primary bearers of truth-value, the objects of belief and other "propositional attitudes", the referents of that-clauses, and the meanings of declarative sentences. Propositions are the sharable objects of attitudes and the primary bearers of truth and falsity. This stipulation rules out certain candidates for propositions, including thought- and utterance-tokens which are not sharable, and concrete events or facts, which cannot be false.
Linguistically, propositional attitudes are denoted by a verb (e.g. "believed") governing an embedded "that" clause, for example, 'Sally believed that she had won'.
A verb, from the Latin verbum meaning word, is a word that in syntax conveys an action, an occurrence, or a state of being. In the usual description of English, the basic form, with or without the particle to, is the infinitive. In many languages, verbs are inflected to encode tense, aspect, mood, and voice. A verb may also agree with the person, gender or number of some of its arguments, such as its subject, or object. Verbs have tenses: present, to indicate that an action is being carried out; past, to indicate that an action has been done; future, to indicate that an action will be done.
Propositional attitudes are often assumed to be the fundamental units of thought and their contents, being propositions, are true or false from the perspective of the person. An agent can have different propositional attitudes toward the same proposition (e.g., "S believes that her ice-cream is cold," and "S fears that her ice-cream is cold").
A number of software systems are now available to simulate propositional attitudes for industrial purposes, for customer relation management systems, decision support and content generation (Galitsky 2012).
Propositional attitudes have directions of fit: some are meant to reflect the world, others to influence it.
The technical term direction of fit is used to describe the distinctions that are offered by two related sets of opposing terms:
One topic of central concern is the relation between the modalities of assertion and belief, perhaps with intention thrown in for good measure. For example, we frequently find ourselves faced with the question of whether or not a person's assertions conform to his or her beliefs. Discrepancies here can occur for many reasons, but when the departure of assertion from belief is intentional, we usually call that a lie .
A lie is an assertion that is believed to be false, typically used with the purpose of deceiving someone. The practice of communicating lies is called lying, and a person who communicates a lie may be termed a liar. Lies may serve a variety of instrumental, interpersonal, or psychological functions for the individuals who use them. Generally, the term "lie" carries a negative connotation, and depending on the context a person who communicates a lie may be subject to social, legal, religious, or criminal sanctions.
Other comparisons of multiple modalities that frequently arise are the relationships between belief and knowledge and the discrepancies that occur among observations, expectations, and intentions. Deviations of observations from expectations are commonly perceived as surprises , phenomena that call for explanations to reduce the shock of amazement.
Surprise is a brief mental and physiological state, a startle response experienced by animals and humans as the result of an unexpected event. Surprise can have any valence; that is, it can be neutral/moderate, pleasant, unpleasant, positive, or negative. Surprise can occur in varying levels of intensity ranging from very-surprised, which may induce the fight-or-flight response, or little-surprise that elicits a less intense response to the stimuli.
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. This description of the facts et cetera may establish rules or laws, and may clarify the existing rules or laws in relation to any objects, or phenomena examined. The components of an explanation can be implicit, and interwoven with one another.
In logic, the formal properties of verbs like assert, believe, command, consider, deny, doubt, imagine, judge, know, want, wish, and a host of others that involve attitudes or intentions toward propositions are notorious for their recalcitrance to analysis. (Quine 1956).
Logic is the systematic study of the form of valid inference, and the most general laws of truth. A valid inference is one where there is a specific relation of logical support between the assumptions of the inference and its conclusion. In ordinary discourse, inferences may be signified by words such as therefore, thus, hence, ergo, and so on.
See also use–mention distinction
One of the fundamental principles governing identity is that of substitutivity [ clarification needed ], also known as fungibility — or, as it might well be called, that of indiscernibility of identicals . It provides that, given a true statement of identity, one of its two terms may be substituted for the other in any true statement and the result will be true. It is easy to find cases contrary to this principle. For example, the statements:
(1) Giorgione = Barbarelli, (2) Giorgione was so-called because of his size
are true; however, replacement of the name 'Giorgione' by the name 'Barbarelli' turns (2) into the falsehood:
Barbarelli was so-called because of his size.
Quine's example here refers to Giorgio Barbarelli's sobriquet "Giorgione", an Italian name roughly glossed as "Big George." The basis of the paradox here is that while the two names signify the same individual (the meaning of the first statement), the names are not themselves identical; the second statement refers to an attribute (origin) that they do not share.
What sort of name shall we give to verbs like 'believe' and 'wish' and so forth? I should be inclined to call them 'propositional verbs'. This is merely a suggested name for convenience, because they are verbs which have the form of relating an object to a proposition. As I have been explaining, that is not what they really do, but it is convenient to call them propositional verbs. Of course you might call them 'attitudes', but I should not like that because it is a psychological term, and although all the instances in our experience are psychological, there is no reason to suppose that all the verbs I am talking of are psychological. There is never any reason to suppose that sort of thing. (Russell 1918, 227).
What a proposition is, is one thing. How we feel about it, or how we regard it, is another. We can accept it, assert it, believe it, command it, contest it, declare it, deny it, doubt it, enjoin it, exclaim it, expect it. Different attitudes toward propositions are called propositional attitudes, and they are also discussed under the headings of intentionality and linguistic modality .
Many problematic situations in real life arise from the circumstance that many different propositions in many different modalities are in the air at once. In order to compare propositions of different colours and flavours, as it were, we have no basis for comparison but to examine the underlying propositions themselves. Thus we are brought back to matters of language and logic. Despite the name, propositional attitudes are not regarded as psychological attitudes proper, since the formal disciplines of linguistics and logic are concerned with nothing more concrete than what can be said in general about their formal properties and their patterns of interaction.
This article includes a list of references, but its sources remain unclear because it has insufficient inline citations . (April 2009) (Learn how and when to remove this template message)
Epistemology is the branch of philosophy concerned with the theory of knowledge.
Truth is most often used to mean being in accord with fact or reality, or fidelity to an original or standard. Truth is also sometimes defined in modern contexts as an idea of "truth to self", or authenticity.
Willard Van Orman Quine 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. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978. A 2009 poll conducted among analytic philosophers named Quine as the fifth most important philosopher of the past two centuries. He won the first Schock Prize in Logic and Philosophy in 1993 for "his systematical and penetrating discussions of how learning of language and communication are based on socially available evidence and of the consequences of this for theories on knowledge and linguistic meaning." In 1996 he was awarded the Kyoto Prize in Arts and Philosophy for his "outstanding contributions to the progress of philosophy in the 20th century by proposing numerous theories based on keen insights in logic, epistemology, philosophy of science and philosophy of language."
Rudolf Carnap was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. He is considered "one of the giants among twentieth-century philosophers."
Analytic philosophy is a style of philosophy that became dominant in the Western world at the beginning of the 20th century. The term can refer to one of several things:
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. A modal—a word that expresses a modality—qualifies a statement. For example, the statement "John is happy" might be qualified by saying that John is usually happy, in which case the term "usually" is functioning as a modal. The traditional alethic modalities, or modalities of truth, include possibility, necessity, and impossibility. Other modalities that have been formalized in modal logic include temporal modalities, or modalities of time, deontic modalities, epistemic modalities, or modalities of knowledge and doxastic modalities, or modalities of belief.
In epistemology, the correspondence theory of truth states that the truth or falsity of a statement is determined only by how it relates to the world and whether it accurately describes that world.
In philosophy and logic, a deflationary theory of truth is one of a family of theories that all have in common the claim that assertions of predicate truth of a statement do not attribute a property called "truth" to such a statement.
Logical atomism is a philosophy that originated in the early 20th century with the development of analytic philosophy. Its principal exponent was the British philosopher Bertrand Russell. It is also widely held that the early work of his Austrian-born pupil and colleague, Ludwig Wittgenstein, defend a version of logical atomism. Some philosophers in the Vienna Circle were also influenced by logical atomis. Gustav Bergmann also developed a form of logical atomism that focused on an ideal phenomalistic language, particularly in his discussions of J.O. Urmson's work on analysis.
David Benjamin Kaplan is the Hans Reichenbach Professor of Scientific Philosophy at the University of California, Los Angeles Department of Philosophy. His philosophical work focuses on the philosophy of language, logic, metaphysics, epistemology and the philosophy of Frege and Russell. He is best known for his work on demonstratives, propositions, and reference in intensional contexts. He was elected a Fellow of the American Academy of Arts & Sciences in 1983 and a Corresponding Fellow of the British Academy in 2007.
Broadly speaking, fallibilism is the philosophical claim that no belief can have justification which guarantees the truth of the belief. However, not all fallibilists believe that fallibilism extends to all domains of knowledge.
Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics and linguistics. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Avicenna, Ockham, and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Kripke.
The analytic–synthetic distinction is a semantic distinction, used primarily in philosophy to distinguish propositions into two types: analytic propositions and synthetic propositions. Analytic propositions are true by virtue of their meaning, while synthetic propositions are true by how their meaning relates to the world. However, philosophers have used the terms in very different ways. Furthermore, philosophers have debated whether there is a legitimate distinction.
The axiom of reducibility was introduced by Bertrand Russell in the early 20th century as part of his ramified theory of types. Russell devised and introduced the axiom in an attempt to manage the contradictions he had discovered in his analysis of set theory.
In logic, the term statement is variously understood to mean either:
The aspects of Bertrand Russell's views on philosophy cover the changing viewpoints of philosopher and mathematician Bertrand Russell (1872–1970), from his early writings in 1896 until his death in February 1970.
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.
Logical consequence 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. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises? All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth.