1005:
22:
154:
Meaning
Postulate is a formula to express an aspect of the sense of a predicate. The formula is expressed with - so-called - connectives. The used connectives are:
319:
250:
Montague, Richard (1973), "The Proper
Treatment of Quantification in Ordinary English", in Hintikka, K. J. J.; Moravcsik, J. M. E.; Suppes, P. (eds.),
793:
1046:
267:
661:
328:
135:
39:
105:
86:
748:
402:
58:
869:
743:
312:
119:
43:
521:
342:
65:
1070:
1039:
407:
495:
889:
551:
372:
72:
32:
894:
844:
606:
305:
1075:
949:
813:
392:
54:
1032:
944:
490:
282:
Partee, Barbara (2014). "A Brief
History of the Syntax-Semantics Interface in Western Formal Linguistics".
974:
646:
616:
591:
531:
430:
362:
130:
is a way of stipulating a relationship between the meanings of two or more words. They were introduced by
123:
163:
1. "If and only if X is a man, then X is a human being." In meaning postulate this would look like this:
874:
768:
733:
621:
596:
440:
357:
187:
859:
666:
445:
939:
854:
798:
701:
686:
656:
636:
611:
480:
465:
1065:
984:
909:
884:
849:
829:
758:
738:
676:
671:
581:
571:
556:
500:
232:
79:
964:
919:
904:
803:
773:
753:
546:
475:
263:
224:
1016:
969:
899:
788:
566:
255:
216:
175:
3. "X is not awake, therefore X is asleep." In meaning postulate this would look like this:
146:, and they have features prominently in formal semantics following in Montague's footsteps.
143:
139:
778:
681:
576:
541:
959:
954:
879:
763:
641:
536:
377:
169:
2. "If X is a girl, then X is female." In meaning postulate this would look like this:
297:
1059:
651:
626:
460:
236:
131:
914:
839:
706:
586:
470:
450:
259:
834:
808:
691:
455:
382:
21:
1004:
979:
631:
397:
352:
347:
228:
1012:
783:
601:
526:
505:
435:
387:
367:
157:
paraphrase ≡ "if and only if" entailment → "if" binary antonomy ~ "not"
696:
485:
220:
561:
301:
15:
142:
made heavy use of meaning postulates in the development of
1020:
207:
Carnap, Rudolf (October 1952). "Meaning postulates".
932:
822:
726:
719:
514:
423:
416:
335:
46:. Unsourced material may be challenged and removed.
794:Segmented discourse representation theory (SDRT)
1040:
313:
8:
1047:
1033:
723:
420:
320:
306:
298:
254:, Springer Netherlands, pp. 221–242,
106:Learn how and when to remove this message
199:
160:Following examples will simplify this:
749:Discourse representation theory (DRT)
7:
1001:
999:
44:adding citations to reliable sources
662:Quantificational variability effect
329:Formal semantics (natural language)
1019:. You can help Knowledge (XXG) by
14:
1003:
20:
31:needs additional citations for
744:Combinatory categorial grammar
252:Approaches to Natural Language
136:analytic/synthetic distinction
1:
522:Antecedent-contained deletion
260:10.1007/978-94-010-2506-5_10
134:as a way of approaching the
1092:
998:
403:Syntax–semantics interface
284:Syntax-Semantics Interface
895:Question under discussion
845:Conversational scoreboard
622:Intersective modification
607:Homogeneity (linguistics)
950:Distributional semantics
945:Computational semantics
687:Subsective modification
491:Propositional attitudes
975:Philosophy of language
617:Inalienable possession
597:Free choice inferences
592:Faultless disagreement
363:Generalized quantifier
166:x MAN ≡ x HUMAN BEING
124:philosophy of language
875:Plural quantification
769:Inquisitive semantics
734:Alternative semantics
209:Philosophical Studies
188:List of logic symbols
860:Function application
667:Responsive predicate
657:Privative adjectives
178:x ASLEEP → ~x AWAKE
40:improve this article
1071:Analytic philosophy
940:Cognitive semantics
855:Existential closure
799:Situation semantics
702:Temperature paradox
672:Rising declaratives
637:Modal subordination
612:Hurford disjunction
572:Discourse relations
55:"Meaning postulate"
985:Semantics of logic
910:Strict conditional
885:Quantifier raising
850:Downward entailing
830:Autonomy of syntax
759:Generative grammar
739:Categorial grammar
677:Scalar implicature
582:Epistemic modality
557:De dicto and de re
221:10.1007/BF02350366
172:x GIRL → x FEMALE
1028:
1027:
993:
992:
965:Logic translation
928:
927:
920:Universal grinder
905:Squiggle operator
865:Meaning postulate
804:Supervaluationism
774:Intensional logic
754:Dynamic semantics
715:
714:
547:Crossover effects
496:Tense–aspect–mood
476:Lexical semantics
269:978-90-277-0233-3
128:meaning postulate
116:
115:
108:
90:
1083:
1049:
1042:
1035:
1007:
1000:
970:Linguistics wars
900:Semantic parsing
789:Montague grammar
724:
567:Deontic modality
421:
408:Truth conditions
343:Compositionality
336:Central concepts
322:
315:
308:
299:
292:
291:
279:
273:
272:
247:
241:
240:
204:
144:Montague grammar
140:Richard Montague
138:. Subsequently,
120:formal semantics
111:
104:
100:
97:
91:
89:
48:
24:
16:
1091:
1090:
1086:
1085:
1084:
1082:
1081:
1080:
1076:Semantics stubs
1056:
1055:
1054:
1053:
996:
994:
989:
924:
818:
779:Lambda calculus
711:
682:Sloppy identity
642:Opaque contexts
577:Donkey anaphora
542:Counterfactuals
510:
412:
331:
326:
296:
295:
281:
280:
276:
270:
249:
248:
244:
206:
205:
201:
196:
184:
179:
173:
167:
158:
152:
112:
101:
95:
92:
49:
47:
37:
25:
12:
11:
5:
1089:
1087:
1079:
1078:
1073:
1068:
1058:
1057:
1052:
1051:
1044:
1037:
1029:
1026:
1025:
1008:
991:
990:
988:
987:
982:
977:
972:
967:
962:
960:Inferentialism
957:
955:Formal grammar
952:
947:
942:
936:
934:
930:
929:
926:
925:
923:
922:
917:
912:
907:
902:
897:
892:
887:
882:
880:Possible world
877:
872:
867:
862:
857:
852:
847:
842:
837:
832:
826:
824:
820:
819:
817:
816:
811:
806:
801:
796:
791:
786:
781:
776:
771:
766:
764:Glue semantics
761:
756:
751:
746:
741:
736:
730:
728:
727:Formal systems
721:
717:
716:
713:
712:
710:
709:
704:
699:
694:
689:
684:
679:
674:
669:
664:
659:
654:
652:Polarity items
649:
644:
639:
634:
629:
624:
619:
614:
609:
604:
599:
594:
589:
584:
579:
574:
569:
564:
559:
554:
549:
544:
539:
537:Conservativity
534:
529:
524:
518:
516:
512:
511:
509:
508:
503:
501:Quantification
498:
493:
488:
483:
478:
473:
468:
463:
458:
453:
448:
443:
438:
433:
427:
425:
418:
414:
413:
411:
410:
405:
400:
395:
390:
385:
380:
378:Presupposition
375:
370:
365:
360:
355:
350:
345:
339:
337:
333:
332:
327:
325:
324:
317:
310:
302:
294:
293:
274:
268:
242:
198:
197:
195:
192:
191:
190:
183:
180:
177:
171:
165:
156:
151:
148:
114:
113:
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
1088:
1077:
1074:
1072:
1069:
1067:
1064:
1063:
1061:
1050:
1045:
1043:
1038:
1036:
1031:
1030:
1024:
1022:
1018:
1015:article is a
1014:
1009:
1006:
1002:
997:
986:
983:
981:
978:
976:
973:
971:
968:
966:
963:
961:
958:
956:
953:
951:
948:
946:
943:
941:
938:
937:
935:
931:
921:
918:
916:
913:
911:
908:
906:
903:
901:
898:
896:
893:
891:
888:
886:
883:
881:
878:
876:
873:
871:
868:
866:
863:
861:
858:
856:
853:
851:
848:
846:
843:
841:
838:
836:
833:
831:
828:
827:
825:
821:
815:
812:
810:
807:
805:
802:
800:
797:
795:
792:
790:
787:
785:
782:
780:
777:
775:
772:
770:
767:
765:
762:
760:
757:
755:
752:
750:
747:
745:
742:
740:
737:
735:
732:
731:
729:
725:
722:
718:
708:
705:
703:
700:
698:
695:
693:
690:
688:
685:
683:
680:
678:
675:
673:
670:
668:
665:
663:
660:
658:
655:
653:
650:
648:
647:Performatives
645:
643:
640:
638:
635:
633:
630:
628:
627:Logophoricity
625:
623:
620:
618:
615:
613:
610:
608:
605:
603:
600:
598:
595:
593:
590:
588:
585:
583:
580:
578:
575:
573:
570:
568:
565:
563:
560:
558:
555:
553:
550:
548:
545:
543:
540:
538:
535:
533:
530:
528:
525:
523:
520:
519:
517:
513:
507:
504:
502:
499:
497:
494:
492:
489:
487:
484:
482:
479:
477:
474:
472:
469:
467:
464:
462:
461:Evidentiality
459:
457:
454:
452:
449:
447:
444:
442:
439:
437:
434:
432:
429:
428:
426:
422:
419:
415:
409:
406:
404:
401:
399:
396:
394:
391:
389:
386:
384:
381:
379:
376:
374:
371:
369:
366:
364:
361:
359:
356:
354:
351:
349:
346:
344:
341:
340:
338:
334:
330:
323:
318:
316:
311:
309:
304:
303:
300:
289:
285:
278:
275:
271:
265:
261:
257:
253:
246:
243:
238:
234:
230:
226:
222:
218:
214:
210:
203:
200:
193:
189:
186:
185:
181:
176:
170:
164:
161:
155:
149:
147:
145:
141:
137:
133:
132:Rudolf Carnap
129:
125:
121:
110:
107:
99:
88:
85:
81:
78:
74:
71:
67:
64:
60:
57: –
56:
52:
51:Find sources:
45:
41:
35:
34:
29:This article
27:
23:
18:
17:
1021:expanding it
1010:
995:
915:Type shifter
890:Quantization
864:
840:Continuation
707:Veridicality
587:Exhaustivity
552:Cumulativity
471:Indexicality
451:Definiteness
446:Conditionals
373:Logical form
287:
283:
277:
251:
245:
215:(5): 65–73.
212:
208:
202:
174:
168:
162:
159:
153:
127:
117:
102:
96:January 2021
93:
83:
76:
69:
62:
50:
38:Please help
33:verification
30:
835:Context set
809:Type theory
692:Subtrigging
456:Disjunction
383:Proposition
1060:Categories
980:Pragmatics
632:Mirativity
398:Speech act
353:Entailment
348:Denotation
194:References
66:newspapers
1066:Semantics
1013:semantics
784:Mereology
720:Formalism
602:Givenness
527:Cataphora
515:Phenomena
506:Vagueness
436:Ambiguity
388:Reference
368:Intension
358:Extension
237:189787462
229:0031-8116
933:See also
823:Concepts
697:Telicity
532:Coercion
486:Negation
481:Modality
431:Anaphora
182:See also
150:Examples
441:Binding
290:: 1–21.
80:scholar
870:Monads
417:Topics
266:
235:
227:
82:
75:
68:
61:
53:
1011:This
562:De se
466:Focus
424:Areas
393:Scope
233:S2CID
87:JSTOR
73:books
1017:stub
264:ISBN
225:ISSN
126:, a
122:and
59:news
814:TTR
256:doi
217:doi
118:In
42:by
1062::
286:.
262:,
231:.
223:.
211:.
1048:e
1041:t
1034:v
1023:.
321:e
314:t
307:v
288:1
258::
239:.
219::
213:3
109:)
103:(
98:)
94:(
84:·
77:·
70:·
63:·
36:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.