|
Ontological Commitment
An ontological commitment of a language is one or more objects postulated to exist by that language. The 'existence' referred to need not be 'real', but exist only in a universe of discourse. As an example, legal systems use vocabulary referring to 'legal persons' that are collective entities that have rights. One says the legal doctrine has an ''ontological commitment'' to non-singular individuals. In information systems and artificial intelligence, where an ontology refers to a specific vocabulary and a set of explicit assumptions about the meaning and usage of these words, an ontological commitment is an agreement to use the shared vocabulary in a coherent and consistent manner within a specific context. In philosophy, a "theory is ontologically committed to an object only if that object occurs in ''all'' the ontologies of that theory." Background The sentence “Napoleon is one of my ancestors” apparently commits us only to the existence of two individuals (i.e., Napoleon ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conceptualization (information Science)
In information science a conceptualization is an abstract simplified view of some selected part of the world, containing the objects, concepts, and other entities that are presumed of interest for some particular purpose and the relationships between them. An explicit specification of a conceptualization is an ontology, and it may occur that a conceptualization can be realized by several distinct ontologies. An ''ontological commitment'' in describing ontological comparisons is taken to refer to that subset of elements of an ontology shared with all the others. "An ontology is ''language-dependent''", its objects and interrelations described within the language it uses, while a conceptualization is always the same, more general, its concepts existing "independently of the language used to describe it". The relation between these terms is shown in the figure to the right. Not all workers in knowledge engineering use the term ‘conceptualization’, but instead refer to the conce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universe Of Discourse
In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range. Overview The domain of discourse is usually identified in the preliminaries, so that there is no need in the further treatment to specify each time the range of the relevant variables. Many logicians distinguish, sometimes only tacitly, between the ''domain of a science'' and the ''universe of discourse of a formalization of the science''.José Miguel Sagüillo, Domains of sciences, universe of discourse, and omega arguments, History and philosophy of logic, vol. 20 (1999), pp. 267–280. Examples For example, in an interpretation of first-order logic, the domain of discourse is the set of individuals over which the quantifiers range. A proposition such as is ambiguous, if no domain of discourse has been identified. In one interpretation, the domain of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, philosopher, logician, and public intellectual. He had a considerable influence on mathematics, logic, set theory, linguistics, artificial intelligence, cognitive science, computer science and various areas of analytic philosophy, especially philosophy of mathematics, philosophy of language, epistemology, and metaphysics.Stanford Encyclopedia of Philosophy"Bertrand Russell" 1 May 2003. He was one of the early 20th century's most prominent logicians, and a founder of analytic philosophy, along with his predecessor Gottlob Frege, his friend and colleague G. E. Moore and his student and protégé Ludwig Wittgenstein. Russell with Moore led the British "revolt against British idealism, idealism". Together with his former teacher Alfred North Whitehead, A. N. Whitehead, Russell wrote ''Principia Mathematica'', a milestone in the development of classical logic, and a major ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indeterminacy Of Translation
The indeterminacy of translation is a thesis propounded by 20th-century American analytic philosophy, analytic philosopher W. V. Quine. The classic statement of this thesis can be found in his 1960 book ''Word and Object'', which gathered together and refined much of Quine's previous work on subjects other than formal logic and set theory. The indeterminacy of translation is also discussed at length in his ''Ontological Relativity''. Crispin Wright suggests that this "has been among the most widely discussed and controversial theses in modern analytical philosophy". This view is endorsed by Hilary Putnam, Putnam who states that it is "the most fascinating and the most discussed philosophical argument since Kant's Transcendental Deduction of the Categories". Three aspects of indeterminacy arise, of which two relate to indeterminacy of translation. The three indeterminacies are (i) inscrutability of reference, and (ii) holophrastic indeterminacy, and (iii) the Confirmation holism, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holophrastic Indeterminacy
Holophrastic indeterminacy, or indeterminacy of sentence translation, is one of two kinds of indeterminacy of translation to appear in the writings of philosopher Willard Quine, W. V. O. Quine. According to Quine, "there is more than one correct method of translating sentences where the two translations differ not merely in the meanings attributed to the sub-sentential parts of speech but also in the net import of the whole sentence". It is holophrastic indeterminacy that underlies Quine's argument against synonymy, the basis of his objections to Rudolf Carnap's Analytic/synthetic distinction#Quine.27s criticisms and responses, analytic/synthetic distinction. Another kind of indeterminacy introduced by Quine is the "inscrutability of reference", which refers to parts of a sentence or individual words. Indeterminacy of translation Quine's work on indeterminacy of translation, stemming from the basic forms of indeterminacy, is widely discussed in modern analytic philosophy: Quine' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Truthmaker
Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The basic intuition behind truthmaker theory is that truth depends on being. For example, a perceptual experience of a green tree may be said to be true because there actually is a green tree. But if there was no tree there, it would be false. So the experience by itself does not ensure its truth or falsehood, it depends on something else. Expressed more generally, truthmaker theory is the thesis that "the truth of truthbearers depends on the existence of truthmakers". A perceptual experience is the ''truthbearer'' in the example above. Various representational entities, like beliefs, thoughts or assertions can act as truthbearers. Truthmaker theorists are divided about what type of entity plays the role of ''truthmaker''; popular candidates include states of affairs and tropes. ''Truthmaker maximalism'' is the thesis that every truth has a truthmaker. An alternat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Occam's Razor
Occam's razor, Ockham's razor, or Ocham's razor ( la, novacula Occami), also known as the principle of parsimony or the law of parsimony ( la, lex parsimoniae), is the problem-solving principle that "entities should not be multiplied beyond necessity". It is generally understood in the sense that with competing theories or explanations, the simpler one, for example a model with fewer parameters, is to be preferred. The idea is frequently attributed to English Franciscan friar William of Ockham (), a scholastic philosopher and theologian, although he never used these exact words. This philosophical razor advocates that when presented with competing hypotheses about the same prediction, one should select the solution with the fewest assumptions, and that this is not meant to be a way of choosing between hypotheses that make different predictions. Similarly, in science, Occam's razor is used as an abductive heuristic in the development of theoretical models rather than as a rigoro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Epistemology
Epistemology (; ), or the theory of knowledge, is the branch of philosophy concerned with knowledge. Epistemology is considered a major subfield of philosophy, along with other major subfields such as ethics, logic, and metaphysics. Epistemologists study the nature, origin, and scope of knowledge, epistemic justification, the rationality of belief, and various related issues. Debates in epistemology are generally clustered around four core areas: # The philosophical analysis of the nature of knowledge and the conditions required for a belief to constitute knowledge, such as truth and justification # Potential sources of knowledge and justified belief, such as perception, reason, memory, and testimony # The structure of a body of knowledge or justified belief, including whether all justified beliefs must be derived from justified foundational beliefs or whether justification requires only a coherent set of beliefs # Philosophical skepticism, which questions the pos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stanford Encyclopedia Of Philosophy
The ''Stanford Encyclopedia of Philosophy'' (''SEP'') combines an online encyclopedia of philosophy with peer-reviewed publication of original papers in philosophy, freely accessible to Internet users. It is maintained by Stanford University. Each entry is written and maintained by an expert in the field, including professors from many academic institutions worldwide. Authors contributing to the encyclopedia give Stanford University the permission to publish the articles, but retain the copyright to those articles. Approach and history As of August 5th, 2022, the ''SEP'' has 1,774 published entries. Apart from its online status, the encyclopedia uses the traditional academic approach of most encyclopedias and academic journals to achieve quality by means of specialist authors selected by an editor or an editorial committee that is competent (although not necessarily considered specialists) in the field covered by the encyclopedia and peer review. The encyclopedia was created in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plato's Beard
In metaphysics, Plato's beard is a paradoxical argument dubbed by Willard Van Orman Quine in his 1948 paper "On What There Is". The phrase came to be identified as the philosophy of understanding something based on what does not exist. Doctrine Quine defined Plato's beard – and his reason for naming it so – in the following words: This is the old Platonic riddle of nonbeing. Nonbeing must in some sense be, otherwise what is it that there is not? This tangled doctrine might be nicknamed Plato's beard; historically it has proved tough, frequently dulling the edge of Occam's razor. The argument has been favored by prominent philosophers including Bertrand Russell, A. J. Ayer and C. J. F. Williams. Declaring that not ''p'' (¬''p'') cannot exist, one may be forced to abandon truisms such as negation and ''modus tollens''. There are also variations to Quine's original, which included its application both to singular and general terms. Quine initially applied the doctrine to sin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Empty Name
In metaphysics and the philosophy of language, an empty name is a proper name that has no referent. The problem of empty names is the idea that empty names have a meaning when it seems they should not have. The name "Pegasus" is empty; there is nothing to which it refers. Yet, though there is no Pegasus, we know what the sentence "Pegasus has two wings" means. We can even understand the sentence "There is no such thing as Pegasus." But, what can the meaning of a proper name be, except the object to which it refers? Overview There are three broad ways which philosophers have tried to approach this problem. # The meaning of a proper name is not the same as the object (if there is any) it refers to. Hence, though "Pegasus" refers to nothing, it still has a meaning. The German philosopher Gottlob Frege seems to have held a theory of this sort. He says that the sentence Odysseus was set ashore at Ithaca while sound asleep' obviously has a sense. ... the thought xpressed by th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Class (philosophy)
A class is a collection whose members either fall under a predicate or are classified by a rule. Hence, while a set can be extensionally defined only by its elements, a class has also an intensional dimension that unite its members. When the term 'class' is applied such that it includes those sets elements of which are intended to be collected without a common predicate or rule, the distinction can be indicated by calling such sets "improper class." Philosophers sometimes distinguish classes from types and kinds. We can talk about the ''class'' of human beings, just as we can talk about the ''type'' (or ''natural kind''), human being, or humanity. How, then, might classes differ from types? One might well think they are not actually different categories of being, but typically, while both are treated as abstract objects, classes are not usually treated as universals, whereas types usually are. Whether natural kinds ought to be considered universals is vexed; see natural k ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
