401:/states of affairs in which it is true) is that on the Russellian account, two propositions that are true in all the same states of affairs can still be differentiated. For instance, the proposition "two plus two equals four" is distinct on a Russellian account from the proposition "three plus three equals six". If propositions are sets of possible worlds, however, then all mathematical truths (and all other necessary truths) are the same set (the set of all possible worlds).
54:
1487:
1041:
429:, mental states are often taken to primarily consist in propositional attitudes. The propositions are usually said to be the "mental content" of the attitude. For example, if Jane has a mental state of believing that it is raining, her mental content is the proposition 'it is raining.' Furthermore, since such mental states are
448:
entities, that is, existing in an abstract, non-physical realm. So some recent views of propositions have taken them to be mental. Although propositions cannot be particular thoughts since those are not shareable, they could be types of cognitive events or properties of thoughts (which could be the
990:
in common language, resulting in a mistaken equivalence of the statements. âI am
Spartacusâ spoken by Spartacus is the declaration that the individual speaking is called Spartacus and it is true. When spoken by John Smith, it is a declaration about a different speaker and it is false. The term âIâ
985:
The above definitions can result in two identical sentences/sentence-tokens appearing to have the same meaning, and thus expressing the same proposition and yet having different truth-values, as in "I am
Spartacus" said by Spartacus and said by John Smith, and "It is Wednesday" said on a Wednesday
1002:
by using a variable for the problematic term, so that âX is a philosopherâ can have
Socrates or Plato substituted for X, illustrating that âSocrates is a philosopherâ and âPlato is a philosopherâ are different propositions. Similarly, âI am Spartacusâ becomes âX is Spartacusâ, where X is replaced
561:
includes only operators and propositional constants as symbols in its language. The propositions in this language are propositional constants, which are considered atomic propositions, and composite (or compound) propositions, which are composed by recursively applying operators to propositions.
324:. An Aristotelian proposition may take the form of "All men are mortal" or "Socrates is a man." In the first example, the subject is "men", predicate is "mortal" and copula is "are", while in the second example, the subject is "Socrates", the predicate is "a man" and copula is "is".
994:
A related problem is when identical sentences have the same truth-value, yet express different propositions. The sentence âI am a philosopherâ could have been spoken by both
Socrates and Plato. In both instances, the statement is true, but means something different.
452:
Philosophical debates surrounding propositions as they relate to propositional attitudes have also recently centered on whether they are internal or external to the agent, or whether they are mind-dependent or mind-independent entities. For more, see the entry on
553:
will be assigned. The rules specify how the operators, function and predicate symbols, and quantifiers are to be concatenated with other strings. A proposition is then a string with a specific form. The form that a proposition takes depends on the type of logic.
976:
in terms of synonymity. For example, "Snow is white" (in
English) and "Schnee ist weiĂ" (in German) are different sentences, but they say the same thing, so they express the same proposition. Another definition of proposition is:
291:
even remarking that "the conception we associate with the word âpropositionâ may be something of a jumble of conflicting desiderata". The term is often used broadly and has been used to refer to various related concepts.
417:(belief, desire, etc.) that one can take toward a proposition (e.g. 'it is raining,' 'snow is white,' etc.). In English, propositions usually follow folk psychological attitudes by a "that clause" (e.g. "Jane believes
577:
include variables, operators, predicate and function symbols, and quantifiers as symbols in their languages. The propositions in these logics are more complex. First, one typically starts by defining a
1009:
A number of philosophers and linguists claim that all definitions of a proposition are too vague to be useful. For them, it is just a misleading concept that should be removed from philosophy and
440:
Explaining the relation of propositions to the mind is especially difficult for non-mentalist views of propositions, such as those of the logical positivists and
Russell described above, and
2146:
363:
can be declarative assertions of propositions, without forming a sentence nor even being linguistic (e.g. traffic signs convey definite meaning which is either true or false).
1021:
in mathematics, maintained that the indeterminacy of translation prevented any meaningful discussion of propositions, and that they should be discarded in favor of sentences.
919:
659:
is a proposition. This more complex structure of propositions allows these logics to make finer distinctions between inferences, i.e., to have greater expressive power.
882:
786:
728:
382:" (or, whether it is the case that "it will snow"). Desire, belief, doubt, and so on, are thus called propositional attitudes when they take this sort of content.
205:. For instance if one believes that the sky is blue, what one believes is the proposition that the sky is blue. A proposition can also be thought of as a kind of
809:
751:
857:
833:
693:
266:
246:
1519:
1083:
351:
Some philosophers argue that some (or all) kinds of speech or actions besides the declarative ones also have propositional content. For example,
1180:
1006:
In other words, the example problems can be averted if sentences are formulated with precision such that their terms have unambiguous meanings.
185:. For instance the sentence "The sky is blue" denotes the proposition that the sky is blue. However, crucially, propositions are not themselves
197:
sentence "Schnee ist weiĂ" even though the two sentences are not the same. Similarly, propositions can also be characterized as the objects of
625:) is a term, which might be written with the symbols in various orders. Once a term is defined, a proposition can then be defined as follows:
2374:
2236:
268:
if given some alternate world where the sky is green. However, a number of alternative formalizations have been proposed, notably the
2848:
2336:
2098:
498:
In modern logic, the term "proposition" is often used for sentences of a formal language. In this usage, propositions are formal
393:
held that propositions were structured entities with objects and properties as constituents. One important difference between
2341:
1333:
1512:
118:
2716:
2383:
287:, and related disciplines. Some researchers have doubted whether a consistent definition of propositionhood is possible,
1187:
936:
if they have constituents, in some broad sense. Assuming a structured view of propositions, one can distinguish between
90:
1466:
1373:
1280:
1197:
228:. For instance, the proposition that the sky is blue can be modeled as a function which would return the truth value
137:
3108:
1545:
97:
981:
Two meaningful declarative sentence-tokens express the same proposition, if and only if they mean the same thing.
3118:
3078:
2803:
2331:
1505:
2924:
2798:
2457:
2367:
2311:
2176:
884:
are the only worlds in which the sky is blue, the proposition that the sky is blue could be modeled as the set
675:
and return a truth value. For example, the proposition that the sky is blue could be represented as a function
75:
2576:
2397:
2057:
1836:
1798:
1748:
1491:
1390:
333:
313:
104:
17:
968:
Two meaningful declarative sentences express the same proposition, if and only if they mean the same thing.
3073:
2306:
2206:
71:
42:
35:
179:
3113:
2462:
2047:
1997:
86:
2944:
2606:
2427:
2186:
1926:
1806:
1537:
1214:
1079:
2949:
2899:
2661:
2550:
2360:
2271:
1871:
1778:
1618:
1059:
288:
1427:
541:
are often added for convenience in using the language, but do not play a logical role.) Symbols are
3009:
2868:
2447:
2196:
514:
3093:
3083:
3004:
2545:
1841:
1768:
1623:
1054:
566:
here is simply a short way of saying that the corresponding concatenation rule has been applied.
410:
309:
64:
3034:
2701:
2671:
2646:
2586:
2485:
2417:
2087:
1931:
1866:
1528:
956:, which are about a particular individual but do not contain that individual as a constituent.
558:
534:
530:
371:
284:
217:
202:
155:
1458:
1452:
924:
Numerous refinements and alternative notions of proposition-hood have been proposed including
887:
3068:
2929:
2823:
2788:
2676:
2651:
2495:
2412:
2062:
2042:
1977:
1861:
1643:
1413:
1300:
925:
756:
698:
454:
2914:
2721:
2500:
2226:
2136:
1935:
1896:
1628:
522:
487:
483:
475:
321:
490:. Aristotelian propositions take forms like "All men are mortal" and "Socrates is a man."
8:
3103:
3088:
2999:
2964:
2909:
2853:
2756:
2741:
2711:
2691:
2666:
2535:
2520:
2276:
2266:
2116:
2072:
1906:
1683:
1598:
507:
394:
352:
111:
862:
791:
733:
3098:
3044:
2969:
2939:
2904:
2884:
2813:
2793:
2731:
2726:
2636:
2626:
2611:
2555:
2126:
2022:
2017:
1941:
1916:
1718:
1703:
1668:
842:
818:
678:
668:
526:
518:
503:
471:
422:
345:
305:
251:
231:
2352:
30:
This article is about the term in philosophy. For a theorem of lesser importance, see
3123:
3024:
2979:
2959:
2919:
2858:
2828:
2808:
2601:
2530:
2092:
2012:
1851:
1733:
1462:
1369:
1349:
Stalnaker, Robert (1972). "Pragmatics". In
Davidson, Donald; Harman, Gilbert (eds.).
1329:
1276:
1193:
1046:
1026:
1018:
506:. Propositions are also called sentences, statements, statement forms, formulas, and
479:
317:
1154:
502:
objects which can be studied independently of the meaning they would receive from a
213:
as "a statement or an idea that people can consider or discuss whether it is true."
3029:
2954:
2843:
2621:
2156:
2067:
1891:
1886:
1688:
1243:
945:
589:
A function symbol applied to the number of terms required by the function symbol's
390:
190:
1129:
513:
A formal language begins with different types of symbols. These types can include
2833:
2736:
2631:
2596:
2301:
2216:
1972:
1951:
1901:
1881:
1821:
1788:
1743:
1738:
1698:
1583:
999:
570:
414:
194:
1307:(Winter 2016 ed.), Metaphysics Research Lab, Stanford University, Section 2
964:
Attempts to provide a workable definition of proposition include the following:
344:. This conception of a proposition was supported by the philosophical school of
3019:
3014:
2934:
2818:
2696:
2591:
2432:
2052:
2007:
1831:
1763:
1633:
1022:
672:
499:
434:
409:
In relation to the mind, propositions are discussed primarily as they fit into
398:
221:
1638:
3062:
2706:
2681:
2515:
2296:
1911:
1816:
1811:
1773:
1693:
1673:
1648:
1613:
812:
542:
441:
175:
31:
811:
if any, where it is not. A proposition can be modeled equivalently with the
178:. Propositions are also often characterized as being the kind of thing that
2974:
2894:
2761:
2641:
2525:
2505:
2037:
2032:
1987:
1946:
1856:
1758:
1713:
1708:
1678:
1663:
1658:
1268:
632:
An operator applied to the number of propositions required by its arity, or
629:
A predicate symbol applied to the number of terms required by its arity, or
579:
341:
337:
167:
2889:
2863:
2746:
2510:
2281:
2246:
2166:
1783:
1723:
1608:
1593:
1497:
1014:
550:
356:
280:
225:
3039:
2686:
2452:
2407:
2402:
2286:
2077:
1921:
1876:
1753:
1728:
1653:
1588:
1101:
510:, though these terms are usually not synonymous within a single text.
426:
182:
2838:
2656:
2581:
2560:
2490:
2442:
2422:
2318:
2027:
1967:
1846:
1826:
1578:
1573:
1553:
1434:(Spring 2018 ed.), Metaphysics Research Lab, Stanford University
1397:(Spring 2018 ed.), Metaphysics Research Lab, Stanford University
1010:
987:
546:
538:
445:
360:
159:
991:
means different things, so âI am
Spartacusâ means different things.
53:
2751:
2540:
2291:
1982:
1603:
1563:
374:, such as desires, preferences, and hopes. For example, "I desire
1273:
Logic, Language and
Meaning: Intensional Logic and Logical Grammar
1003:
with terms representing the individuals
Spartacus and John Smith.
2002:
1558:
1364:
Ciardelli, Ivano; Groenendijk, Jeroen; Roelofsen, Floris (2019).
413:. Propositional attitudes are simply attitudes characteristic of
275:
Propositions have played a large role throughout the history of
2147:
An Essay Towards a Real Character, and a Philosophical Language
2082:
1486:
367:
198:
186:
2616:
1568:
1363:
590:
276:
193:
sentence "Snow is white" denotes the same proposition as the
171:
163:
835:
under the indicator function, which is sometimes called the
1244:"Mathematics | Introduction to Propositional Logic | Set 1"
1186:. In King, Jeffrey C.; Soames, Scott; Speaks, Jeff (eds.).
206:
1323:
986:
and on a Thursday. These examples reflect the problem of
166:, and related fields, often characterized as the primary
1025:, on the other hand, advocated for the use of the term "
397:'s view (according to which a proposition is the set of
340:. In this sense, propositions are "statements" that are
2382:
667:
Propositions are standardly understood semantically as
433:
something (namely, propositions), they are said to be
952:, which are not about any particular individual, and
890:
865:
845:
821:
794:
759:
736:
701:
681:
254:
248:
if given the actual world as input, but would return
234:
1213:
Joaquin, Jeremiah Joven B.; Franklin, James (2021).
1130:"Propositions (Stanford Encyclopedia of Philosophy)"
1036:
78:. Unsourced material may be challenged and removed.
913:
876:
851:
827:
803:
780:
745:
722:
687:
474:a proposition is a particular kind of sentence (a
366:Propositions are also spoken of as the content of
260:
240:
1102:"Aristotle: Logic â From Words into Propositions"
336:to distinguish them from what is expressed by an
3060:
2849:Segmented discourse representation theory (SDRT)
3056:[[Category:Formal semantics (natural language)
1368:. Oxford University Press. pp. 13, 20â22.
1212:
355:present propositions, being inquiries into the
549:rules, in order to construct strings to which
2368:
1513:
959:
559:propositional, sentential, or statement logic
493:
327:
1425:
1275:. University of Chicago Press. p. 122.
908:
891:
662:
216:Formally, propositions are often modeled as
1388:
948:) which are about a particular individual,
2375:
2361:
2237:Wittgenstein on Rules and Private Language
1527:
1520:
1506:
209:: Collins Dictionary has a definition for
1348:
1215:"A causal-mentalist view of propositions"
138:Learn how and when to remove this message
1155:"Platonism in metaphysics: Propositions"
1152:
1127:
312:as a sentence which affirms or denies a
1432:The Stanford Encyclopedia of Philosophy
1426:McGrath, Matthew; Frank, Devin (2018),
1395:The Stanford Encyclopedia of Philosophy
1305:The Stanford Encyclopedia of Philosophy
1181:"Propositions as cognitive event types"
404:
14:
3061:
1178:
635:A quantifier applied to a proposition.
2804:Discourse representation theory (DRT)
2356:
1501:
1450:
1389:Fitch, Greg; Nelson, Michael (2018),
1324:Irene Heim; Angelika Kratzer (1998).
1267:
1192:. New York: Oxford University Press.
839:of the proposition. For instance, if
465:
460:
334:closed formulae (or logical sentence)
1298:
1294:
1292:
1123:
1121:
1095:
1093:
76:adding citations to reliable sources
47:
2717:Quantificational variability effect
2384:Formal semantics (natural language)
1159:Stanford Encyclopedia of Philosophy
1106:Internet Encyclopedia of Philosophy
1099:
753:if any, where the sky is blue, and
332:Often, propositions are related to
295:
24:
1457:. NJ USA: Prentice-Hall. pp.
25:
3135:
1479:
1289:
1118:
1090:
643:is a binary predicate symbol and
449:same across different thinkers).
359:of them. On the other hand, some
1485:
1328:. Wiley-Blackwell. p. 304.
1128:McGrath, Matthew; Frank, Devin.
1086:from the original on 2017-11-26.
1039:
998:These problems are addressed in
601:is a binary function symbol and
571:predicate, quantificational, or
486:, optionally with the help of a
320:, optionally with the help of a
52:
1444:
1419:
1407:
1382:
1357:
1342:
1326:Semantics in generative grammar
1317:
1189:New Thinking about Propositions
1017:, who granted the existence of
527:predicate (or relation) symbols
300:
63:needs additional citations for
2799:Combinatory categorial grammar
2177:Tractatus Logico-Philosophicus
1261:
1236:
1206:
1172:
1146:
1072:
769:
763:
711:
705:
444:'s view that propositions are
13:
1:
2577:Antecedent-contained deletion
2058:Principle of compositionality
1430:, in Zalta, Edward N. (ed.),
1393:, in Zalta, Edward N. (ed.),
1303:, in Zalta, Edward N. (ed.),
1065:
385:
2207:Philosophical Investigations
154:is a central concept in the
36:Proposition (disambiguation)
7:
2048:Modality (natural language)
1032:
954:particularized propositions
569:The types of logics called
537:.(Grouping symbols such as
478:) that affirms or denies a
455:internalism and externalism
10:
3140:
2458:Syntaxâsemantics interface
2187:Language, Truth, and Logic
1927:Theological noncognitivism
1812:Contrast theory of meaning
1807:Causal theory of reference
1538:Index of language articles
960:Objections to propositions
932:. Propositions are called
494:Syntactic characterization
328:By the logical positivists
40:
29:
27:Bearer of truth or falsity
2992:
2950:Question under discussion
2900:Conversational scoreboard
2877:
2781:
2774:
2677:Intersective modification
2662:Homogeneity (linguistics)
2569:
2478:
2471:
2390:
2327:
2272:Philosophy of information
2259:
2108:
1960:
1872:Mediated reference theory
1797:
1544:
1535:
1301:"Structured Propositions"
1060:Probabilistic proposition
663:Semantic characterization
557:The type of logic called
32:Proposition (mathematics)
3010:Distributional semantics
2197:Two Dogmas of Empiricism
926:inquisitive propositions
914:{\displaystyle \{w,w'\}}
41:Not to be confused with
3109:Propositional attitudes
3005:Computational semantics
2742:Subsective modification
2546:Propositional attitudes
1998:Useâmention distinction
1842:Direct reference theory
1414:Structured Propositions
1391:"Singular Propositions"
1153:Balaguer, Mark (2016).
1055:Categorical proposition
942:Russellian propositions
934:structured propositions
930:structured propositions
647:is a quantifier, then â
535:propositional constants
457:in philosophy of mind.
411:propositional attitudes
310:categorical proposition
270:structured propositions
203:propositional attitudes
3119:Propositional calculus
3079:Philosophy of language
3035:Philosophy of language
2672:Inalienable possession
2652:Free choice inferences
2647:Faultless disagreement
2418:Generalized quantifier
1932:Theory of descriptions
1867:Linguistic determinism
1529:Philosophy of language
1299:King, Jeffrey (2019),
1179:Soames, Scott (2014).
983:
970:
915:
878:
853:
829:
805:
782:
781:{\displaystyle f(v)=F}
747:
724:
723:{\displaystyle f(w)=T}
689:
545:together according to
285:philosophy of language
262:
242:
187:linguistic expressions
156:philosophy of language
34:. For other uses, see
2930:Plural quantification
2824:Inquisitive semantics
2789:Alternative semantics
2043:Mental representation
1978:Linguistic relativity
1862:Inquisitive semantics
1451:Quine, W. V. (1970).
1366:Inquisitive Semantics
979:
966:
938:singular propositions
916:
879:
854:
830:
806:
783:
748:
725:
690:
376:that I have a new car
372:intentional attitudes
263:
243:
180:declarative sentences
2915:Function application
2722:Responsive predicate
2712:Privative adjectives
2227:Naming and Necessity
2137:De Arte Combinatoria
1936:Definite description
1897:Semantic externalism
1494:at Wikimedia Commons
1080:"Collins Dictionary"
950:general propositions
888:
863:
843:
819:
792:
757:
734:
699:
679:
613:are variables, then
508:well-formed formulas
476:declarative sentence
421:it is raining"). In
405:Relation to the mind
380:whether it will snow
252:
232:
189:. For instance, the
72:improve this article
3074:Logical expressions
3000:Cognitive semantics
2965:Strawson entailment
2910:Existential closure
2854:Situation semantics
2757:Temperature paradox
2727:Rising declaratives
2692:Modal subordination
2667:Hurford disjunction
2627:Discourse relations
2277:Philosophical logic
2267:Analytic philosophy
2073:Sense and reference
1952:Verification theory
1907:Situation semantics
1454:Philosophy of Logic
669:indicator functions
470:As noted above, in
395:Ludwig Wittgenstein
3114:Mathematical logic
3045:Semantics of logic
2970:Strict conditional
2940:Quantifier raising
2905:Downward entailing
2885:Autonomy of syntax
2814:Generative grammar
2794:Categorial grammar
2732:Scalar implicature
2637:Epistemic modality
2612:De dicto and de re
2127:Port-Royal Grammar
2023:Family resemblance
1942:Theory of language
1917:Supposition theory
1416:by Jeffrey C. King
1134:Plato.stanford.edu
911:
877:{\displaystyle w'}
874:
849:
837:characteristic set
825:
804:{\displaystyle v,}
801:
778:
746:{\displaystyle w,}
743:
720:
685:
472:Aristotelian logic
466:Aristotelian logic
461:Treatment in logic
423:philosophy of mind
346:logical positivism
306:Aristotelian logic
258:
238:
3053:
3052:
3025:Logic translation
2988:
2987:
2980:Universal grinder
2960:Squiggle operator
2920:Meaning postulate
2859:Supervaluationism
2829:Intensional logic
2809:Dynamic semantics
2770:
2769:
2602:Crossover effects
2551:Tenseâaspectâmood
2531:Lexical semantics
2350:
2349:
1852:Dynamic semantics
1490:Media related to
1335:978-0-631-19713-3
1047:Philosophy portal
852:{\displaystyle w}
828:{\displaystyle T}
688:{\displaystyle f}
261:{\displaystyle F}
241:{\displaystyle T}
148:
147:
140:
122:
16:(Redirected from
3131:
3030:Linguistics wars
2955:Semantic parsing
2844:Montague grammar
2779:
2778:
2622:Deontic modality
2476:
2475:
2463:Truth conditions
2398:Compositionality
2391:Central concepts
2377:
2370:
2363:
2354:
2353:
2312:Formal semantics
2260:Related articles
2252:
2242:
2232:
2222:
2212:
2202:
2192:
2182:
2172:
2162:
2152:
2142:
2132:
2122:
1892:Relevance theory
1887:Phallogocentrism
1522:
1515:
1508:
1499:
1498:
1489:
1473:
1472:
1448:
1442:
1441:
1440:
1439:
1423:
1417:
1411:
1405:
1404:
1403:
1402:
1386:
1380:
1379:
1361:
1355:
1354:
1346:
1340:
1339:
1321:
1315:
1314:
1313:
1312:
1296:
1287:
1286:
1265:
1259:
1258:
1256:
1255:
1240:
1234:
1233:
1231:
1229:
1210:
1204:
1203:
1185:
1176:
1170:
1169:
1167:
1165:
1150:
1144:
1143:
1141:
1140:
1125:
1116:
1115:
1113:
1112:
1100:Groarke, Louis.
1097:
1088:
1087:
1076:
1049:
1044:
1043:
1042:
946:Bertrand Russell
920:
918:
917:
912:
907:
883:
881:
880:
875:
873:
858:
856:
855:
850:
834:
832:
831:
826:
810:
808:
807:
802:
788:for every world
787:
785:
784:
779:
752:
750:
749:
744:
730:for every world
729:
727:
726:
721:
694:
692:
691:
686:
639:For example, if
597:For example, if
523:function symbols
391:Bertrand Russell
378:", or "I wonder
353:yesâno questions
296:Historical usage
267:
265:
264:
259:
247:
245:
244:
239:
143:
136:
132:
129:
123:
121:
80:
56:
48:
21:
3139:
3138:
3134:
3133:
3132:
3130:
3129:
3128:
3059:
3058:
3054:
3049:
2984:
2873:
2834:Lambda calculus
2766:
2737:Sloppy identity
2697:Opaque contexts
2632:Donkey anaphora
2597:Counterfactuals
2565:
2467:
2386:
2381:
2351:
2346:
2323:
2302:School of Names
2255:
2250:
2240:
2230:
2220:
2217:Of Grammatology
2210:
2200:
2190:
2180:
2170:
2160:
2150:
2140:
2130:
2120:
2104:
1956:
1902:Semantic holism
1882:Non-cognitivism
1822:Conventionalism
1793:
1540:
1531:
1526:
1482:
1477:
1476:
1469:
1449:
1445:
1437:
1435:
1424:
1420:
1412:
1408:
1400:
1398:
1387:
1383:
1376:
1362:
1358:
1347:
1343:
1336:
1322:
1318:
1310:
1308:
1297:
1290:
1283:
1266:
1262:
1253:
1251:
1242:
1241:
1237:
1227:
1225:
1211:
1207:
1200:
1183:
1177:
1173:
1163:
1161:
1151:
1147:
1138:
1136:
1126:
1119:
1110:
1108:
1098:
1091:
1078:
1077:
1073:
1068:
1045:
1040:
1038:
1035:
1000:predicate logic
962:
900:
889:
886:
885:
866:
864:
861:
860:
844:
841:
840:
820:
817:
816:
793:
790:
789:
758:
755:
754:
735:
732:
731:
700:
697:
696:
680:
677:
676:
665:
496:
468:
463:
437:mental states.
415:folk psychology
407:
399:possible worlds
388:
330:
303:
298:
253:
250:
249:
233:
230:
229:
144:
133:
127:
124:
81:
79:
69:
57:
46:
39:
28:
23:
22:
15:
12:
11:
5:
3137:
3127:
3126:
3121:
3116:
3111:
3106:
3101:
3096:
3094:Syntax (logic)
3091:
3086:
3084:Semantic units
3081:
3076:
3071:
3051:
3050:
3048:
3047:
3042:
3037:
3032:
3027:
3022:
3020:Inferentialism
3017:
3015:Formal grammar
3012:
3007:
3002:
2996:
2994:
2990:
2989:
2986:
2985:
2983:
2982:
2977:
2972:
2967:
2962:
2957:
2952:
2947:
2942:
2937:
2935:Possible world
2932:
2927:
2922:
2917:
2912:
2907:
2902:
2897:
2892:
2887:
2881:
2879:
2875:
2874:
2872:
2871:
2866:
2861:
2856:
2851:
2846:
2841:
2836:
2831:
2826:
2821:
2819:Glue semantics
2816:
2811:
2806:
2801:
2796:
2791:
2785:
2783:
2782:Formal systems
2776:
2772:
2771:
2768:
2767:
2765:
2764:
2759:
2754:
2749:
2744:
2739:
2734:
2729:
2724:
2719:
2714:
2709:
2707:Polarity items
2704:
2699:
2694:
2689:
2684:
2679:
2674:
2669:
2664:
2659:
2654:
2649:
2644:
2639:
2634:
2629:
2624:
2619:
2614:
2609:
2604:
2599:
2594:
2592:Conservativity
2589:
2584:
2579:
2573:
2571:
2567:
2566:
2564:
2563:
2558:
2556:Quantification
2553:
2548:
2543:
2538:
2533:
2528:
2523:
2518:
2513:
2508:
2503:
2498:
2493:
2488:
2482:
2480:
2473:
2469:
2468:
2466:
2465:
2460:
2455:
2450:
2445:
2440:
2435:
2433:Presupposition
2430:
2425:
2420:
2415:
2410:
2405:
2400:
2394:
2392:
2388:
2387:
2380:
2379:
2372:
2365:
2357:
2348:
2347:
2345:
2344:
2339:
2334:
2328:
2325:
2324:
2322:
2321:
2316:
2315:
2314:
2304:
2299:
2294:
2289:
2284:
2279:
2274:
2269:
2263:
2261:
2257:
2256:
2254:
2253:
2243:
2233:
2223:
2213:
2203:
2193:
2183:
2173:
2163:
2153:
2143:
2133:
2123:
2112:
2110:
2106:
2105:
2103:
2102:
2095:
2090:
2085:
2080:
2075:
2070:
2065:
2060:
2055:
2053:Presupposition
2050:
2045:
2040:
2035:
2030:
2025:
2020:
2015:
2010:
2005:
2000:
1995:
1990:
1985:
1980:
1975:
1970:
1964:
1962:
1958:
1957:
1955:
1954:
1949:
1944:
1939:
1929:
1924:
1919:
1914:
1909:
1904:
1899:
1894:
1889:
1884:
1879:
1874:
1869:
1864:
1859:
1854:
1849:
1844:
1839:
1834:
1832:Deconstruction
1829:
1824:
1819:
1814:
1809:
1803:
1801:
1795:
1794:
1792:
1791:
1786:
1781:
1776:
1771:
1766:
1761:
1756:
1751:
1746:
1741:
1736:
1731:
1726:
1721:
1716:
1711:
1706:
1701:
1696:
1691:
1686:
1681:
1676:
1671:
1666:
1661:
1656:
1651:
1646:
1641:
1636:
1631:
1626:
1621:
1616:
1611:
1606:
1601:
1596:
1591:
1586:
1581:
1576:
1571:
1566:
1561:
1556:
1550:
1548:
1542:
1541:
1536:
1533:
1532:
1525:
1524:
1517:
1510:
1502:
1496:
1495:
1481:
1480:External links
1478:
1475:
1474:
1467:
1443:
1428:"Propositions"
1418:
1406:
1381:
1374:
1356:
1353:. p. 381.
1341:
1334:
1316:
1288:
1281:
1260:
1235:
1205:
1198:
1171:
1145:
1117:
1089:
1070:
1069:
1067:
1064:
1063:
1062:
1057:
1051:
1050:
1034:
1031:
1023:P. F. Strawson
972:which defines
961:
958:
944:, named after
910:
906:
903:
899:
896:
893:
872:
869:
848:
824:
800:
797:
777:
774:
771:
768:
765:
762:
742:
739:
719:
716:
713:
710:
707:
704:
684:
673:possible world
664:
661:
637:
636:
633:
630:
595:
594:
587:
586:A variable, or
495:
492:
467:
464:
462:
459:
406:
403:
387:
384:
329:
326:
302:
299:
297:
294:
257:
237:
222:possible world
146:
145:
60:
58:
51:
26:
9:
6:
4:
3:
2:
3136:
3125:
3122:
3120:
3117:
3115:
3112:
3110:
3107:
3105:
3102:
3100:
3097:
3095:
3092:
3090:
3087:
3085:
3082:
3080:
3077:
3075:
3072:
3070:
3067:
3066:
3064:
3057:
3046:
3043:
3041:
3038:
3036:
3033:
3031:
3028:
3026:
3023:
3021:
3018:
3016:
3013:
3011:
3008:
3006:
3003:
3001:
2998:
2997:
2995:
2991:
2981:
2978:
2976:
2973:
2971:
2968:
2966:
2963:
2961:
2958:
2956:
2953:
2951:
2948:
2946:
2943:
2941:
2938:
2936:
2933:
2931:
2928:
2926:
2923:
2921:
2918:
2916:
2913:
2911:
2908:
2906:
2903:
2901:
2898:
2896:
2893:
2891:
2888:
2886:
2883:
2882:
2880:
2876:
2870:
2867:
2865:
2862:
2860:
2857:
2855:
2852:
2850:
2847:
2845:
2842:
2840:
2837:
2835:
2832:
2830:
2827:
2825:
2822:
2820:
2817:
2815:
2812:
2810:
2807:
2805:
2802:
2800:
2797:
2795:
2792:
2790:
2787:
2786:
2784:
2780:
2777:
2773:
2763:
2760:
2758:
2755:
2753:
2750:
2748:
2745:
2743:
2740:
2738:
2735:
2733:
2730:
2728:
2725:
2723:
2720:
2718:
2715:
2713:
2710:
2708:
2705:
2703:
2702:Performatives
2700:
2698:
2695:
2693:
2690:
2688:
2685:
2683:
2682:Logophoricity
2680:
2678:
2675:
2673:
2670:
2668:
2665:
2663:
2660:
2658:
2655:
2653:
2650:
2648:
2645:
2643:
2640:
2638:
2635:
2633:
2630:
2628:
2625:
2623:
2620:
2618:
2615:
2613:
2610:
2608:
2605:
2603:
2600:
2598:
2595:
2593:
2590:
2588:
2585:
2583:
2580:
2578:
2575:
2574:
2572:
2568:
2562:
2559:
2557:
2554:
2552:
2549:
2547:
2544:
2542:
2539:
2537:
2534:
2532:
2529:
2527:
2524:
2522:
2519:
2517:
2516:Evidentiality
2514:
2512:
2509:
2507:
2504:
2502:
2499:
2497:
2494:
2492:
2489:
2487:
2484:
2483:
2481:
2477:
2474:
2470:
2464:
2461:
2459:
2456:
2454:
2451:
2449:
2446:
2444:
2441:
2439:
2436:
2434:
2431:
2429:
2426:
2424:
2421:
2419:
2416:
2414:
2411:
2409:
2406:
2404:
2401:
2399:
2396:
2395:
2393:
2389:
2385:
2378:
2373:
2371:
2366:
2364:
2359:
2358:
2355:
2343:
2340:
2338:
2335:
2333:
2330:
2329:
2326:
2320:
2317:
2313:
2310:
2309:
2308:
2305:
2303:
2300:
2298:
2297:Scholasticism
2295:
2293:
2290:
2288:
2285:
2283:
2280:
2278:
2275:
2273:
2270:
2268:
2265:
2264:
2262:
2258:
2249:
2248:
2244:
2239:
2238:
2234:
2229:
2228:
2224:
2219:
2218:
2214:
2209:
2208:
2204:
2199:
2198:
2194:
2189:
2188:
2184:
2179:
2178:
2174:
2168:
2164:
2159:
2158:
2154:
2149:
2148:
2144:
2139:
2138:
2134:
2129:
2128:
2124:
2119:
2118:
2114:
2113:
2111:
2107:
2101:
2100:
2096:
2094:
2091:
2089:
2086:
2084:
2081:
2079:
2076:
2074:
2071:
2069:
2066:
2064:
2061:
2059:
2056:
2054:
2051:
2049:
2046:
2044:
2041:
2039:
2036:
2034:
2031:
2029:
2026:
2024:
2021:
2019:
2016:
2014:
2011:
2009:
2006:
2004:
2001:
1999:
1996:
1994:
1991:
1989:
1986:
1984:
1981:
1979:
1976:
1974:
1971:
1969:
1966:
1965:
1963:
1959:
1953:
1950:
1948:
1945:
1943:
1940:
1937:
1933:
1930:
1928:
1925:
1923:
1920:
1918:
1915:
1913:
1912:Structuralism
1910:
1908:
1905:
1903:
1900:
1898:
1895:
1893:
1890:
1888:
1885:
1883:
1880:
1878:
1875:
1873:
1870:
1868:
1865:
1863:
1860:
1858:
1855:
1853:
1850:
1848:
1845:
1843:
1840:
1838:
1837:Descriptivism
1835:
1833:
1830:
1828:
1825:
1823:
1820:
1818:
1817:Contrastivism
1815:
1813:
1810:
1808:
1805:
1804:
1802:
1800:
1796:
1790:
1787:
1785:
1782:
1780:
1777:
1775:
1772:
1770:
1767:
1765:
1762:
1760:
1757:
1755:
1752:
1750:
1747:
1745:
1742:
1740:
1737:
1735:
1732:
1730:
1727:
1725:
1722:
1720:
1717:
1715:
1712:
1710:
1707:
1705:
1702:
1700:
1697:
1695:
1692:
1690:
1687:
1685:
1682:
1680:
1677:
1675:
1672:
1670:
1667:
1665:
1662:
1660:
1657:
1655:
1652:
1650:
1647:
1645:
1642:
1640:
1637:
1635:
1632:
1630:
1627:
1625:
1622:
1620:
1617:
1615:
1612:
1610:
1607:
1605:
1602:
1600:
1597:
1595:
1592:
1590:
1587:
1585:
1582:
1580:
1577:
1575:
1572:
1570:
1567:
1565:
1562:
1560:
1557:
1555:
1552:
1551:
1549:
1547:
1543:
1539:
1534:
1530:
1523:
1518:
1516:
1511:
1509:
1504:
1503:
1500:
1493:
1488:
1484:
1483:
1470:
1468:0-13-663625-X
1464:
1460:
1456:
1455:
1447:
1433:
1429:
1422:
1415:
1410:
1396:
1392:
1385:
1377:
1375:9780198814795
1371:
1367:
1360:
1352:
1345:
1337:
1331:
1327:
1320:
1306:
1302:
1295:
1293:
1284:
1282:0-226-28088-8
1278:
1274:
1270:
1269:Gamut, L.T.F.
1264:
1249:
1248:GeeksforGeeks
1245:
1239:
1224:
1220:
1216:
1209:
1201:
1199:9780199693764
1195:
1191:
1190:
1182:
1175:
1160:
1156:
1149:
1135:
1131:
1124:
1122:
1107:
1103:
1096:
1094:
1085:
1081:
1075:
1071:
1061:
1058:
1056:
1053:
1052:
1048:
1037:
1030:
1028:
1024:
1020:
1016:
1012:
1007:
1004:
1001:
996:
992:
989:
982:
978:
975:
969:
965:
957:
955:
951:
947:
943:
939:
935:
931:
927:
922:
904:
901:
897:
894:
870:
867:
846:
838:
822:
814:
813:inverse image
798:
795:
775:
772:
766:
760:
740:
737:
717:
714:
708:
702:
682:
674:
670:
660:
658:
654:
650:
646:
642:
634:
631:
628:
627:
626:
624:
620:
616:
612:
608:
604:
600:
592:
588:
585:
584:
583:
581:
576:
574:
567:
565:
560:
555:
552:
548:
544:
540:
536:
532:
528:
524:
520:
516:
511:
509:
505:
501:
491:
489:
485:
481:
477:
473:
458:
456:
450:
447:
443:
442:Gottlob Frege
438:
436:
432:
428:
424:
420:
416:
412:
402:
400:
396:
392:
383:
381:
377:
373:
369:
364:
362:
358:
354:
349:
347:
343:
342:truth-bearers
339:
335:
325:
323:
319:
315:
311:
308:identifies a
307:
293:
290:
286:
282:
278:
273:
271:
255:
235:
227:
223:
219:
214:
212:
208:
204:
200:
196:
192:
188:
184:
181:
177:
173:
169:
165:
161:
157:
153:
142:
139:
131:
128:February 2023
120:
117:
113:
110:
106:
103:
99:
96:
92:
89: â
88:
87:"Proposition"
84:
83:Find sources:
77:
73:
67:
66:
61:This article
59:
55:
50:
49:
44:
37:
33:
19:
18:Claim (logic)
3069:Propositions
3055:
2975:Type shifter
2945:Quantization
2895:Continuation
2762:Veridicality
2642:Exhaustivity
2607:Cumulativity
2526:Indexicality
2506:Definiteness
2501:Conditionals
2437:
2428:Logical form
2245:
2235:
2225:
2215:
2205:
2195:
2185:
2175:
2155:
2145:
2135:
2125:
2115:
2097:
2038:Metalanguage
2033:Logical form
1992:
1988:Truth-bearer
1947:Unilalianism
1857:Expressivism
1684:Wittgenstein
1629:von Humboldt
1546:Philosophers
1492:Propositions
1453:
1446:
1436:, retrieved
1431:
1421:
1409:
1399:, retrieved
1394:
1384:
1365:
1359:
1350:
1344:
1325:
1319:
1309:, retrieved
1304:
1272:
1263:
1252:. Retrieved
1250:. 2015-06-19
1247:
1238:
1226:. Retrieved
1222:
1218:
1208:
1188:
1174:
1162:. Retrieved
1158:
1148:
1137:. Retrieved
1133:
1109:. Retrieved
1105:
1074:
1008:
1005:
997:
993:
984:
980:
973:
971:
967:
963:
953:
949:
941:
937:
933:
929:
923:
836:
671:that take a
666:
656:
652:
648:
644:
640:
638:
622:
618:
614:
610:
606:
602:
598:
596:
582:as follows:
575:-order logic
572:
568:
563:
556:
551:truth-values
543:concatenated
512:
497:
469:
451:
439:
430:
418:
408:
389:
379:
375:
370:and similar
365:
350:
338:open formula
331:
304:
301:By Aristotle
274:
269:
220:which map a
215:
210:
151:
149:
134:
125:
115:
108:
101:
94:
82:
70:Please help
65:verification
62:
2890:Context set
2864:Type theory
2747:Subtrigging
2511:Disjunction
2438:Proposition
2282:Linguistics
2247:Limited Inc
2167:On Denoting
1993:Proposition
1644:de Saussure
1609:Ibn Khaldun
1015:W. V. Quine
974:proposition
564:Application
531:quantifiers
435:intentional
357:truth value
289:David Lewis
281:linguistics
226:truth value
211:proposition
152:proposition
43:preposition
3104:Term logic
3089:Statements
3063:Categories
3040:Pragmatics
2687:Mirativity
2453:Speech act
2408:Entailment
2403:Denotation
2342:Discussion
2337:Task Force
2287:Pragmatics
2078:Speech act
2008:Categories
1922:Symbiosism
1877:Nominalism
1789:Watzlawick
1669:Bloomfield
1589:Chrysippus
1438:2020-08-20
1401:2019-12-11
1311:2022-12-30
1254:2019-12-11
1139:2014-06-23
1111:2019-12-10
1066:References
695:such that
539:delimiters
427:psychology
386:By Russell
201:and other
98:newspapers
3099:Semantics
2839:Mereology
2775:Formalism
2657:Givenness
2582:Cataphora
2570:Phenomena
2561:Vagueness
2491:Ambiguity
2443:Reference
2423:Intension
2413:Extension
2319:Semiotics
2307:Semantics
2157:Alciphron
2093:Statement
2028:Intension
1968:Ambiguity
1847:Dramatism
1827:Cratylism
1579:Eubulides
1574:Aristotle
1554:Confucius
1351:Semantics
1219:Organon F
1027:statement
1011:semantics
988:ambiguity
547:recursive
519:operators
515:variables
504:semantics
500:syntactic
480:predicate
446:Platonist
314:predicate
218:functions
160:semantics
3124:Ontology
2993:See also
2878:Concepts
2752:Telicity
2587:Coercion
2541:Negation
2536:Modality
2486:Anaphora
2332:Category
2292:Rhetoric
2117:Cratylus
2088:Sentence
2063:Property
1983:Language
1961:Concepts
1799:Theories
1764:Strawson
1749:Davidson
1739:Hintikka
1734:Anscombe
1679:Vygotsky
1634:Mauthner
1604:Averroes
1594:Zhuangzi
1584:Diodorus
1564:Cratylus
1271:(1991).
1084:Archived
1033:See also
905:′
871:′
2496:Binding
2099:more...
2003:Concept
1744:Dummett
1719:Gadamer
1714:Chomsky
1699:Derrida
1689:Russell
1674:Bergson
1659:Tillich
1619:Leibniz
1559:Gorgias
1228:30 June
1164:30 June
484:subject
368:beliefs
318:subject
191:English
176:falsity
112:scholar
2925:Monads
2472:Topics
2251:(1988)
2241:(1982)
2231:(1980)
2221:(1967)
2211:(1953)
2201:(1951)
2191:(1936)
2181:(1921)
2171:(1905)
2161:(1732)
2151:(1668)
2141:(1666)
2131:(1660)
2121:(n.d.)
2083:Symbol
1784:Searle
1774:Putnam
1724:Kripke
1709:Austin
1694:Carnap
1639:RicĹur
1624:Herder
1614:Hobbes
1465:
1372:
1332:
1279:
1196:
940:(also
609:, and
533:, and
488:copula
322:copula
272:view.
199:belief
195:German
183:denote
168:bearer
114:
107:
100:
93:
85:
2617:De se
2521:Focus
2479:Areas
2448:Scope
2109:Works
2018:Class
1779:Lewis
1769:Quine
1754:Grice
1704:Whorf
1664:Sapir
1649:Frege
1599:Xunzi
1569:Plato
1184:(PDF)
591:arity
482:of a
431:about
361:signs
316:of a
277:logic
224:to a
172:truth
164:logic
119:JSTOR
105:books
2068:Sign
1973:Cant
1759:Ryle
1729:Ayer
1654:Boas
1463:ISBN
1459:1â14
1370:ISBN
1330:ISBN
1277:ISBN
1230:2021
1194:ISBN
1166:2021
1019:sets
928:and
859:and
580:term
425:and
419:that
207:idea
91:news
2869:TTR
2013:Set
1029:".
815:of
174:or
170:of
74:by
3065::
2169:"
1461:.
1291:^
1246:.
1223:28
1221:.
1217:.
1157:.
1132:.
1120:^
1104:.
1092:^
1082:.
1013:.
921:.
617:+(
605:,
529:,
525:,
521:,
517:,
348:.
283:,
279:,
162:,
158:,
150:A
2376:e
2369:t
2362:v
2165:"
1938:)
1934:(
1521:e
1514:t
1507:v
1471:.
1378:.
1338:.
1285:.
1257:.
1232:.
1202:.
1168:.
1142:.
1114:.
909:}
902:w
898:,
895:w
892:{
868:w
847:w
823:T
799:,
796:v
776:F
773:=
770:)
767:v
764:(
761:f
741:,
738:w
718:T
715:=
712:)
709:w
706:(
703:f
683:f
657:z
655:,
653:y
651:,
649:x
645:â
641:=
623:z
621:+
619:y
615:x
611:z
607:y
603:x
599:+
593:.
573:n
256:F
236:T
141:)
135:(
130:)
126:(
116:¡
109:¡
102:¡
95:¡
68:.
45:.
38:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.