1174:
1146:
2720:
1160:
739:(this was mainly the case in the past) or words or phrases of the common language (this is generally the case in modern mathematics). The precise meaning of a term given by a mathematical definition is often different from the English definition of the word used, which can lead to confusion, particularly when the meanings are close. For example a
44:
986:
A definition should not be negative where it can be positive. We should not define "wisdom" as the absence of folly, or a healthy thing as whatever is not sick. Sometimes this is unavoidable, however. For example, it appears difficult to define blindness in positive terms rather than as "the absence
805:
as a form of stipulative definition which purports to state the "true" or "commonly accepted" meaning of a term, while in reality stipulating an altered use (perhaps as an argument for some specific belief). Stevenson has also noted that some definitions are "legal" or "coercive" – their object
782:
classifies a definition as "stipulative" if it is intended to guide a specific discussion. A stipulative definition might be considered a temporary, working definition, and can only be disproved by showing a logical contradiction. In contrast, a "descriptive" definition can be shown to be "right"
1074:
that what counts as a "simple" in one circumstance might not do so in another. He rejected the very idea that every explanation of the meaning of a term needed itself to be explained: "As though an explanation hung in the air unless supported by another one", claiming instead that explanation of a
1824:
involved taking up a dictionary and finding a selection of terms relating to the key concept, then looking up each of the words in the explanation of their meaning. Then, iterating this process until the list of words begins to repeat, closing in a "family circle" of words relating to the key
502:, he says that the meaning of a made-up name can be known (he gives the example "goat stag") without knowing what he calls the "essential nature" of the thing that the name would denote (if there were such a thing). This led medieval logicians to distinguish between what they called the
254:" might be "the most senior minister of a cabinet in the executive branch of parliamentary government", an extensional definition is not possible since it is not known who the future prime ministers will be (even though all prime ministers from the past and present can be listed).
1086:
cannot be defined. Names are learned by connecting an idea with a sound, so that speaker and hearer have the same idea when the same word is used. This is not possible when no one else is acquainted with the particular thing that has "fallen under our notice". Russell offered his
337:
It is also possible to have two different genus–differentia definitions that describe the same term, especially when the term describes the overlap of two large categories. For instance, both of these genus–differentia definitions of "square" are equally acceptable:
978:
The definition must not be obscure. The purpose of a definition is to explain the meaning of a term which may be obscure or difficult, by the use of terms that are commonly understood and whose meaning is clear. The violation of this rule is known by the Latin term
873:
So "0" will have exactly one successor, which for convenience can be called "1". In turn, "1" will have exactly one successor, which could be called "2", and so on. The second condition in the definition itself refers to natural numbers, and hence involves
537:
definitions. A nominal definition is the definition explaining what a word means (i.e., which says what the "nominal essence" is), and is definition in the classical sense as given above. A real definition, by contrast, is one expressing the real nature or
974:
The definition must not be too wide or too narrow. It must be applicable to everything to which the defined term applies (i.e. not miss anything out), and to nothing else (i.e. not include any things to which the defined term would not truly
47:
A definition states the meaning of a word using other words. This is sometimes challenging. Common dictionaries contain lexical descriptive definitions, but there are various types of definition – all with different purposes and
1895:
require it to prevent a misunderstanding. One might say: an explanation serves to remove or to avert a misunderstanding – one, that is, that would occur but for the explanation; not every one I can imagine."
792:
as one that extends the descriptive dictionary definition (lexical definition) for a specific purpose by including additional criteria. A precising definition narrows the set of things that meet the definition.
1644:
McPherson, M.; Arango, P.; Fox, H.; Lauver, C.; McManus, M.; Newacheck, P. W.; Perrin, J. M.; Shonkoff, J. P.; Strickland, B. (1998). "A new definition of children with special health care needs".
967:" would convey no information whatsoever. For this reason, Locke adds that a definition of a term must not consist of terms which are synonymous with it. This would be a circular definition, a
735:
In mathematics, definitions are generally not used to describe existing terms, but to describe or characterize a concept. For naming the object of a definition mathematicians can use either a
1453:
Bussler, Christoph, and Dieter Fensel, eds. Artificial
Intelligence: Methodology, Systems and Applications: 11th International Conference, AIMSA 2004: Proceedings. Springer-Verlag, 2004. p.6
389:. This gives the meaning of a term by pointing, in the case of an individual, to the thing itself, or in the case of a class, to examples of the right kind. For example, one can explain who
106:
In modern usage, a definition is something, typically expressed in words, that attaches a meaning to a word or group of words. The word or group of words that is to be defined is called the
971:. Note, however, that it is acceptable to define two relative terms in respect of each other. Clearly, we cannot define "antecedent" without using the term "consequent", nor conversely.
87:, a definition is used to give a precise meaning to a new term, by describing a condition which unambiguously qualifies what the mathematical term is and is not. Definitions and
80:, which convey the meaning of a term by pointing out examples. A term may have many different senses and multiple meanings, and thus require multiple definitions.
461:
lists all sets whose only member is a member of the "divided" set. The difference between this and an extensional definition is that extensional definitions list
619:
is, in the strict sense, one of a group of words that share the same spelling and pronunciation but have different meanings. Thus homonyms are simultaneously
297:(or family): An existing definition that serves as a portion of the new definition; all definitions with the same genus are considered members of that genus.
250:
definition, on the other hand, would be the list of wrath, greed, sloth, pride, lust, envy, and gluttony. In contrast, while an intensional definition of "
1549:
3027:
1804:
487:
had it that an object's essential attributes form its "essential nature", and that a definition of the object must include these essential attributes.
1770:
1126:. In such cases, he argued, there is no fixed boundary that can be used to provide a definition. Rather, the items are grouped together because of a
829:
All things bearing a certain relation to other members of the set are also to count as members of the set. It is this step that makes the definition
397:(a class) is, by pointing at several and expecting another to understand. The process of ostensive definition itself was critically appraised by
420:
that fall under the concept or term in question. Enumerative definitions are only possible for finite sets (and only practical for small sets).
1798:
seek to avoid circularity wherever possible, but the definitions of words such as "the" and "a" use those words and are therefore circular.
2777:
1891:
He continues: "Whereas an explanation may indeed rest on another one that has been given, but none stands in need of another – unless
941:
specific (that is, by reading the definition only, it should ideally not be possible to refer to any other entity than that being defined);
1130:. For terms such as these it is not possible and indeed not necessary to state a definition; rather, one simply comes to understand the
822:
definition, is one that defines a word in terms of itself, so to speak, albeit in a useful way. Normally this consists of three steps:
3088:
1594:
Kevin
Houston (2009) How to Think Like a Mathematician: A Companion to Undergraduate Mathematics. Cambridge University Press, p. 104
743:
is not exactly the same thing in mathematics and in common language. In some case, the word used can be misleading; for example, a
2072:
1015:
contains, at any given time, a finite number of words, any comprehensive list of definitions must either be circular or rely upon
2250:
2240:
2010:
1052:
246:
as particularly destructive of the life of grace and charity within a person, thus creating the threat of eternal damnation. An
2744:
2082:
2043:
Verbatim: From the bawdy to the sublime, the best writing on language for word lovers, grammar mavens, and armchair linguists
1023:
must itself be defined, "where at last should we stop?" A dictionary, for instance, insofar as it is a comprehensive list of
751:. Frequently, a definition uses a phrase built with common English words, which has no meaning outside mathematics, such as
2225:
2376:
2146:
193:
2505:
2200:
650:(opposite of right). A distinction is sometimes made between "true" homonyms, which are unrelated in origin, such as
3073:
2654:
2125:
2101:
2052:
2020:
1978:
1955:
506:, or the "whatness of the name", and the underlying nature common to all the things it names, which they called the
457:
of a set, in the sense that every member of the "divided" set is a member of one of the subsets. An extreme form of
3068:
2770:
2738:
2255:
263:
576:
to it, they are those things that it possesses in all possible worlds. Kripke refers to names used in this way as
3058:
2330:
1511:. Early modern philosophers like Locke used the corresponding English terms "nominal essence" and "real essence".
796:
630:(words that share the same pronunciation, regardless of their spelling). The state of being a homonym is called
76:(which try to list the objects that a term describes). Another important category of definitions is the class of
2806:
2659:
1553:
526:. The meaning of a name is distinct from the nature that a thing must have in order that the name apply to it.
144:
There are many sub-types of definitions, often specific to a given field of knowledge or study. These include,
2158:
956:
Certain rules have traditionally been given for definitions (in particular, genus-differentia definitions).
826:
At least one thing is stated to be a member of the set being defined; this is sometimes called a "base set".
3053:
2115:
1897:
1878:
1070:
201:
1114:
can be stated. Wittgenstein argued that for some terms this is not the case. The examples he used include
2763:
2734:
35:
17:
3078:
2685:
1223:
1083:
1410:
1397:
Richard J. Rossi (2011) Theorems, Corollaries, Lemmas, and
Methods of Proof. John Wiley & Sons p.4
778:
Authors have used different terms to classify definitions used in formal languages like mathematics.
522:
of hobbits cannot be known. By contrast, the name "man" denotes real things (men) that have a certain
334:("that has three straight bounding sides" and "that has four straight bounding sides", respectively).
2664:
2589:
2371:
1910:
1585:
David Hunter (2010) Essentials of
Discrete Mathematics. Jones & Bartlett Publishers, Section 14.1
2562:
883:
770:
are a kind of logic where the definitions are included as the feature of the formal system itself.
1334:
983:. However, sometimes scientific and philosophical terms are difficult to define without obscurity.
2999:
2880:
2811:
2646:
2245:
2230:
1310:
1253:
1218:
997:
763:
1335:
Good reasons for better arguments: An introduction to the skills and values of critical thinking
2974:
2297:
2292:
2267:
2235:
2193:
1604:
1268:
1243:
1228:
1213:
1088:
928:
593:
589:
412:
406:
273:
209:
184:
73:
69:
1573:
490:
The idea that a definition should state the essence of a thing led to the distinction between
3083:
2854:
2849:
2816:
2700:
2277:
1263:
1042:) cannot be defined, since a higher genus cannot be assigned under which they may fall. Thus
801:
716:
219:
177:
2903:
2801:
2619:
2465:
2287:
2282:
2272:
1306:
1248:
1188:
1092:
916:
815:
788:
385:
77:
483:
In classical thought, a definition was taken to be a statement of the essence of a thing.
8:
3048:
2989:
2574:
2557:
2537:
2500:
2449:
2444:
2386:
2323:
2220:
2111:
1967:
1499:
1487:
1193:
1065:
879:
756:
546:
499:
417:
398:
280:) and narrows it down to a smaller category by a distinguishing characteristic (i.e. the
224:
100:
2000:
1985:
1292:, while terms with the same spelling and pronunciation and related meanings are called
3063:
2994:
2839:
2510:
2439:
2396:
2262:
2152:
1669:
1233:
1179:
1151:
1127:
1024:
1811:" provides other examples of circularity in dictionary definitions. (McKean, p. 73–77)
162:"'Large', among female Asian elephants, is any individual weighing over 5,500 pounds."
2979:
2724:
2695:
2690:
2680:
2614:
2542:
2427:
2186:
2121:
2097:
2078:
2048:
2016:
1974:
1951:
1709:
1705:
1661:
1238:
1173:
1165:
924:
920:
740:
235:
228:
197:
1673:
963:
Definitions should avoid circularity. To define a horse as "a member of the species
200:. Any definition that attempts to set out the essence of something, such as that by
3017:
2755:
2629:
2355:
2350:
1838:
1701:
1653:
1079:
1057:
1028:
1016:
1012:
1008:
748:
704:
688:
577:
557:
550:
2984:
2475:
2417:
2142:
2032:
2028:
1532:
1385:
1288:
Terms with the same pronunciation and spelling but unrelated meanings are called
1061:
752:
1056:
that the names of simple concepts do not admit of any definition. More recently
2729:
2422:
2401:
2316:
1347:
1068:, rejected the need for any undefined simples. Wittgenstein pointed out in his
875:
841:
767:
720:
561:
251:
243:
549:, in particular, is critical of attempts to elucidate the essence of a thing.
31:
3042:
2579:
2520:
2041:
1203:
1198:
1035:
779:
322:
2172:
1375:
Lyons, John. "Semantics, vol. I." Cambridge: Cambridge (1977). p.158 and on.
1091:
in part as a way of defining a proper name, the definition being given by a
727:, in which the multiple meanings of a word may be unconnected or unrelated.
3022:
2870:
2569:
2391:
1834:
1821:
1795:
1657:
1386:
Semantics and
Pragmatics of English: Teaching English as a Foreign Language
845:
569:
1713:
1665:
2924:
2844:
2604:
2599:
2552:
1997:
1851:
1829:
1100:
1096:
1034:
Many philosophers have chosen instead to leave some terms undefined. The
744:
565:
545:
This preoccupation with essence dissipated in much of modern philosophy.
330:
Those definitions can be expressed as a genus ("a plane figure") and two
160:, which reduce the vagueness of a word, typically in some special sense (
84:
1576:, James R. Hurford and Brendan Heasley, Cambridge University Press, 1983
960:
A definition must set out the essential attributes of the thing defined.
938:
useful clinically or in related areas where the definition will be used;
623:(words that share the same spelling, regardless of their pronunciation)
110:, and the word, group of words, or action that defines it is called the
91:
form the basis on which all of modern mathematics is to be constructed.
43:
2940:
2875:
2826:
2786:
2515:
2480:
2006:
1208:
1110:
There is a presumption in the classic example of a definition that the
1047:
712:
148:, or the common dictionary definitions of words already in a language;
1099:
pointed to difficulties with this approach, especially in relation to
303:: The portion of the new definition that is not provided by the genus.
2898:
2890:
2609:
2470:
2381:
1782:
1293:
1258:
935:
simple and easy to understand, preferably even by the general public;
830:
736:
627:
620:
484:
364:
346:
173:
167:
1799:
1692:
Morse, R. M.; Flavin, D. K. (1992). "The
Definition of Alcoholism".
2919:
2530:
2166:
1289:
1145:
890:
724:
684:
679:
659:
442:
313:
307:
For example, consider the following genus–differentia definitions:
1801:
3012:
2966:
2594:
2525:
616:
610:
478:
360:
350:
518:, but one could not know the real nature of hobbits, and so the
2945:
2432:
1439:
Hurley, Patrick J. (2006). "Language: Meaning and
Definition".
907:
Or simply: an ancestor is a parent or a parent of an ancestor.
708:
700:
696:
511:
454:
88:
65:
61:
1785:, but leads to scepticism about meaning rather than knowledge.
1474:
Katerina
Ierodiakonou, "The Stoic Division of Philosophy", in
762:
In first-order logic definitions are usually introduced using
393:(an individual) is, by pointing her out to another; or what a
116:"An elephant is a large gray animal native to Asia and Africa"
2624:
2339:
2178:
1043:
293:
453:
is not an extensional definition, but an exhaustive list of
68:). Definitions can be classified into two large categories:
2584:
2153:
Definitions, Dictionaries, and
Meanings, Norman Swartz 1997
858:
the successor of a natural number is also a natural number;
692:
371:
Thus, a "square" is a member of both genera (the plural of
287:
More formally, a genus–differentia definition consists of:
57:
583:
553:
described essence as "a hopelessly muddle-headed notion".
472:
152:, which define something by pointing to an example of it (
498:
essence—a distinction originating with
Aristotle. In the
416:
that gives an explicit and exhaustive listing of all the
2308:
1643:
317:: A plane figure that has three straight bounding sides.
855:
Each natural number has a unique successor, such that:
326:: A plane figure that has four straight bounding sides.
2175:, a very short introduction by Garth Kemerling (2001).
2094:
Oxford English Dictionary, second edition (20 volumes)
1854:, players compete to find circularity in a dictionary.
878:. Although this sort of definition involves a form of
730:
34:. For other uses of the word "definition" itself, see
572:. Insofar as the essential properties of a thing are
378:
257:
2785:
2091:
1909:
This theory of meaning is one of the targets of the
1141:
383:
One important form of the extensional definition is
1809:
Sexual Intercourse in American College Dictionaries
137:of the word defined, but is instead something that
3028:The False Subtlety of the Four Syllogistic Figures
2040:
1966:
861:distinct natural numbers have distinct successors;
599:
529:This leads to a corresponding distinction between
514:", for example, is perfectly meaningful. It has a
375:): the genus "rectangle" and the genus "rhombus".
168:Intensional definitions vs extensional definitions
2163:Elsevier Encyclopedia of Language and Linguistics
1333:Bickenbach, Jerome E., and Jacqueline M. Davies.
987:of sight in a creature that is normally sighted".
806:is to create or alter rights, duties, or crimes.
99:"Definiens" redirects here. For the company, see
3040:
1639:
1637:
1635:
1633:
1631:
1388:. Univ. Autònoma de Barcelona, 2006. p.48 and on
1046:, unity and similar concepts cannot be defined.
1038:claimed that the highest genera (called the ten
886:, and the definition has been quite successful.
1734:
1732:
1075:term is only needed to avoid misunderstanding.
723:. It is thus usually regarded as distinct from
703:) to have multiple meanings (that is, multiple
217:definition, of a concept or term specifies its
2771:
2324:
2194:
2061:
1628:
1060:sought to develop a formal language based on
947:a reflection of current scientific knowledge.
72:(which try to give the sense of a term), and
2110:
1729:
1687:
1685:
1683:
1550:"Linguistics 201: Study Sheet for Semantics"
1002:
931:, definitions should as far as possible be:
783:or "wrong" with reference to general usage.
510:, or the "whatness of the thing". The name "
122:, and everything after the word "is" is the
2062:Macagno, Fabrizio; Walton, Douglas (2014).
1995:. London, New York: Longmans, Green and co.
1993:Principles of logic, 3d ed., new impression
1691:
1476:Phronesis: A Journal for Ancient Philosophy
1348:"Definition of definition | Dictionary.com"
766:(so using a metalogic). On the other hand,
56:is a statement of the meaning of a term (a
27:Statement that attaches a meaning to a term
2778:
2764:
2331:
2317:
2201:
2187:
991:
836:All other things are excluded from the set
588:A definition may also be classified as an
1680:
1434:
1432:
1430:
1095:that "picks out" exactly one individual.
196:for a thing to be a member of a specific
2070:
1965:Joseph, Horace William Brindley (1916).
1443:(9 ed.). Wadsworth. pp. 86–91.
809:
747:has nothing more (or less) real than an
658:(the fish), and polysemous homonyms, or
42:
30:For the definition of another word, see
2066:. New York: Cambridge University Press.
2012:An Essay Concerning Human Understanding
1478:, Volume 38, Number 1, 1993, pp. 57–74.
1371:
1369:
1367:
1053:An Essay Concerning Human Understanding
900:A parent of an ancestor is an ancestor.
584:Operational vs. theoretical definitions
473:Nominal definitions vs real definitions
449:is simply an intensional definition. A
423:
14:
3041:
2965:
2038:
1964:
1438:
1427:
864:no natural number is succeeded by "0".
662:, which have a shared origin, such as
642:(follow/harass a person) and the pair
2759:
2312:
2182:
2092:Simpson, John; Edmund Weiner (1989).
2005:
1990:
1973:. Clarendon Press repr. Paper Tiger.
1969:An Introduction to Logic, 2nd edition
1552:. Pandora.cii.wwu.edu. Archived from
2912:
2159:"Definitions: Uses and Varieties of"
1945:
1526:
1405:
1403:
1364:
715:), usually related by contiguity of
634:. Examples of homonyms are the pair
94:
2506:Analytic and synthetic propositions
2377:Formal semantics (natural language)
2147:Stanford Encyclopedia of Philosophy
731:In logic, mathematics and computing
194:necessary and sufficient conditions
24:
2077:. Oxford: At The Clarendon Press.
1756:Macagno & Walton 2014, Ch. III
1537:Random House Unabridged Dictionary
379:Classes of extensional definitions
258:Classes of intensional definitions
25:
3100:
2136:
2064:Emotive Language in Argumentation
1900:, Part 1 §87, italics in original
1841:. Oxford: Oxford UP, 1961. 1979.)
1400:
869:Nothing else is a natural number.
773:
276:that takes a large category (the
154:"This," , "is an Asian elephant."
114:. For example, in the definition
3089:Meaning (philosophy of language)
2718:
1706:10.1001/jama.1992.03490080086030
1172:
1158:
1144:
840:For instance, we could define a
204:, is an intensional definition.
1928:
1915:
1903:
1885:
1870:
1857:
1844:
1814:
1788:
1775:
1759:
1750:
1741:
1720:
1615:
1597:
1588:
1579:
1574:Semantics: a coursebook, p. 123
1567:
1542:
1521:A History of Western Philosophy
1514:
1505:
1493:
1481:
1468:
1456:
1441:A Concise Introduction to Logic
1299:
889:In the same way, we can define
600:Terms with multiple definitions
227:that is a member of a specific
2807:Problem of multiple generality
2208:
1991:Joyce, George Hayward (1926).
1447:
1391:
1378:
1340:
1337:. Broadview Press, 1996. p. 49
1327:
1282:
1064:. Other philosophers, notably
910:
13:
1:
2015:. National Geographic Books.
2001:(full text of 2nd ed. (1916))
1986:(full text of 1st ed. (1906))
1833:in Philosophical Papers. Ed.
1320:
1309:, in the same way, as in the
1305:One learns inductively, from
410:of a concept or a term is an
118:, the word "elephant" is the
2117:Philosophical Investigations
1935:Philosophical Investigations
1898:Philosophical Investigations
1879:Philosophical Investigations
1463:Philosophical investigations
1071:Philosophical Investigations
903:Nothing else is an ancestor.
673:
270:genus–differentia definition
264:Genus–differentia definition
223:. It is a list naming every
7:
2096:. Oxford University Press.
1781:This problem parallels the
1605:"Norman Swartz - Biography"
1137:
951:
818:, sometimes also called an
604:
36:Definition (disambiguation)
10:
3105:
2071:Robinson, Richard (1954).
1415:beisecker.faculty.unlv.edu
995:
677:
646:(past tense of leave) and
608:
476:
261:
192:definition, specifies the
171:
98:
29:
2958:
2933:
2889:
2863:
2825:
2794:
2713:
2673:
2645:
2638:
2590:Necessity and sufficiency
2493:
2458:
2410:
2364:
2346:
2338:
2216:
2157:Guy Longworth (ca. 2008)
1911:private language argument
1820:An exercise suggested by
1019:. If every term of every
1003:Limitations of definition
568:led to a new approach to
445:terms for definitions. A
150:demonstrative definitions
3074:Mathematical terminology
2120:. Blackwell Publishing.
1275:
897:A parent is an ancestor.
852:"0" is a natural number.
242:as those singled out by
139:conveys the same meaning
3069:Linguistics terminology
3000:Sophistical Refutations
2812:Dictum de omni et nullo
1950:. New York: Macmillan.
1219:Fallacies of definition
1036:scholastic philosophers
998:Fallacies of definition
992:Fallacies of definition
764:extension by definition
74:extensional definitions
70:intensional definitions
3059:Philosophy of language
2173:Definition and Meaning
1658:10.1542/peds.102.1.137
1269:Theoretical definition
1244:Operational definition
1229:Intensional definition
1214:Extensional definition
1089:theory of descriptions
981:obscurum per obscurius
969:circulus in definiendo
687:is the capacity for a
638:(part of a plant) and
594:theoretical definition
590:operational definition
413:extensional definition
407:enumerative definition
274:intensional definition
210:extensional definition
185:intensional definition
49:
2725:Philosophy portal
2039:McKean, Erin (2001).
1948:Introduction to Logic
1946:Copi, Irving (1982).
1925:, Bk. III, Ch. iii, 3
1264:Synthetic proposition
810:Recursive definitions
802:persuasive definition
202:genus and differentia
178:Extension (semantics)
158:precising definitions
78:ostensive definitions
46:
2802:Square of opposition
2161:in: K. Brown (ed.):
2112:Wittgenstein, Ludwig
1726:Copi 1982 pp 165–169
1307:ostensive definition
1249:Ostensive definition
1189:Analytic proposition
1105:Naming and Necessity
1093:definite description
925:consensus statements
917:medical dictionaries
816:recursive definition
789:precising definition
386:ostensive definition
3054:Philosophical logic
2990:Posterior Analytics
2387:Philosophy of logic
1652:(1 Pt 1): 137–140.
1623:Ethics and Language
1500:Posterior Analytics
1488:Posterior Analytics
1311:Ramsey–Lewis method
1254:Ramsey–Lewis method
1194:Circular definition
1025:lexical definitions
757:irreducible variety
654:(glide on ice) and
547:Analytic philosophy
500:Posterior Analytics
399:Ludwig Wittgenstein
146:lexical definitions
101:Definiens (company)
2787:Aristotelian logic
2686:Rules of inference
2655:Mathematical logic
2397:Semantics of logic
2149:Gupta, Anil (2008)
1830:A plea for excuses
1771:Bk. III, Ch. iv, 5
1625:, Connecticut 1944
1352:www.dictionary.com
1234:Lexical definition
1180:Mathematics portal
1152:Linguistics portal
1128:family resemblance
844:as follows (after
711:and thus multiple
64:, or other set of
50:
3079:Concepts in logic
3036:
3035:
3008:
3007:
2980:On Interpretation
2954:
2953:
2753:
2752:
2709:
2708:
2543:Deductive closure
2489:
2488:
2428:Critical thinking
2306:
2305:
2256:Genus–differentia
2084:978-0-19-824160-7
2047:. Harvest Books.
1867:, Bk. III, Ch. iv
1621:Stevenson, C.L.,
1539:at dictionary.com
1239:Logic programming
1166:Philosophy portal
1082:also argued that
1027:, must resort to
1017:primitive notions
786:Swartz defines a
666:(of a river) and
578:rigid designators
560:formalisation of
238:" can be defined
236:seven deadly sins
95:Basic terminology
16:(Redirected from
3096:
3018:Port-Royal Logic
2963:
2962:
2910:
2909:
2780:
2773:
2766:
2757:
2756:
2723:
2722:
2721:
2643:
2642:
2408:
2407:
2372:Computer science
2333:
2326:
2319:
2310:
2309:
2203:
2196:
2189:
2180:
2179:
2131:
2107:
2088:
2067:
2058:
2046:
2026:
1996:
1984:
1972:
1961:
1937:
1932:
1926:
1919:
1913:
1907:
1901:
1889:
1883:
1874:
1868:
1861:
1855:
1848:
1842:
1818:
1812:
1805:Sidney I. Landau
1792:
1786:
1779:
1773:
1763:
1757:
1754:
1748:
1745:
1739:
1736:
1727:
1724:
1718:
1717:
1700:(8): 1012–1014.
1689:
1678:
1677:
1641:
1626:
1619:
1613:
1612:
1601:
1595:
1592:
1586:
1583:
1577:
1571:
1565:
1564:
1562:
1561:
1546:
1540:
1530:
1524:
1518:
1512:
1509:
1503:
1497:
1491:
1485:
1479:
1472:
1466:
1460:
1454:
1451:
1445:
1444:
1436:
1425:
1424:
1422:
1421:
1407:
1398:
1395:
1389:
1384:Dooly, Melinda.
1382:
1376:
1373:
1362:
1361:
1359:
1358:
1344:
1338:
1331:
1314:
1303:
1297:
1286:
1182:
1177:
1176:
1168:
1163:
1162:
1161:
1154:
1149:
1148:
1058:Bertrand Russell
1009:natural language
749:imaginary number
670:(of an animal).
213:, also called a
188:, also called a
21:
3104:
3103:
3099:
3098:
3097:
3095:
3094:
3093:
3039:
3038:
3037:
3032:
3004:
2985:Prior Analytics
2950:
2929:
2908:
2885:
2859:
2821:
2790:
2784:
2754:
2749:
2719:
2717:
2705:
2669:
2660:Boolean algebra
2634:
2485:
2476:Metamathematics
2454:
2406:
2360:
2342:
2337:
2307:
2302:
2212:
2207:
2139:
2134:
2128:
2104:
2085:
2055:
2023:
1981:
1958:
1941:
1940:
1933:
1929:
1920:
1916:
1908:
1904:
1890:
1886:
1876:See especially
1875:
1871:
1862:
1858:
1850:In the game of
1849:
1845:
1826:
1819:
1815:
1793:
1789:
1780:
1776:
1764:
1760:
1755:
1751:
1746:
1742:
1737:
1730:
1725:
1721:
1690:
1681:
1642:
1629:
1620:
1616:
1603:
1602:
1598:
1593:
1589:
1584:
1580:
1572:
1568:
1559:
1557:
1548:
1547:
1543:
1531:
1527:
1519:
1515:
1510:
1506:
1498:
1494:
1486:
1482:
1473:
1469:
1465:, Part 1 §27–34
1461:
1457:
1452:
1448:
1437:
1428:
1419:
1417:
1409:
1408:
1401:
1396:
1392:
1383:
1379:
1374:
1365:
1356:
1354:
1346:
1345:
1341:
1332:
1328:
1323:
1318:
1317:
1304:
1300:
1287:
1283:
1278:
1273:
1178:
1171:
1164:
1159:
1157:
1150:
1143:
1140:
1005:
1000:
994:
954:
929:classifications
913:
812:
799:has identified
776:
753:primitive group
733:
682:
676:
613:
607:
602:
586:
481:
475:
432:
381:
301:the differentia
266:
260:
180:
172:Main articles:
170:
104:
97:
39:
28:
23:
22:
15:
12:
11:
5:
3102:
3092:
3091:
3086:
3081:
3076:
3071:
3066:
3061:
3056:
3051:
3034:
3033:
3031:
3030:
3025:
3020:
3015:
3009:
3006:
3005:
3003:
3002:
2997:
2992:
2987:
2982:
2977:
2971:
2969:
2960:
2956:
2955:
2952:
2951:
2949:
2948:
2943:
2937:
2935:
2931:
2930:
2928:
2927:
2922:
2916:
2914:
2907:
2906:
2901:
2895:
2893:
2887:
2886:
2884:
2883:
2878:
2873:
2867:
2865:
2861:
2860:
2858:
2857:
2852:
2847:
2842:
2837:
2831:
2829:
2823:
2822:
2820:
2819:
2814:
2809:
2804:
2798:
2796:
2792:
2791:
2783:
2782:
2775:
2768:
2760:
2751:
2750:
2748:
2747:
2742:
2732:
2727:
2714:
2711:
2710:
2707:
2706:
2704:
2703:
2698:
2693:
2688:
2683:
2677:
2675:
2671:
2670:
2668:
2667:
2662:
2657:
2651:
2649:
2640:
2636:
2635:
2633:
2632:
2627:
2622:
2617:
2612:
2607:
2602:
2597:
2592:
2587:
2582:
2577:
2572:
2567:
2566:
2565:
2555:
2550:
2545:
2540:
2535:
2534:
2533:
2528:
2518:
2513:
2508:
2503:
2497:
2495:
2491:
2490:
2487:
2486:
2484:
2483:
2478:
2473:
2468:
2462:
2460:
2456:
2455:
2453:
2452:
2447:
2442:
2437:
2436:
2435:
2430:
2420:
2414:
2412:
2405:
2404:
2399:
2394:
2389:
2384:
2379:
2374:
2368:
2366:
2362:
2361:
2359:
2358:
2353:
2347:
2344:
2343:
2336:
2335:
2328:
2321:
2313:
2304:
2303:
2301:
2300:
2295:
2290:
2285:
2280:
2275:
2270:
2265:
2260:
2259:
2258:
2248:
2243:
2238:
2233:
2228:
2223:
2217:
2214:
2213:
2206:
2205:
2198:
2191:
2183:
2177:
2176:
2170:
2155:
2150:
2138:
2137:External links
2135:
2133:
2132:
2126:
2108:
2102:
2089:
2083:
2068:
2059:
2053:
2036:
2021:
2003:
1988:
1979:
1962:
1956:
1942:
1939:
1938:
1927:
1914:
1902:
1884:
1869:
1856:
1843:
1813:
1803:Lexicographer
1796:lexicographers
1787:
1774:
1758:
1749:
1740:
1728:
1719:
1679:
1627:
1614:
1596:
1587:
1578:
1566:
1541:
1525:
1513:
1504:
1492:
1480:
1467:
1455:
1446:
1426:
1399:
1390:
1377:
1363:
1339:
1325:
1324:
1322:
1319:
1316:
1315:
1298:
1280:
1279:
1277:
1274:
1272:
1271:
1266:
1261:
1256:
1251:
1246:
1241:
1236:
1231:
1226:
1221:
1216:
1211:
1206:
1201:
1196:
1191:
1185:
1184:
1183:
1169:
1155:
1139:
1136:
1103:, in his book
1004:
1001:
996:Main article:
993:
990:
989:
988:
984:
976:
972:
961:
953:
950:
949:
948:
945:
942:
939:
936:
912:
909:
905:
904:
901:
898:
876:self-reference
871:
870:
867:
866:
865:
862:
859:
853:
842:natural number
838:
837:
834:
827:
811:
808:
797:C.L. Stevenson
775:
774:Classification
772:
768:lambda-calculi
732:
729:
721:semantic field
678:Main article:
675:
672:
609:Main article:
606:
603:
601:
598:
585:
582:
562:possible world
556:More recently
542:of the thing.
477:Main article:
474:
471:
431:
422:
380:
377:
369:
368:
354:
328:
327:
318:
305:
304:
298:
262:Main article:
259:
256:
252:prime minister
244:Pope Gregory I
169:
166:
141:as that word.
96:
93:
26:
9:
6:
4:
3:
2:
3101:
3090:
3087:
3085:
3082:
3080:
3077:
3075:
3072:
3070:
3067:
3065:
3062:
3060:
3057:
3055:
3052:
3050:
3047:
3046:
3044:
3029:
3026:
3024:
3021:
3019:
3016:
3014:
3011:
3010:
3001:
2998:
2996:
2993:
2991:
2988:
2986:
2983:
2981:
2978:
2976:
2973:
2972:
2970:
2968:
2964:
2961:
2957:
2947:
2944:
2942:
2939:
2938:
2936:
2932:
2926:
2923:
2921:
2918:
2917:
2915:
2911:
2905:
2902:
2900:
2897:
2896:
2894:
2892:
2888:
2882:
2879:
2877:
2874:
2872:
2869:
2868:
2866:
2862:
2856:
2853:
2851:
2848:
2846:
2843:
2841:
2838:
2836:
2833:
2832:
2830:
2828:
2824:
2818:
2817:Syncategorema
2815:
2813:
2810:
2808:
2805:
2803:
2800:
2799:
2797:
2793:
2789:(syllogistic)
2788:
2781:
2776:
2774:
2769:
2767:
2762:
2761:
2758:
2746:
2743:
2740:
2736:
2733:
2731:
2728:
2726:
2716:
2715:
2712:
2702:
2701:Logic symbols
2699:
2697:
2694:
2692:
2689:
2687:
2684:
2682:
2679:
2678:
2676:
2672:
2666:
2663:
2661:
2658:
2656:
2653:
2652:
2650:
2648:
2644:
2641:
2637:
2631:
2628:
2626:
2623:
2621:
2618:
2616:
2613:
2611:
2608:
2606:
2603:
2601:
2598:
2596:
2593:
2591:
2588:
2586:
2583:
2581:
2580:Logical truth
2578:
2576:
2573:
2571:
2568:
2564:
2561:
2560:
2559:
2556:
2554:
2551:
2549:
2546:
2544:
2541:
2539:
2536:
2532:
2529:
2527:
2524:
2523:
2522:
2521:Contradiction
2519:
2517:
2514:
2512:
2509:
2507:
2504:
2502:
2499:
2498:
2496:
2492:
2482:
2479:
2477:
2474:
2472:
2469:
2467:
2466:Argumentation
2464:
2463:
2461:
2457:
2451:
2450:Philosophical
2448:
2446:
2445:Non-classical
2443:
2441:
2438:
2434:
2431:
2429:
2426:
2425:
2424:
2421:
2419:
2416:
2415:
2413:
2409:
2403:
2400:
2398:
2395:
2393:
2390:
2388:
2385:
2383:
2380:
2378:
2375:
2373:
2370:
2369:
2367:
2363:
2357:
2354:
2352:
2349:
2348:
2345:
2341:
2334:
2329:
2327:
2322:
2320:
2315:
2314:
2311:
2299:
2296:
2294:
2291:
2289:
2286:
2284:
2281:
2279:
2276:
2274:
2271:
2269:
2266:
2264:
2261:
2257:
2254:
2253:
2252:
2249:
2247:
2244:
2242:
2239:
2237:
2234:
2232:
2229:
2227:
2224:
2222:
2219:
2218:
2215:
2211:
2204:
2199:
2197:
2192:
2190:
2185:
2184:
2181:
2174:
2171:
2168:
2164:
2160:
2156:
2154:
2151:
2148:
2144:
2141:
2140:
2129:
2127:0-631-23127-7
2123:
2119:
2118:
2113:
2109:
2105:
2103:0-19-861186-2
2099:
2095:
2090:
2086:
2080:
2076:
2075:
2069:
2065:
2060:
2056:
2054:0-15-601209-X
2050:
2045:
2044:
2037:
2034:
2030:
2024:
2022:0-14-043482-8
2018:
2014:
2013:
2008:
2004:
2002:
1999:
1994:
1989:
1987:
1982:
1980:1-889439-17-7
1976:
1971:
1970:
1963:
1959:
1957:0-02-977520-5
1953:
1949:
1944:
1943:
1936:
1931:
1924:
1918:
1912:
1906:
1899:
1894:
1888:
1881:
1880:
1873:
1866:
1860:
1853:
1847:
1840:
1839:G. J. Warnock
1836:
1832:
1831:
1823:
1817:
1810:
1806:
1802:
1800:
1797:
1791:
1784:
1778:
1772:
1768:
1762:
1753:
1747:Joseph, Ch. V
1744:
1735:
1733:
1723:
1715:
1711:
1707:
1703:
1699:
1695:
1688:
1686:
1684:
1675:
1671:
1667:
1663:
1659:
1655:
1651:
1647:
1640:
1638:
1636:
1634:
1632:
1624:
1618:
1610:
1606:
1600:
1591:
1582:
1575:
1570:
1556:on 2013-06-17
1555:
1551:
1545:
1538:
1534:
1529:
1522:
1517:
1508:
1501:
1496:
1489:
1484:
1477:
1471:
1464:
1459:
1450:
1442:
1435:
1433:
1431:
1416:
1412:
1411:"DEFINITIONS"
1406:
1404:
1394:
1387:
1381:
1372:
1370:
1368:
1353:
1349:
1343:
1336:
1330:
1326:
1312:
1308:
1302:
1295:
1291:
1285:
1281:
1270:
1267:
1265:
1262:
1260:
1257:
1255:
1252:
1250:
1247:
1245:
1242:
1240:
1237:
1235:
1232:
1230:
1227:
1225:
1224:Indeterminacy
1222:
1220:
1217:
1215:
1212:
1210:
1207:
1205:
1204:Definitionism
1202:
1200:
1199:Definable set
1197:
1195:
1192:
1190:
1187:
1186:
1181:
1175:
1170:
1167:
1156:
1153:
1147:
1142:
1135:
1134:of the term.
1133:
1129:
1125:
1121:
1117:
1113:
1108:
1106:
1102:
1098:
1094:
1090:
1085:
1081:
1076:
1073:
1072:
1067:
1063:
1062:logical atoms
1059:
1055:
1054:
1049:
1045:
1041:
1040:generalissima
1037:
1032:
1030:
1026:
1022:
1018:
1014:
1010:
1007:Given that a
999:
985:
982:
977:
973:
970:
966:
962:
959:
958:
957:
946:
943:
940:
937:
934:
933:
932:
930:
926:
922:
918:
908:
902:
899:
896:
895:
894:
892:
887:
885:
881:
877:
868:
863:
860:
857:
856:
854:
851:
850:
849:
847:
843:
835:
832:
828:
825:
824:
823:
821:
817:
807:
804:
803:
798:
794:
791:
790:
784:
781:
780:Norman Swartz
771:
769:
765:
760:
758:
754:
750:
746:
742:
738:
728:
726:
722:
718:
714:
710:
706:
702:
698:
694:
690:
686:
681:
671:
669:
665:
661:
657:
653:
649:
645:
641:
637:
633:
629:
626:
622:
618:
612:
597:
595:
591:
581:
579:
575:
571:
567:
564:semantics in
563:
559:
554:
552:
548:
543:
541:
536:
532:
527:
525:
521:
517:
513:
509:
505:
501:
497:
493:
488:
486:
480:
470:
468:
464:
460:
456:
452:
448:
444:
440:
436:
430:
426:
421:
419:
415:
414:
409:
408:
402:
400:
396:
392:
388:
387:
376:
374:
366:
362:
358:
355:
352:
348:
344:
341:
340:
339:
335:
333:
325:
324:
323:quadrilateral
319:
316:
315:
310:
309:
308:
302:
299:
296:
295:
290:
289:
288:
285:
283:
279:
275:
272:is a type of
271:
265:
255:
253:
249:
245:
241:
240:intensionally
237:
232:
230:
226:
222:
221:
216:
212:
211:
205:
203:
199:
195:
191:
187:
186:
179:
175:
165:
163:
159:
155:
151:
147:
142:
140:
136:
132:
127:
125:
121:
117:
113:
109:
102:
92:
90:
86:
81:
79:
75:
71:
67:
63:
59:
55:
45:
41:
37:
33:
19:
3084:Lexicography
3023:Sum of Logic
2864:Propositions
2834:
2620:Substitution
2547:
2440:Mathematical
2365:Major fields
2246:Fallacies of
2231:Coordinative
2209:
2162:
2116:
2093:
2073:
2063:
2042:
2027:(full text:
2011:
1992:
1968:
1947:
1934:
1930:
1922:
1917:
1905:
1892:
1887:
1877:
1872:
1864:
1859:
1846:
1835:J. O. Urmson
1828:
1822:J. L. Austin
1816:
1808:
1790:
1777:
1766:
1761:
1752:
1743:
1738:Joyce, Ch. X
1722:
1697:
1693:
1649:
1645:
1622:
1617:
1608:
1599:
1590:
1581:
1569:
1558:. Retrieved
1554:the original
1544:
1536:
1528:
1520:
1516:
1507:
1495:
1483:
1475:
1470:
1462:
1458:
1449:
1440:
1418:. Retrieved
1414:
1393:
1380:
1355:. Retrieved
1351:
1342:
1329:
1301:
1284:
1131:
1123:
1119:
1115:
1111:
1109:
1104:
1077:
1069:
1066:Wittgenstein
1051:
1050:supposes in
1039:
1033:
1020:
1006:
980:
968:
964:
955:
914:
906:
893:as follows:
888:
882:, it is not
872:
839:
819:
813:
800:
795:
787:
785:
777:
761:
734:
683:
667:
663:
655:
651:
647:
643:
639:
635:
631:
624:
614:
587:
573:
570:essentialism
555:
544:
539:
534:
530:
528:
523:
519:
516:quid nominis
515:
507:
504:quid nominis
503:
495:
491:
489:
482:
466:
462:
458:
450:
446:
438:
434:
433:
428:
424:
411:
405:
403:
394:
390:
384:
382:
372:
370:
356:
342:
336:
332:differentiae
331:
329:
320:
311:
306:
300:
291:
286:
281:
277:
269:
267:
247:
239:
233:
218:
214:
208:
206:
189:
183:
181:
161:
157:
153:
149:
145:
143:
138:
134:
130:
128:
123:
119:
115:
111:
107:
105:
82:
53:
51:
40:
2881:Categorical
2845:Differentia
2735:WikiProject
2605:Proposition
2600:Probability
2553:Description
2494:Foundations
2298:Theoretical
2293:Stipulative
2268:Operational
2251:Intensional
2241:Extensional
2236:Enumerative
2143:Definitions
2007:Locke, John
1490:, Bk 1 c. 4
1097:Saul Kripke
1084:individuals
1029:circularity
944:measurable;
911:In medicine
880:circularity
745:real number
691:(such as a
566:modal logic
282:differentia
248:extensional
234:Thus, the "
190:connotative
135:the meaning
120:definiendum
108:definiendum
85:mathematics
18:Definitions
3049:Definition
3043:Categories
2975:Categories
2904:Prosleptic
2876:Assertoric
2835:Definition
2827:Predicable
2665:Set theory
2563:Linguistic
2558:Entailment
2548:Definition
2516:Consequent
2511:Antecedent
2278:Persuasive
2210:Definition
2074:Definition
1998:(worldcat)
1882:Part 1 §48
1807:'s essay "
1794:Generally
1646:Pediatrics
1560:2013-04-23
1420:2019-11-28
1357:2019-11-28
1321:References
1209:Denotation
1078:Locke and
923:and other
921:guidelines
628:homophones
621:homographs
465:, and not
363:that is a
349:that is a
215:denotative
54:definition
32:Wiktionary
3064:Semantics
2899:Enthymeme
2891:Syllogism
2871:Apodictic
2696:Fallacies
2691:Paradoxes
2681:Logicians
2615:Statement
2610:Reference
2575:Induction
2538:Deduction
2501:Abduction
2471:Metalogic
2418:Classical
2382:Inference
2288:Recursive
2283:Precising
2273:Ostensive
1783:diallelus
1523:, p. 210.
1502:Bk 2 c. 7
1294:polysemes
1259:Semantics
1112:definiens
1021:definiens
831:recursive
820:inductive
737:neologism
719:within a
674:Polysemes
660:polysemes
574:necessary
485:Aristotle
443:classical
365:rectangle
347:rectangle
220:extension
174:Intension
131:definiens
124:definiens
112:definiens
2855:Accident
2850:Property
2730:Category
2630:Validity
2531:Antinomy
2459:Theories
2423:Informal
2221:Circular
2167:Elsevier
2114:(1953).
2009:(1690).
1825:concept.
1674:30160426
1290:homonyms
1138:See also
1101:modality
1011:such as
952:Problems
891:ancestor
725:homonymy
685:Polysemy
680:Polysemy
632:homonymy
605:Homonyms
558:Kripke's
540:quid rei
524:quid rei
520:quid rei
508:quid rei
447:partitio
439:partitio
429:partitio
357:a square
343:a square
314:triangle
48:focuses.
3013:Isagoge
2967:Organon
2941:Barbara
2795:General
2745:changes
2737: (
2595:Premise
2526:Paradox
2356:History
2351:Outline
2263:Lexical
2226:Concept
1921:Locke,
1863:Locke,
1765:Locke,
1714:1501306
1666:9714637
1533:homonym
1013:English
975:apply).
884:vicious
717:meaning
709:sememes
617:homonym
611:Homonym
551:Russell
531:nominal
492:nominal
479:Essence
467:subsets
463:members
459:divisio
455:subsets
451:divisio
435:Divisio
425:Divisio
418:objects
361:rhombus
351:rhombus
156:); and
133:is not
66:symbols
2995:Topics
2946:Baroco
2925:Middle
2647:topics
2433:Reason
2411:Logics
2402:Syntax
2124:
2100:
2081:
2051:
2019:
1977:
1954:
1712:
1672:
1664:
1609:sfu.ca
1124:family
1120:number
713:senses
701:symbol
697:phrase
512:hobbit
395:rabbit
225:object
89:axioms
62:phrase
2959:Works
2934:Forms
2913:Terms
2840:Genus
2674:other
2639:Lists
2625:Truth
2392:Proof
2340:Logic
2033:vol 2
2029:vol 1
1923:Essay
1865:Essay
1767:Essay
1670:S2CID
1276:Notes
1048:Locke
1044:being
965:equus
846:Peano
705:semes
699:, or
668:mouth
664:mouth
656:skate
652:skate
640:stalk
636:stalk
391:Alice
373:genus
294:genus
278:genus
2739:talk
2585:Name
2570:Form
2122:ISBN
2098:ISBN
2079:ISBN
2049:ISBN
2017:ISBN
1975:ISBN
1952:ISBN
1852:Vish
1837:and
1710:PMID
1694:JAMA
1662:PMID
1122:and
1116:game
1080:Mill
927:and
848:):
693:word
689:sign
648:left
644:left
535:real
533:and
496:real
494:and
441:are
437:and
427:and
359:: a
345:: a
176:and
129:The
58:word
2920:End
2481:Set
1702:doi
1698:268
1654:doi
1650:102
1132:use
915:In
755:or
741:set
707:or
625:and
592:or
404:An
284:).
229:set
207:An
198:set
182:An
164:).
83:In
3045::
2165:,
2145:,
2031:,
1893:we
1769:,
1731:^
1708:.
1696:.
1682:^
1668:.
1660:.
1648:.
1630:^
1607:.
1535:,
1429:^
1413:.
1402:^
1366:^
1350:.
1118:,
1107:.
1031:.
919:,
814:A
759:.
695:,
615:A
596:.
580:.
469:.
401:.
321:a
312:a
292:a
268:A
231:.
126:.
60:,
52:A
2779:e
2772:t
2765:v
2741:)
2332:e
2325:t
2318:v
2202:e
2195:t
2188:v
2169:.
2130:.
2106:.
2087:.
2057:.
2035:)
2025:.
1983:.
1960:.
1827:(
1716:.
1704::
1676:.
1656::
1611:.
1563:.
1423:.
1360:.
1313:.
1296:.
833:.
367:.
353:.
103:.
38:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.