Knowledge

Supposition theory

Source 📝

43: 206:. Signification is the imposition of a meaning on an utterance, but supposition is taking a meaningful term as standing in for something. According to Peter of Spain "Hence signification is prior to supposition. Neither do they belong to the same thing. For to signify belongs to an utterance, but to supposit belongs to a term already, as it were, put together out of an utterance and a signification." An easy way to see the difference is in our 275:
The Medieval logicians give elaborate sets of syntactical rules for determining when a term supposits discretely, determinately, confusedly, or confusedly and distributively. So for example the subject of a negative claim, or indefinite one supposits determinately, but the subject of a singular claim
404:
says "Ampliation is the extension of a common term from a lesser supposition to a greater one." In practice, if I speak of the past, or the future, or make a modal claim, the terms I use get ampliated to supposit for past things, future things, or possible things, rather than their usual supposition
367:
That is basically how the theory works, a much thornier problem is exactly what the theory is for. Some commentators, like Michael Loux, have suggested that the theory of ascent and descent to particulars is intended to provide truth conditions for the quantifiers. T. K. Scott has suggested that the
221:
Medieval logicians divided supposition into many different kinds; the jargons for the different kinds, their relations and what they all mean get complex, and differ greatly from logician to logician. Paul Spade's webpage has a series of helpful diagrams here. The most important division is probably
271:
Personal supposition was further divided in types such as discrete, determinate, merely confused, and confused and distributive. In 1966 T.K. Scott proposed giving a separate name for Medieval discussions of the subvarieties of personal supposition, because he thought it was a fairly distinct issue
280:
gives 15 rules for determining which type of personal supposition a term is using. Further the medieval logicians did not seem to dispute about the details of the syntactic rules for determining type of personal supposition. These rules seem to be important because they were linked to theories of
247:
is not standing in for any particular cup, but for the idea of a cup in the human mind (according to Ockham, and many medieval logicians, but not according to John Buridan). Personal supposition in contrast is when the term supposits for what it signifies. If I say
238:
I64, 8) "Simple supposition occurs when a term supposits for an intention of the soul, but is not take significatively." The idea is that simple supposition happens when the term is standing in for a human concept rather than for the object itself. If I say
189:
was used in a different way). However, supposition was a different semantic relationship from signification. Signification was a conventional relationship between utterances and objects mediated by the particularities of a language.
222:
between material, simple, personal, and improper supposition. A term supposits materially when it is used to stand in for an utterance or inscription, rather than for what it signifies. When I say
326:. Here I am referring not to a determinate particular cup, but to all cups "fused" together, that is all cups "confusedly." This is called confused and distributive supposition. 1340: 260:
in English, so it is in personal supposition. A term is in improper supposition if it is suppositing for an object, but a different object than it signifies, as in my example
158:
were its principal developers. By the 14th century it seems to have drifted into at least two fairly distinct theories, the theory of "supposition proper", which included an "
234:
rather than for a piece of pottery. Material supposition is a medieval way of doing the work we would do today by using quotation marks. According to Ockham (
364:. Here descent to disjunction fails, and descent to conjunction fails, but "ascent from particulars" is valid. This is called "merely confused supposition." 292:
as the predicate term. Further cup is a common term, including many particular cups within it. So if I "descend to particulars" I can re-phrase my claim as
400:
cannot just be suppositing for all the cups that exist, but for cups in the past as well. Here I am expanding the normal supposition of the terms I use.
713: 405:
for present actual things. Thus, ampliation becomes the medieval theory for explaining modal and tense logics within the theory of supposition.
72: 272:
from the other varieties of supposition. He proposed calling the subvarieties of personal supposition a theory of "modes of supposition."
1430: 376:
Paul Spade has suggested that by the 14th century the theory of modes of personal supposition wasn't aimed at anything at all anymore.
170:
Supposition was a semantic relation between a term and what that term was being used to talk about. So, for example, in the suggestion
1530: 1292: 352:. On the other hand, if it happened to be the case that there was only one coffee cup left in the world, it would be true that 1535: 609: 442: 706: 296:
If I had an infinite disjunction of all particular cups, it could stand in for the term cup, in its simple supposition in
662: 643: 162:" and is much like a theory of reference, and the theory of "modes of supposition" whose intended function is not clear. 94: 65: 739: 1525: 699: 1505: 1370: 492: 277: 151: 1556: 1251: 1030: 992: 942: 1561: 1500: 1400: 294:
I want to buy this cup or I want to buy that cup, or I want to buy that other cup - and so on for all cups.
1241: 1191: 276:
supposits discretely, while the subject of an affirmative claim supposits confusedly and determinately.
1380: 1120: 1000: 731: 333:
I cannot descend to a disjunction of particulars, or to a conjunction of particulars, but only because
1566: 1465: 1065: 972: 812: 572: 55: 1390: 59: 51: 1035: 962: 817: 519: 472: 155: 17: 1281: 1125: 1060: 722: 558: 548: 218:
as a term of the language English is being used to supposit for the wine contained in the cup.
76: 340:
However, the predicate of a universal affirmative claim won't really fit any of these models.
1256: 1236: 1171: 1055: 837: 429: 324:
This cup isn't a table, AND that cup isn't a table, AND that other cup isn't a table, AND ...
31: 1420: 1330: 1129: 1090: 822: 337:
is already a particular. This kind of personal supposition is called discrete supposition.
304:
I mean some determinate cup, but I don't necessarily know which one yet. Likewise if I say
8: 1470: 1460: 1310: 1266: 1100: 877: 792: 143: 127: 114:
logic that was probably aimed at giving accounts of issues similar to modern accounts of
653: 1320: 1216: 1211: 1135: 912: 897: 862: 679:
Thoughts, Words, and Things. An Introduction to Late Medieval Logic and Semantic Theory
444:
Thoughts, words and things: An introduction to late mediaeval logic and semantic theory
1286: 1206: 1045: 927: 634: 605: 139: 123: 1350: 1261: 1085: 1080: 882: 582: 503: 421: 203: 677: 1495: 1410: 1166: 1145: 1095: 1075: 1015: 982: 937: 932: 892: 777: 686: 657: 638: 615: 553:
Formalizing Medieval Logical Theories. Suppositio, Consequentiae and Obligationes
511: 451: 1246: 1201: 1025: 957: 827: 507: 401: 832: 1550: 1490: 1105: 1010: 1005: 967: 887: 867: 842: 807: 586: 147: 1231: 1226: 1181: 1140: 1050: 952: 907: 902: 872: 857: 852: 372:
but the theory of personal supposition was aimed at answering the question
135: 1475: 1440: 1360: 1186: 977: 917: 802: 787: 691: 590: 536:
Medieval Supposition Theory Revisited. Studies in Memory of L. M. de Rijk
1480: 1271: 1115: 1070: 947: 922: 847: 782: 350:
All coffee cups are this cup, and all coffee cups are that cup, and ...
159: 671: 1512: 1221: 1161: 1040: 1020: 772: 767: 747: 346:
All coffee cups are this cup, or all coffee cups are that cup, or ...
131: 115: 1485: 1176: 797: 757: 111: 1196: 752: 368:
theory of supposition proper was designed to answer the question
450:(Version 1.1 ed.). Author. pp. 243–308. Archived from 1341:
An Essay Towards a Real Character, and a Philosophical Language
1276: 119: 687:
Annotated Bibliography on the Medieval Theories of Supposition
762: 195: 185:
of a term was the object the term referred to. (In grammar,
300:
This is called determinate supposition. That is when I say
426:
Medieval Foundations of the Western intellectual Tradition
310:
This cup isn't a table, or that cup isn't a table or ...
320:
This cup isn't a table or that one isn't a table or ...
469:
Introduction to Buridan: Sophisms on Meaning and Truth
392:
supposits for all the cups that exist. But if I say
281:
descent to particulars and ascent from particulars.
214:as an utterance signifies a cup as an object, but 178:is suppositing for the wine contained in the cup. 1548: 288:I've made an indefinite affirmative claim, with 64:but its sources remain unclear because it lacks 256:is standing in for the object that is called a 602:The Cambridge Companion to Medieval Philosophy 595:Cambridge History of Later Medieval Philosophy 518:, Text, Translation, Introduction, and Notes, 707: 569:, Dordrecht: Springer, 2011, pp. 1229-1236. 1431:Wittgenstein on Rules and Private Language 721: 714: 700: 394:Some cups were made of lead in Roman times 370:What kind of thing are you talking about? 230:to supposit materially for the utterance 95:Learn how and when to remove this message 635:"Medieval Theories: Properties of Terms" 374:How many of them are you talking about? 266: 14: 1549: 597:Cambridge: Cambridge University Press. 441:Spade, Paul Vincent (August 9, 2002). 695: 651: 440: 241:Cups are an important type of pottery 165: 622:, New York: oxford University Press. 36: 663:Stanford Encyclopedia of Philosophy 644:Stanford Encyclopedia of Philosophy 567:Encyclopedia of Medieval Philosophy 24: 32:Extended chord § 18th century 25: 1578: 626: 516:Peter of Spain Summaries of Logic 632: 600:McGrade, A.S. (editor), (2003). 41: 654:"Medieval Theories of Modality" 528: 348:, but still less does it imply 1371:Tractatus Logico-Philosophicus 672:Mediaeval Logic and Philosophy 604:, Cambridge University Press. 541:De Rijk, Lambertus M. (1967). 497: 493:University of Notre Dame Press 477: 461: 434: 415: 356:, so I can validly infer from 134:context. Philosophers such as 30:For supposition in music, see 13: 1: 1252:Principle of compositionality 408: 379: 1401:Philosophical Investigations 575:& Martha Kneale (1962). 358:All coffee cups are that cup 354:All coffee cups are that cup 314:On the other hand, if I say 7: 1242:Modality (natural language) 620:Articulating medieval Logic 224:Cup is a monosyllabic word, 10: 1583: 1381:Language, Truth, and Logic 1121:Theological noncognitivism 1006:Contrast theory of meaning 1001:Causal theory of reference 732:Index of language articles 579:. Oxford: Clarendon Press. 29: 1521: 1466:Philosophy of information 1453: 1302: 1154: 1066:Mediated reference theory 991: 738: 729: 1391:Two Dogmas of Empiricism 489:Ockham's Theory of Terms 386:No cups are made of lead 362:All coffee cups are cups 342:All coffee cups are cups 331:This cup is made of gold 50:This article includes a 27:Branch of medieval logic 1192:Use–mention distinction 1036:Direct reference theory 520:Oxford University Press 473:Appleton-Century-Crofts 306:Some cup isn't a table, 79:more precise citations. 1126:Theory of descriptions 1061:Linguistic determinism 723:Philosophy of language 565:in H. Lagerlund (ed.) 534:Bos, E.P. (ed. 2013), 483:Loux, Michael (1974). 1237:Mental representation 1172:Linguistic relativity 1056:Inquisitive semantics 555:. New York: Springer. 430:Yale University Press 1557:Theories of language 1421:Naming and Necessity 1331:De Arte Combinatoria 1130:Definite description 1091:Semantic externalism 676:Paul Vincent Spade. 670:Paul Vincent Spade. 577:Development of Logic 545:. Assen: Van Gorcum. 485:Ockham on Generality 298:I want to buy a cup. 267:Modes of supposition 226:I am using the word 1562:Medieval philosophy 1471:Philosophical logic 1461:Analytic philosophy 1267:Sense and reference 1146:Verification theory 1101:Situation semantics 467:Scott, T.K (1966). 308:I could substitute 302:I want to buy a cup 286:I want to buy a cup 144:William of Sherwood 1321:Port-Royal Grammar 1217:Family resemblance 1136:Theory of language 1111:Supposition theory 563:Supposition Theory 262:Drink another cup. 166:Supposition proper 108:Supposition theory 52:list of references 1544: 1543: 1046:Dynamic semantics 652:Knuuttila, Simo. 610:978-0-521-00063-5 583:Kretzmann, Norman 559:Dutilh Novaes, C. 549:Dutilh Novaes, C. 543:Logica Modernorum 316:No cup is a table 208:drink another cup 172:Drink another cup 140:William of Ockham 105: 104: 97: 16:(Redirected from 1574: 1567:History of logic 1506:Formal semantics 1454:Related articles 1446: 1436: 1426: 1416: 1406: 1396: 1386: 1376: 1366: 1356: 1346: 1336: 1326: 1316: 1086:Relevance theory 1081:Phallogocentrism 716: 709: 702: 693: 692: 667: 658:Zalta, Edward N. 648: 639:Zalta, Edward N. 538:, Brill: Leiden. 522: 504:Brian Copenhaver 501: 495: 481: 475: 465: 459: 458: 456: 449: 438: 432: 422:Marcia L. Colish 419: 278:Albert of Saxony 152:Albert of Saxony 110:was a branch of 100: 93: 89: 86: 80: 75:this article by 66:inline citations 45: 44: 37: 21: 1582: 1581: 1577: 1576: 1575: 1573: 1572: 1571: 1547: 1546: 1545: 1540: 1517: 1496:School of Names 1449: 1444: 1434: 1424: 1414: 1411:Of Grammatology 1404: 1394: 1384: 1374: 1364: 1354: 1344: 1334: 1324: 1314: 1298: 1150: 1096:Semantic holism 1076:Non-cognitivism 1016:Conventionalism 987: 734: 725: 720: 685:Raul Corazzon. 633:Read, Stephen. 629: 616:Terence Parsons 573:Kneale, William 531: 526: 525: 512:Terence Parsons 502: 498: 482: 478: 466: 462: 454: 447: 439: 435: 428:, pages 275,6, 420: 416: 411: 382: 344:does not imply 318:, I don't mean 269: 250:Pass me the cup 168: 101: 90: 84: 81: 70: 56:related reading 46: 42: 35: 28: 23: 22: 15: 12: 11: 5: 1580: 1570: 1569: 1564: 1559: 1542: 1541: 1539: 1538: 1533: 1528: 1522: 1519: 1518: 1516: 1515: 1510: 1509: 1508: 1498: 1493: 1488: 1483: 1478: 1473: 1468: 1463: 1457: 1455: 1451: 1450: 1448: 1447: 1437: 1427: 1417: 1407: 1397: 1387: 1377: 1367: 1357: 1347: 1337: 1327: 1317: 1306: 1304: 1300: 1299: 1297: 1296: 1289: 1284: 1279: 1274: 1269: 1264: 1259: 1254: 1249: 1247:Presupposition 1244: 1239: 1234: 1229: 1224: 1219: 1214: 1209: 1204: 1199: 1194: 1189: 1184: 1179: 1174: 1169: 1164: 1158: 1156: 1152: 1151: 1149: 1148: 1143: 1138: 1133: 1123: 1118: 1113: 1108: 1103: 1098: 1093: 1088: 1083: 1078: 1073: 1068: 1063: 1058: 1053: 1048: 1043: 1038: 1033: 1028: 1026:Deconstruction 1023: 1018: 1013: 1008: 1003: 997: 995: 989: 988: 986: 985: 980: 975: 970: 965: 960: 955: 950: 945: 940: 935: 930: 925: 920: 915: 910: 905: 900: 895: 890: 885: 880: 875: 870: 865: 860: 855: 850: 845: 840: 835: 830: 825: 820: 815: 810: 805: 800: 795: 790: 785: 780: 775: 770: 765: 760: 755: 750: 744: 742: 736: 735: 730: 727: 726: 719: 718: 711: 704: 696: 690: 689: 683: 674: 668: 649: 628: 627:External links 625: 624: 623: 613: 598: 580: 570: 556: 546: 539: 530: 527: 524: 523: 508:Calvin Normore 496: 476: 460: 457:on 2008-04-07. 433: 413: 412: 410: 407: 402:Peter of Spain 381: 378: 268: 265: 236:Summa of Logic 210:example. Here 167: 164: 156:Peter of Spain 103: 102: 60:external links 49: 47: 40: 26: 9: 6: 4: 3: 2: 1579: 1568: 1565: 1563: 1560: 1558: 1555: 1554: 1552: 1537: 1534: 1532: 1529: 1527: 1524: 1523: 1520: 1514: 1511: 1507: 1504: 1503: 1502: 1499: 1497: 1494: 1492: 1491:Scholasticism 1489: 1487: 1484: 1482: 1479: 1477: 1474: 1472: 1469: 1467: 1464: 1462: 1459: 1458: 1456: 1452: 1443: 1442: 1438: 1433: 1432: 1428: 1423: 1422: 1418: 1413: 1412: 1408: 1403: 1402: 1398: 1393: 1392: 1388: 1383: 1382: 1378: 1373: 1372: 1368: 1362: 1358: 1353: 1352: 1348: 1343: 1342: 1338: 1333: 1332: 1328: 1323: 1322: 1318: 1313: 1312: 1308: 1307: 1305: 1301: 1295: 1294: 1290: 1288: 1285: 1283: 1280: 1278: 1275: 1273: 1270: 1268: 1265: 1263: 1260: 1258: 1255: 1253: 1250: 1248: 1245: 1243: 1240: 1238: 1235: 1233: 1230: 1228: 1225: 1223: 1220: 1218: 1215: 1213: 1210: 1208: 1205: 1203: 1200: 1198: 1195: 1193: 1190: 1188: 1185: 1183: 1180: 1178: 1175: 1173: 1170: 1168: 1165: 1163: 1160: 1159: 1157: 1153: 1147: 1144: 1142: 1139: 1137: 1134: 1131: 1127: 1124: 1122: 1119: 1117: 1114: 1112: 1109: 1107: 1106:Structuralism 1104: 1102: 1099: 1097: 1094: 1092: 1089: 1087: 1084: 1082: 1079: 1077: 1074: 1072: 1069: 1067: 1064: 1062: 1059: 1057: 1054: 1052: 1049: 1047: 1044: 1042: 1039: 1037: 1034: 1032: 1031:Descriptivism 1029: 1027: 1024: 1022: 1019: 1017: 1014: 1012: 1011:Contrastivism 1009: 1007: 1004: 1002: 999: 998: 996: 994: 990: 984: 981: 979: 976: 974: 971: 969: 966: 964: 961: 959: 956: 954: 951: 949: 946: 944: 941: 939: 936: 934: 931: 929: 926: 924: 921: 919: 916: 914: 911: 909: 906: 904: 901: 899: 896: 894: 891: 889: 886: 884: 881: 879: 876: 874: 871: 869: 866: 864: 861: 859: 856: 854: 851: 849: 846: 844: 841: 839: 836: 834: 831: 829: 826: 824: 821: 819: 816: 814: 811: 809: 806: 804: 801: 799: 796: 794: 791: 789: 786: 784: 781: 779: 776: 774: 771: 769: 766: 764: 761: 759: 756: 754: 751: 749: 746: 745: 743: 741: 737: 733: 728: 724: 717: 712: 710: 705: 703: 698: 697: 694: 688: 684: 681: 680: 675: 673: 669: 665: 664: 659: 655: 650: 646: 645: 640: 636: 631: 630: 621: 617: 614: 611: 607: 603: 599: 596: 592: 588: 587:Anthony Kenny 584: 581: 578: 574: 571: 568: 564: 560: 557: 554: 550: 547: 544: 540: 537: 533: 532: 521: 517: 513: 509: 505: 500: 494: 490: 486: 480: 474: 470: 464: 453: 446: 445: 437: 431: 427: 423: 418: 414: 406: 403: 399: 395: 391: 387: 377: 375: 371: 365: 363: 359: 355: 351: 347: 343: 338: 336: 332: 327: 325: 321: 317: 312: 311: 307: 303: 299: 295: 291: 287: 282: 279: 273: 264: 263: 259: 255: 251: 246: 242: 237: 233: 229: 225: 219: 217: 213: 209: 205: 202:signifies in 201: 197: 194:signifies in 193: 188: 184: 179: 177: 173: 163: 161: 157: 153: 149: 148:Walter Burley 145: 141: 137: 133: 129: 125: 121: 117: 113: 109: 99: 96: 88: 85:February 2015 78: 74: 68: 67: 61: 57: 53: 48: 39: 38: 33: 19: 1439: 1429: 1419: 1409: 1399: 1389: 1379: 1369: 1349: 1339: 1329: 1319: 1309: 1291: 1232:Metalanguage 1227:Logical form 1182:Truth-bearer 1141:Unilalianism 1110: 1051:Expressivism 878:Wittgenstein 823:von Humboldt 740:Philosophers 678: 661: 642: 619: 601: 594: 576: 566: 562: 552: 542: 535: 529:Bibliography 515: 499: 488: 484: 479: 468: 463: 452:the original 443: 436: 425: 417: 397: 393: 389: 385: 383: 373: 369: 366: 361: 357: 353: 349: 345: 341: 339: 334: 330: 328: 323: 319: 315: 313: 309: 305: 301: 297: 293: 289: 285: 283: 274: 270: 261: 257: 253: 249: 244: 240: 235: 231: 227: 223: 220: 215: 211: 207: 199: 191: 186: 182: 181:The logical 180: 175: 171: 169: 136:John Buridan 132:Aristotelian 130:, within an 107: 106: 91: 82: 71:Please help 63: 1476:Linguistics 1441:Limited Inc 1361:On Denoting 1187:Proposition 838:de Saussure 803:Ibn Khaldun 591:Jan Pinborg 384:When I say 284:When I say 174:, the term 77:introducing 1551:Categories 1536:Discussion 1531:Task Force 1481:Pragmatics 1272:Speech act 1202:Categories 1116:Symbiosism 1071:Nominalism 983:Watzlawick 863:Bloomfield 783:Chrysippus 409:References 380:Ampliation 187:suppositum 183:suppositum 160:ampliation 1513:Semiotics 1501:Semantics 1351:Alciphron 1287:Statement 1222:Intension 1162:Ambiguity 1041:Dramatism 1021:Cratylism 773:Eubulides 768:Aristotle 748:Confucius 329:If I say 252:the term 243:the term 120:plurality 116:reference 1526:Category 1486:Rhetoric 1311:Cratylus 1282:Sentence 1257:Property 1177:Language 1155:Concepts 993:Theories 958:Strawson 943:Davidson 933:Hintikka 928:Anscombe 873:Vygotsky 828:Mauthner 798:Averroes 788:Zhuangzi 778:Diodorus 758:Cratylus 618:(2014). 593:(1982). 561:(2011), 551:(2007), 335:this cup 128:modality 112:medieval 1293:more... 1197:Concept 938:Dummett 913:Gadamer 908:Chomsky 893:Derrida 883:Russell 868:Bergson 853:Tillich 813:Leibniz 753:Gorgias 660:(ed.). 641:(ed.). 514:(2014) 424:(1976) 322:I mean 204:English 192:Poculum 73:improve 18:Suppose 1445:(1988) 1435:(1982) 1425:(1980) 1415:(1967) 1405:(1953) 1395:(1951) 1385:(1936) 1375:(1921) 1365:(1905) 1355:(1732) 1345:(1668) 1335:(1666) 1325:(1660) 1315:(n.d.) 1277:Symbol 978:Searle 968:Putnam 918:Kripke 903:Austin 888:Carnap 833:Ricœur 818:Herder 808:Hobbes 608:  589:& 510:& 154:, and 126:, and 1303:Works 1212:Class 973:Lewis 963:Quine 948:Grice 898:Whorf 858:Sapir 843:Frege 793:Xunzi 763:Plato 682:(PDF) 656:. In 637:. In 455:(PDF) 448:(PDF) 360:, to 198:what 196:Latin 124:tense 58:, or 1262:Sign 1167:Cant 953:Ryle 923:Ayer 848:Boas 606:ISBN 398:cups 390:cups 245:cups 1207:Set 487:in 471:, 290:cup 258:cup 254:cup 232:cup 228:cup 216:cup 212:cup 200:cup 176:cup 1553:: 1363:" 585:, 506:, 491:, 396:, 388:, 150:, 146:, 142:, 138:, 122:, 118:, 62:, 54:, 1359:" 1132:) 1128:( 715:e 708:t 701:v 666:. 647:. 612:. 98:) 92:( 87:) 83:( 69:. 34:. 20:)

Index

Suppose
Extended chord § 18th century
list of references
related reading
external links
inline citations
improve
introducing
Learn how and when to remove this message
medieval
reference
plurality
tense
modality
Aristotelian
John Buridan
William of Ockham
William of Sherwood
Walter Burley
Albert of Saxony
Peter of Spain
ampliation
Latin
English
Albert of Saxony
Peter of Spain
Marcia L. Colish
Yale University Press
Thoughts, words and things: An introduction to late mediaeval logic and semantic theory
the original

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.