Since the publication of Hartry Field’s influential paper “Tarski’s Theory of Truth” there has been an ongoing discussion about the philosophical import of Tarski’s definition. Most of the arguments have aimed to play down that import, starting with that of Field himself. He interpreted Tarski as trying to provide a physicalistic reduction of semantic concepts like truth, and concluded that Tarski had partially failed. Robert Stalnaker and Scott Soames claimed then that Field should have obtained a stronger conclusion, namely (...) that Tarski’s failure in his allegedly intended physicalistic reduction was total. From another front, Hilary Putnam argued for an even more sweeping thesis: “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Scott Soames followed suit also on this count, endorsing Putnam’s argument in section iii of the aforementioned paper; and John Etchemendy used a very similar argument to contend that “a Tarskian definition of truth [...] cannot possibly illuminate the semantic properties of the object language.” The paper argues that these contentions are based on several misunderstandings about the nature of a definition like Tarski’s. Regarding the Putnam-Soames-Etchemendy argument, we must apply a distinction Frege found natural to draw—and is natural to draw anyway—between what he called “constructive” definitions, definitions properly so called, which are mere stipulations, and what he described as “analytic” definitions, definitions which aim to make explicit the meaning of a term already in use. Regarding the Field-Soames-Stalnaker criticism, the paper contends that the true aims of a Tarskian truth definition are perfectly well fulfilled without Field’s amendments. (shrink)

A central debate in philosophy of race is between eliminativists and conservationists about what we ought do with ‘race’ talk. ‘Eliminativism’ is often defined such that it’s committed to holding that (a) ‘race’ is vacuous and races don’t exist, so (b) we should eliminate the term ‘race’ from our vocabulary. As a stipulative definition, that’s fine. But as an account of one of the main theoretical options in the debate, it’s a serious mistake. I offer three arguments for (...) why eliminativism should not be tethered to vacuity or error theory, and three arguments for why the view shouldn’t be understood in terms of eliminating the term ‘race’ from our vocabulary. Instead, I propose we understand the debate as concerning whether certain uses of ordinary race terms are typically wrong. This proposal is quite simple, and naturally suggested by the common gloss that eliminativism about ‘race’ is akin to a commonsensical view about 'witch' talk. But nonetheless, I argue that it offers a significant recharacterization of this core debate in philosophy of race. (shrink)

Neo-Fregean logicists claim that Hume's Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A longstanding problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck's Two-sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it (...) isn't. In fact, 2FA is not conservative over $n$-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

A Cinematic Humanist approach to film is committed inter alia to the following tenet: Some fiction films illuminate the human condition thereby enriching our understanding of ourselves, each other and our world. As such, Cinematic Humanism might reasonably be regarded as an example of what one might call ‘Cinematic Cognitivism’. This assumption would, however, be mistaken. For Cinematic Humanism is an alternative, indeed a corrective, to Cinematic Cognitivism. Motivating the need for such a corrective is a genuine scepticism about the (...) very notion of the cognitive. Using historical reconstruction, I reveal how ‘cognitive’ has become a multiply ambiguous, theory-laden term in the wake of, indeed as a consequence of, Noam Chomsky’s original stipulative definition. This generates a constitutive problem for cognitivism as both a research programme and a set of claims, and as such poses a trilemma for philosophers of film, art and beyond. I propose a Cinematic Humanist solution to the problematic commitments of cognitive film theorising and, in so doing, gesture towards a methodology I am calling ‘philosophy of film without theory’. (shrink)

Recent decades have witnessed the rise of chefs to a position of cultural prominence. This rise has coincided with increased consciousness of ethical issues pertaining to food, particularly as they concern animals. We rank cookbooks by celebrity chefs according to the minimum number of sentient animals that must be killed to make their recipes. On our stipulative definition, celebrity chefs are those with their own television show on a national network in the United States, the United Kingdom, Canada (...) or Australia. Thirty cookbooks by 26 such chefs were categorized according to the total number of cows, pigs, chicken, fish and other species they included as ingredients. The total number of animals killed was divided by the number of non-dessert recipes to generate an average number of animal deaths per recipe for each book. We outline the rationale for our project and its methodology before presenting a ranked table of 30 cookbooks by celebrity chefs. This method generates several interesting findings. The first concerns the wide variation in animal fatalities among cookbooks. The chef with the heaviest animal footprint killed 5.25 animals per recipe, while the omnivorous chef with the smallest footprints killed 0.19 per recipe. Clearly, not all approaches to meat eating are equal when it comes to their animal mortality rate. Pigs and large ruminants are all substantially bigger than poultry, which are themselves bigger than many fish. The prime determinant of a chef’s place in the index was the number of small animals his or her recipes required. Whether a chef cooked in the style of a particular cuisine (Italian, French, Mexican etc.), by contrast, had no discernible influence on his or her ranking. We analyze how different chefs present themselves—as either especially sensitive or insensitive to ethical issues involving animals and food—and note cases where these presentations do or do not match their index ranking. -/- . (shrink)

Adams and Aizawa (2010b) define cognitivism as the processing of representations with underived content. In this paper, I respond to their use of this stipulative definition of cognition. I look at the plausibility of Adams and Aizawa’s cognitivism, taking into account that they have no criteria for cognitive representation and no naturalistic theory of content determination. This is a glaring hole in their cognitivism—which requires both a theory of representation and underived content to be successful. I also explain (...) why my own position, cognitive integration, is not susceptible to the supposed causal-coupling fallacy. Finally, I look at the more interesting question of whether the distinction between derived and underived content is important for cognition. Given Adams and Aizawa’s concession that there is no difference in content between derived and underived representations (only a difference in how they get their content) I conclude that the distinction is not important and show that there is empirical research which does not respect the distinction. (shrink)

Empathy is many things to many people. Depending on who you ask, it is feeling what another person feels, feeling bad for another person’s suffering, understanding what another person feels, imagining yourself in another person’s situation and figuring out what you would feel, or your brain activating as if you were experiencing the emotion another person is experiencing. These are just some of the various notions of empathy that are at play in philosophy, cognitive science, neuroscience, developmental psychology, and primatology. (...) In this chapter, we will not stipulate a definition of empathy per se. Instead, we will review the development of empathy and purported mechanisms of empathy, which will allow us to tease apart various dimensions of empathy related concepts. Understanding the various dimensions of empathy provides context for some recent critiques of empathy as a moral compass and suggests several directions for future fruitful scientific and philosophical work on empathy. (shrink)

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is to make explicit what (...) is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

The orthodox view of proper names, Millianism, provides a very simple and elegant explanation of the semantic contribution of referential uses of names–names that occur as bare singulars and as the argument of a predicate. However, one problem for Millianism is that it cannot explain the semantic contribution of predicative uses of names. In recent years, an alternative view, so-called the-predicativism, has become increasingly popular. According to the-predicativists, names are uniformly count nouns. This straightforwardly explains why names can be used (...) predicatively, but is prima facie less congenial to an analysis of referential uses. To address this issue, the-predicativists argue that referential names are in fact complex determiner phrases consisting of a covert definite determiner and a count noun—and so, a referential name is a definite description. In this paper, I will argue that despite the appearance of increased theoretical complexity, the view that names are ambiguous between predicative and referential types is in fact superior to the unitary the-predicativist view. However, I will also argue that to see why this ambiguity view is better, we need to give up the standard Millian analysis. Consequently, I will first propose an alternative analysis of referential names that retains the virtues of Millianism, but provides an important explanatory connection to the predicative uses. Once this analysis of names is adopted, the explanation for why names are systematically ambiguous between referential and predicative types is both simple and elegant. Second, I will argue that the-predicativism has the appearance of being simpler than an ambiguity view, but is in fact unable to account for certain key properties of referential names without making ad hoc stipulations. (shrink)

Logical consequence is typically construed as a metalinguistic relation between sentences. Deflationism is an account of logic that challenges this orthodoxy. In Williamson’s recent presentation of deflationism, logic’s primary concern is with universal generalizations over absolutely everything. As well as an interesting account of logic in its own right, deflationism has also been recruited to decide between competing logics in resolving semantic paradoxes. This paper defends deflationism from its most important challenge to date, due to Ole Hjortland. It then presents (...) two new problems for the view. Hjortland’s objection is that deflationism cannot discriminate between distinct logics. I show that his example of classical logic and supervaluationism depends on equivocating about whether the language includes a “definitely” operator. Moreover, I prove a result that blocks this line of objection no matter the choice of logics. I end by criticizing deflationism on two fronts. First, it cannot do the work it has been recruited to perform. That is, it cannot help adjudicate between competing logics. This is because a theory of logic cannot be as easily separated from a theory of truth as its proponents claim. Second, deflationism currently has no adequate answer to the following challenge: what does a sentence’s universal generalization have to do with its logical truth? I argue that the most promising, stipulative response on behalf of the deflationist amounts to an unwarranted change of subject. (shrink)

In order to set a ground for the new hypotheses, theory, and conceptual framework of serendipity, the current chapter aims to review the research landscapes, definitions, types, influential factors, and processes of serendipity. First, bibliometric analyses of 2982 documents retrieved from the Web of Science database were employed to examine the intellectual and conceptual structures in the research field of serendipity. Three major research lines are found: 1) information-seeking behaviors, 2) serendipity in business and sciences, and 3) serendipity in recommender (...) systems. Then, a narrative review of the most notable documents and studies was done to overview the serendipity’s definitions, types, influential factors, and processes. Based on the review, we stipulate the literature gap in which the newly proposed hypotheses, theory, and conceptual framework will fit in. (shrink)

I here argue that Ted Sider's indeterminacy argument against vagueness in quantifiers fails. Sider claims that vagueness entails precisifications, but holds that precisifications of quantifiers cannot be coherently described: they will either deliver the wrong logical form to quantified sentences, or involve a presupposition that contradicts the claim that the quantifier is vague. Assuming (as does Sider) that the “connectedness” of objects can be precisely defined, I present a counter-example to Sider's contention, consisting of a partial, implicit definition of (...) the existential quantifier that in effect sets a given degree of connectedness among the putative parts of an object as a condition upon there being something (in the sense in question) with those parts. I then argue that such an implicit definition, taken together with an “auxiliary logic” (e.g., introduction and elimination rules), proves to function as a precisification in just the same way as paradigmatic precisifications of, e.g., “red”. I also argue that with a quantifier that is stipulated as maximally tolerant as to what mereological sums there are, precisifications can be given in the form of truth-conditions of quantified sentences, rather than by implicit definition. (shrink)

Kant maintains that the only thing that is good in itself, and therefore good without limitation or qualification, is a good will. This is an objectionable claim in support of a controversial position. The problem is not just that the good will is not the only thing that is good in itself, which indeed it is not, but more importantly, that the good will is not so much a thing that is good in itself as it is the good kind (...) of a thing that is otherwise neither good nor bad in itself. The goodness of a good will is no more intrinsic than the goodness of a good act, good outcome, good attitude, good character, or good person. Nor is it even any more so than something as commonplace as a good laugh or a good cup of coffee. A good will, whatever else it may be, is a will that is good, much like how a good act is an act that is good, a good outcome is an outcome that is good, and so on with the other examples, not one of which is good for any reason other than the goodness predicated of the corresponding subject. This paper thus challenges Kant’s position on ontological grounds. It questions the validity of claiming intrinsic goodness for a complex construct whose goodness is, in fact, extrinsic to its substance. The objection is not that the good will might not turn out to be good after all, which is impossible by definition, designation, or stipulation, but that its goodness is axiomatic and derivative rather than intrinsic or fundamental. (shrink)

It is widely agreed that more is true in a work of fiction than explicitly said. In addition to directly stipulated fictional content (explicit truth), inference and background assumptions give us implicit truths. However, this taxonomy of fictional truths overlooks an important class of fictional truth: those generated by literary formal features. Fictional works generate fictional content by both semantic and formal means, and content arising from formal features such as italics or font size are neither explicit nor implicit: not (...) explicit since formal features don’t say anything; and not implicit since content generated from formal features doesn’t rely on other truths or background assumptions. In addition to showing that our current classification is incomplete, the new class of fictional truths provides four further upshots for definitions of fictional truth, story and work identity conditions, and the relationship between literary interpretation and fictional truth. (shrink)

This paper aims to exemplify the language acquisition model by tracing back to the Socratic model of language learning procedure that sets down inborn knowledge, a kind of implicit knowledge that becomes explicit in our language. Jotting down the claims in Meno, Plato triggers a representationalist outline basing on the deductive reasoning, where the conclusion follows from the premises (inborn knowledge) rather than experience. This revolution comes from the pen of Noam Chomsky, who amends the empiricist position on the creativity (...) of language by pinning down it with the innateness hypothesis. However, Chomsky never rejects the external world or the linguistic stipulation that relies on the objective reality. Wittgenstein’s model of language acquisition upholds a liaison centric appeal that stands between experience (use theory of meaning) and mentalism (mind based inner experiences). Wittgenstein’s Tractatus never demarcates the definite mental processes that entangle with the method of understanding and meaning. Wittgenstein’s ‘language game’ takes care of the model of language acquisition in a paradigmatic way. The way portrait language as the form of life and the process of language acquisition is nothing but a language game that relies on the activity of men. (shrink)

To explain the origin of anything, we must be clear about that which we are explaining. There seem to be two main meanings for the term consciousness. One might be called open in that it equates consciousness with awareness and experience and considers rudimentary sensations to have evolved at a specific point in the evolution of increasing complexity. But certainly the foundation for such sensation is a physical body. It is unclear, however, exactly what the physical requirements are for a (...) “central experiencer” to emerge in the course of evolution. Some suggest that it would require a basic brain, others a central nervous system, and others stipulate only a cellular membrane. The open definition is most often assumed by the so-called hard sciences. -/- The closed meaning of consciousness differentiates between a special sort of experience, i.e., conscious experience, and a special sort of awareness (i.e., self-awareness). This is the approach of psychoanalysis and psychology that accepts the existence of an unconscious mind. It is also the view of most phenomenological philosophers and psychologists (Martin Heidegger, Maurice Merleau-Ponty, Jacques Lacan, etc.). This entry discusses several scientific and philosophical views of consciousness and its origins. (shrink)

I argue against a prevailing view that the essence of Godis identical with the attributes. I show that given what Spinoza says in 2d2 – Spinoza'spurported definition of the essence of a thing – the attributes cannot be identical withthe essence of God (whether the essence of God is understood as the distinct attributesor as a totality of indistinct attributes). I argue that while the attributes do notsatisfy the stipulations of 2d2 relative to God, absolutely infinite and eternal power (...) does satisfythose stipulations. Hence, I conclude that absolutely infinite and eternal power is God'sessence and that the attributes are expressions of that power. (shrink)

Any intelligent discussion of terrorism must demarcate its subject matter, for the term ‘terrorism’ is differently understood and where there is no accord on its meaning there is little chance for agreement on its application or normative status. The best course is to sketch a morally neutral definition that classifies as ‘terrorist’ as many widely-agreed upon cases as possible. Definitions that explicitly render terrorism illegitimate make classification contentious, and it is more informative to base moral assessment on an examination (...) of the case rather than through apriori stipulation. Most writers on the topic agree that terrorism is (i) a deliberate use or threat of violence, (ii) politically-motivated, and (iii) directed against non-military personnel, that is, against civilians or noncombatants. Taking these as the only essential features of terrorism, the simplest and more accurate reportive definition is this: Terrorism is deliberate, politically-motivated violence, or the threat of such, directed against civilians.1 By contrast, Ted Honderich describes terrorism as small-scale violence, driven by a political aim, that violates national or international law and is prima facie morally wrong. He thereby counts a good deal of resistance activity and guerilla warfare as terrorist, even when directed against military personnel, while excluding the large-scale military actions of governments. Of course, he may define the word as he chooses, but given its common.. (shrink)

A linguistic convention is a principle or norm that has been adopted by a person or linguistic community about how to use, and therefore what the meaning is of, a specific term. Examples of such norms or principles are those expressed by propositions that express the laws of logic or those that express implicit definitions. Arguments about the epistemic status of linguistic conventions, very broadly, fall into two camps: the one holds that the basis of linguistic conventions is objective and (...) that, therefore, such conventions are genuinely truth-bearing. Knowledge of such conventions is therefore knowledge of the objective truth of such conventions. This camp might be labelled ‘realist’. The other holds that there is no known basis to linguistic conventions and that conventions are, to the best of our knowledge, not objective, but invented. Their truth is stipulated by the relevant speaker or linguistic community. Such truth is, consequently, trivial and knowledge of such conventions simply knowledge of the stipulation. This camp might be labelled ‘anti-realist’. These are three standard accounts of the epistemic status of linguistic conventions, which all play into the first camp: (1) knowledge by intuition, (2) inferential a priori knowledge and (3) a posteriori knowledge. I give reasons why these accounts should be rejected. I then argue that linguistic conventions, if conceived of as trivial truths, are knowable non-inferentially a priori. Such an epistemic account provides support for the second camp. In this regard, I marshal support from some recent work by Wright and Hale. (shrink)

The term ’risk’ is used in a wide range of situations, but there is no real consensus of what it means. ‘Risk ‘is often stipulatively defined as “a probability for the occurrence of a negative event” or something similar. This formulation is however not very informative, and it fails to capture many of our intuitions about the concept or risk. One way of trying to find a common definition of a term within a group is to use a Socratic (...) Dialogue (SD). This method is fairly new, and it is rather different from the original Socratic dialogues (at least if we are to judge from how they are described by Plato). The best explanation for the name ought to be that it is inspired by the original Socratic dialogues. The SD in its modern form was originally developed as a tool for enabling laymen to perform rather advanced concept analyses under the supervision of a professional philosopher. The formal goal of the method is to find a common way of perceiving of a particular term, or at least to find out exactly how the members of the group differ in their understandings of the term, and why. The largest gain from the process has in practice turned out to be a higher awareness among the participants of different ways of understanding the term, and the ideas and intuitions behind it. This has turned out to be very useful in educational settings, but the method has also been used with great success both in research, and in e.g. business, public administration and nongovernmental organisations. In the present case, a Socratic dialogue on the concept of risk was performed within the framework of a Ph D-course about risk and uncertainty at the Swedish University of Agriculture in Alnarp, Sweden. The participants on the course where all quite familiar with practical issues relating to risks. Both from the course work, and from their own research. (shrink)

In this book, the authors introduce the notion of Super linear algebra and super vector spaces using the definition of super matrices defined by Horst (1963). Many theorems on super linear algebra and its properties are proved. Some theorems are left as exercises for the reader. These new class of super linear algebras which can be thought of as a set of linear algebras, following a stipulated condition, will find applications in several fields using computers. The authors feel that (...) such a paradigm shift is essential in this computerized world. (shrink)

In Popper's Logik der Forschung, a theoretical system is a set of sentences that describe a particular sub-area of science, in particular of empirical science. The goal of axiomatizing a theoretical system is to specify a small number of "axioms" describing all presuppositions of the sub-area under consideration, so that all other sentences of this system can be derived from them by means of logical or mathematical transformations. The paper discusses two philosophical interpretations of these proper axioms. First, proper axioms (...) stipulate the use of the signs for the basic concepts of the system. Consequently, the proper axioms turn out to be analytic relative to a class of interpretations of the underlying logic. Hence, they cannot be falsified by refuting their logical consequences because these consequences are analytic as well. Secondly, proper axioms are synthetic, falsifiable and uncertain sentences. Hence, they are not immunized against falsification by refuting their logical consequences. (shrink)

The question, “What is intelligence?” is deceptively simple. However, scholars have engaged in series of research in order to answer it. Till date there is no simple answer accepted by experts in the relevant disciplines. Attempt to identify a standard definition has been very challenging. This failure is connected with the fact that defining intelligence requires the application of problematic and abstract concepts. Consequently, some researchers decided to put forward theories as an attempt to capture the nature of intelligence. (...) However, this option, as reflected in this paper, further deepens the problem it purports to resolve. The paper is an inquest into the intellectual travails of scholars who fruitlessly attempted to grasp the nature of intelligence. The paper avers that these travails are caused by scholar’s reliance on ontological proof of intelligence which stipulates the possession of brain and mind as evidence of intelligence. The epistemological proof which relies on overt behaviour as index of interpreting intelligence is projected by the paper as a plausible means of overcoming the nebulous nature of the concept. -/- . (shrink)

Allegations of fraud involving falsification as research misconduct may result in severe consequences for those convicted. The focus of this article is the Public Health Service’s (PHS) definition of falsification . A well-articulated revised definition is required for veritable instances of falsification as misconduct to be consistently identified and potentially offer a framework for elucidation. A philosophical critique of the explicit definition is undertaken to determine what comprises falsification at its core, which could substantially reduce the number (...) of allegations of fraud as suspected instances of misconduct. The flaw in the PHS definition of falsification is due to circular logic, which allows anything to be proven according to it. Furthermore, to be confident that falsification has occurred, one must be certain of what is true when it has not occurred, which is demonstrated not to be plausible. falsification was found to be the most common type of fraud as misconduct alleged yet the rarest to be determined to occur because the flawed definition confounds what constitutes an occurrence of it. In addition to conceptual ambiguity and ignorance, allegations of falsification are suggested to occur strategically as maneuvers by researchers who may exploit the inherent flaw in the definition to eliminate rival competitors. -/- The purpose of part two is to critique the definition of falsification as research misconduct according to the Public Health Service (PHS) in order to better understand what it entails. In support of this purpose, the approach decided upon for analysis was philosophical including framing the issue borrowing from both mereological and epistemological perspectives. Through the consideration given to parthood relations of mereology, we gained insight from a cognitive imperfection standpoint about similarities that exist between the epistemic constraints on knowledge and the nature of violations concerning research misconduct. Findings from the examination of a case study include the significance of accuracy in representation in falsification as misconduct and the core dimensions comprising an instance of falsification, which are Deliberateness, Alteration, and Inclusion. Given that either behavior or actions must occur that violate these three aspects in order to qualify as an instance of misconduct under falsification, the author proposes that, at a minimum, any revisions made to the definition of falsification stipulate what he refers to as the Violation Imperative. (shrink)

Advocates of conceptual engineering as a method of philosophy face a dilemma: either they are ignorant of how conceptual engineering can be implemented, or else it is trivial to implement but of very little value, representing no new or especially fruitful method of philosophizing. Two key distinctions frame this dilemma and explain its two horns. First, the distinction between speaker’s meaning and reference and semantic meaning and reference reveals a severe implementation problem for one construal of conceptual engineering. Second, the (...) distinction between stipulating meanings and conceptually analyzing allows us to see why, on another construal of what conceptual engineering involves, the practice is neither a new nor neglected philosophical methodology. The article also argues that semantic externalism is not the root of the implementation problem for conceptual engineering, and that the usual rationale for adopting the practice, one that ties its value to the amelioration of “conceptual defects”, is unsound. (shrink)

I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power (...) of the essence of composite substances. (shrink)

When we carry out a speech act of stipulation, it seems that we can shape our language however we see fit. This autonomy, however, also seems to make such acts arbitrary: it is unclear if there are any constraints on what counts as a "correct" or "incorrect" stipulation. In this paper, I offer a novel, detailed account of the pragmatics of stipulation and explain its crucial role in conceptual analysis and articulation. My account shows that stipulation does indeed equip us (...) with a key tool for changing our linguistic practices, but that such acts can nonetheless count as meaningfully, normatively constrained: they are always subject to felicitous criticism and the possibility of defeat by others. I then examine the metaphilosophical implications of this account. Philosophers often describe the project of conceptual analysis as having a crucial stipulative dimension, but they rarely explain what they take this act to consist in. On my view, speech acts of stipulation are best understood as acts that generate a shared inferential entitlement for speaker and audience, an entitlement justified on the basis of its utility. In developing this account, I distinguish stipulations from more familiar speech act kinds such as assertions and commands, synthesize and criticize alternative views of stipulation in the literature, and discuss the relationship between stipulation and seemingly kindred speech acts (such as assumptions, suppositions, and proposals). (shrink)

Recent attempts to answer ontological questions through conceptual analysis have been controversial. Still, it seems reasonable to assume that if the existence of certain things analytically follows from sentences we already accept, then there is no further ontological commitment involved in affirming the existence of those things. More generally, it is plausible that whenever a sentence analytically entails another, the conjunction of those sentences requires nothing more of the world for its truth than the former sentence alone. In his ‘Analyticity (...) and Ontology’, Louis deRosset tries to produce counterexamples to these principles by means of linguistic stipulations. I aim to show where his arguments go wrong. (shrink)

We pose two arguments for the view that sentences containing definite descriptions semantically express multiple propositions: a general proposition as Russell suggested, and a singular proposition featuring the individual who uniquely satisfies the description at the world-time of utterance. One argument mirrors David Kaplan's arguments that indexicals express singular propositions through a context-sensitive character. The second argument mirrors Kent Bach's and Stephen Neale's arguments for pluralist views about terms putatively triggering conventional implicatures, appositive, and nonrestrictive relative clauses. After presenting these (...) arguments, we show that rival explanations (appeals to implicature, referential use, presupposition, etc.) do not offer equally compelling explanations of the data, and defend the methodology employed in the arguments against some criticisms. (shrink)

An agent’s knowledge of her own intentional actions (agential knowledge) is non-observational. Yet, intentional actions typically consist of happenings external to the agents. A theory is needed to explain how agents are warranted to form such beliefs independent of observation. This paper first argues for three desirable features of an ideal theory about agential knowledge. After showing that no existing theories possess all three, a novel theory that does is presented. According to this theory, agential knowledge is the same kind (...) of knowledge as the Kripkean contingent a priori: they are knowledge justified a priori by stipulation. (shrink)

There have through history been many attempts to define 'life' but there is no generally accepted definition of 'life' at this date. As a result, some have come to believe that defining 'life' is not a fruitful endeavour. This seems to be a minority view, however, since the quest to find or create a definition of 'life' is as active as ever.

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

In "Analyticity and Ontology," I argued that there are counterexamples to the claim that the sentences analytically entailed by a claim $\phi$ require nothing more of the world for their truth than does $\phi$. The counterexamples involve sentences which, I argued, are analytically entailed by certain truths, but which nevertheless require more of the world for their truth. John Horden has offered two interesting criticisms of this argument. First, he contends that its conclusion is inconsistent. Second, he contends that the (...) argument faces a dilemma, depending on which of two hypotheses about the meanings of the sentences involved in the counterexamples turns out to be true. Here I reply to Horden's criticisms and briefly indicate what I take their lesson to be. (shrink)

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...) have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

Legal definitions will be examined from three perspectives: their pragmatic function, their propositional structure, and their argumentative role. In law, definitions can be used for different pragmatic purposes: they can be uttered to describe a concept, or to establish a new meaning for a term. The propositional content of definitional speech acts can be different. In law, like in ordinary conversation, there might be different types of definition: we can define by providing examples, or showing the fundamental characteristics of (...) the concept defined, or listing the constituent parts of the denotatum. All these definitions play different argumentative roles in legal discourse. At a third level, definitions can be thought of as premises in complex patterns of reasoning (for the subject of reasoning from definition in law, see Aarnio 1977; Moore 1980; Lindahl, 2004). They constitute the fundamental element of argument from classification, namely a pattern of inference in which a new property (or a name) is attributed to an entity on the basis of other properties. (shrink)

Definitions vary according to context of use and target audience. They must be made relevant for each context to fulfill their cognitive and linguistic goals. This involves adapting their logical structure, type of content, and form to each context of use. We examine from these perspectives the case of definitions in ontologies.

In some sentences, demonstratives can be substituted with definite descriptions without any change in meaning. In light of this, many have maintained that demonstratives are just a type of definite description. However, several theorists have drawn attention to a range of cases where definite descriptions are acceptable, but their demonstrative counterparts are not. Some have tried to account for this data by appealing to presupposition. I argue that such presuppositional approaches are problematic, and present a pragmatic account of the target (...) contrasts. On this approach, demonstratives take two arguments and generally require that the first, covert argument is non-redundant with respect to the second, overt argument. I derive this condition through an economy principle discussed by Schlenker (2005). (shrink)

Definitions of terms that are central to a theoretical understanding of the Royal Government of Bhutan's policy of Gross National Happiness.

Initiatives relying on artificial intelligence (AI) to deliver socially beneficial outcomes—AI for social good (AI4SG)—are on the rise. However, existing attempts to understand and foster AI4SG initiatives have so far been limited by the lack of normative analyses and a shortage of empirical evidence. In this Perspective, we address these limitations by providing a definition of AI4SG and by advocating the use of the United Nations’ Sustainable Development Goals (SDGs) as a benchmark for tracing the scope and spread of (...) AI4SG. We introduce a database of AI4SG projects gathered using this benchmark, and discuss several key insights, including the extent to which different SDGs are being addressed. This analysis makes possible the identification of pressing problems that, if left unaddressed, risk hampering the effectiveness of AI4SG initiatives. (shrink)

Estonian doesn't have a definite article. Instead, bare singular noun phrases can unambiguously bear either a definite interpretation or an indefinite interpretation. This paper argues that the pragmatic principles governing the felicitous use of three English articles ("a", "the" and "another"), described by A Grønn and KJ Sæbø (2012, 'A, the, another: A game of same and different' Journal of Logic, Language and Information 21, 75-95) can also account for the conditions under which a bare singular noun phrase in Estonian (...) bears a definite or instead an indefinite interpretation. The two languages use the same pragmatic principles to determine the definiteness interpretation of a noun phrase. The difference is just that in English (where definiteness meanings have been lexicalized) these pragmatic principles govern the felicity of article use, whereas in Estonian they govern the interpretation of a bare singular noun phrase. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...) here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

Several recent commentators argue that Thomas Hobbes’s account of the nature of science is conventionalist. Engaging in scientific practice on a conventionalist account is more a matter of making sure one connects one term to another properly rather than checking one’s claims, e.g., by experiment. In this paper, I argue that the conventionalist interpretation of Hobbesian science accords neither with Hobbes’s theoretical account in De corpore and Leviathan nor with Hobbes’s scientific practice in De homine and elsewhere. Closely tied to (...) the conventionalist interpretation is the deductivist interpretation, on which it is claimed that Hobbes believed sciences such as optics are deduced from geometry. I argue that Hobbesian science places simplest conceptions as the foundation for geometry and the sciences in which we use geometry, which provides strong evidence against both the conventionalist and deductivist interpretations. (shrink)

In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier (Analysis 23(6):121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as analytic philosophy of (...) language, logic and argumentation that Gettier deploys in the case have scarcely received any attention. This work abstracts from the epistemological content and examines Gettier’s handling of the definite description involved, and how that affects the cogency of his argument. (shrink)

The purpose of this paper is to inquire into the relationship between persuasive definition and common knowledge (propositions generally accepted and not subject to dispute in a discussion). We interpret the gap between common knowledge and persuasive definition (PD) in terms of potential disagreements: PDs are conceived as implicit arguments to win a potential conflict. Persuasive definitions are analyzed as arguments instantiating two argumentation schemes, argument from classification and argument from values, and presupposing a potential disagreement. The argumentative (...) structure of PDs reveals different levels of disagreement, and different pos-sibilities of resolving the conflict or causing dialogical deadlock. (shrink)

According to an influential view, asserting a proposition involves undertaking some “commitment” to the truth of that proposition. But accounts of what it is for someone to be committed to the truth of a proposition are often vague or imprecise, and are rarely put to work to define assertion. This paper aims to fill this gap. It offers a precise characterisation of assertoric commitment, and shows how it can be applied to define assertion. On the proposed view, acquiring commitment is (...) not sufficient for asserting. To assert, commitment must be acquired by explicitly presenting a proposition as true. (shrink)

Why should one think Frege's definition of the ancestral correct? It can be proven to be extensionally correct, but the argument uses arithmetical induction, and that seems to undermine Frege's claim to have justified induction in purely logical terms. I discuss such circularity objections and then offer a new definition of the ancestral intended to be intensionally correct; its extensional correctness then follows without proof. This new definition can be proven equivalent to Frege's without any use of (...) arithmetical induction. This proves, without any use of arithmetical induction, that Frege's definition is extensionally correct and so answers the circularity objections. (shrink)

Definition, conditions and bearers of being a person - three philosophical aporias. -/- In this article I examine the philosophical question of how to define the concept of the person in a non-arbitrary way, how to find out the determining conditions of being a person and how to enumerate the bearers of being a person. I come to the conclusion that the question of a non-arbitrary definition, of the essential conditions and of the bearers of being a person (...) has not yet been clarified; it is not sufficiently clear what we actually mean or should mean by "person" - beyond conventions, disciplinary boundaries and doctrines. This results in three philosophical aporias of the concept of the person. (shrink)

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.