In Boghossian's 1997 paper, 'Analyticity' he presented an account of a prioriknowledge of basic logical principles as available by inference from knowledge of their role in determining the meaning of the logical constants by implicit definitiontogether with knowledge of the meanings so-determined that we possess through ourprivileged access to meaning. Some commentators (e.g. BonJour (1998), Glüer (2003),Jenkins (2008)) have objected that if the thesis of implicit definition on which he relieswere true, knowledge of the meaning of the (...) constants would presuppose knowledge of the very logical principles knowledge of which the account purports to explain. Aconsequence would seem to be that implicit definition is incompatible with privilegedaccess. I argue that whilst it is possible for Boghossian to defend against theseobjections the form of argument he proposes does exhibit a subtle form of questionbegging such that it exhibits a transmission of warrant-failure. (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)

A person with one dollar is poor. If a person with n dollars is poor, then so is a person with n + 1 dollars. Therefore, a person with a billion dollars is poor. True premises, valid reasoning, a false a conclusion. This is an instance of the Sorites-paradox. (There are infinitely many such paradoxes. A man with an IQ of 1 is unintelligent. If a man with an IQ of n is unintelligent, so is a man with an IQ (...) of n+1. Therefore a man with an IQ of 200 is unintelligent.) Most attempts to solve this paradox reject some law of classical logic, usually the law of bivalence. I show that this paradox can be solved while holding on to all the laws of classical logic. Given any predicate that generates a Sorites-paradox, significant use of that predicate is actually elliptical for a relational statement: a significant token of "Bob is poor" means that Bob is poor compared to x, for some value of x. Once a value of x is supplied, a definite cutoff line between having and not having the paradox-generating predicate is supplied. This neutralizes the inductive step in the associated Sorites argument, and the would-be paradox is avoided. (shrink)

The concept of knowledge can be modelled in epistemic modal logic and, if modelled by using a standard modal operator, it is subject to the problem of logical omniscience. The classical solution to this problem is to distinguish between implicit and explicit knowledge and to construe the knowledge operator as capturing the concept of implicit knowledge. In addition, since a proposition is said to be implicitly known just in case it is derivable from the set of propositions that (...) are explicitly known by using a certain set of logical rules, the concept of implicit knowledge is definable on the basis of the concept of explicit knowledge. In any case, both implicit and explicit knowledge are typically characterized as factive, i.e. such that it is always the case that what is known is also true. The aim of the present paper is twofold: first, we will develop a dynamic system of explicit intersubjective knowledge that allows us to introduce the operator of implicit knowledge by definition; secondly, we will show that it is not possible to hold together the following two theses: (1) the concept of implicit knowledge is definable along the lines indicated above and (2) the concept of implicit knowledge is factive. (shrink)

In the last several decades, a confluence of work in the social sciences, philosophy, statistics, and computer science has developed a theory of causal inference using directed graphs. This theory typically rests either explicitly or implicitly on two major assumptions.

Self-awareness represents the capacity of becoming the object of one’s own attention. In this state one actively identifies, processes, and stores information about the self. This paper surveys the self-awareness literature by emphasizing definition issues, measurement techniques, effects and functions of self-attention, and antecedents of self-awareness. Key self-related concepts (e.g., minimal, reflective consciousness) are distinguished from the central notion of self-awareness. Reviewed measures include questionnaires, implicit tasks, and self-recognition. Main effects and functions of self-attention consist in selfevaluation, escape (...) from the self, amplification of one's subjective experience, increased self-knowledge, self-regulation, and inferences about others' mental states (Theory-of-Mind). A neurocognitive and socioecological model of self-awareness is described in which the role of face-to-face interactions, reflected appraisals, mirrors, media, inner speech, imagery, autobiographical knowledge, and neurological structures is underlined. (shrink)

The fallacies, as traditionally conceived, are wrong ways of reasoning that nevertheless appear attractive to us. Recently, however, Woods (2013) has argued that they don’t merit such a title, and that what we take to be fallacies are instead largely virtuous forms of reasoning. This reformation of the fallacies forms part of Woods’ larger project to naturalize logic. In this paper I will look to his analysis of the argumentum ad hominem as a case study for the prospects of this (...) project. I will argue that the empirical literature on implicit bias presents a difficulty for the reformation of the ad hominem as cognitively virtuous. Cases where implicit bias influences our assessment of the truth or claim or argument are instances of ad hominem reasoning, and these qualify as fallacious on Woods’ own definition. (shrink)

The “film as philosophy” (FAP) hypothesis turned into a field if its own right during the 2000s, after S. Mulhall’s On Film (2001). In this work, Mulhall defended that some films philosophize for themselves. This caused controversy. Around the same time of On Film’s release, B. Russell published the article “The philosophical limits of film” (2000). This article had one of the first attacks against FAP, posing some main objections based on metaphilosophical grounds, which were called the “generality” and the (...) “explicitness” objections. These objections made by Russell and by M. Smith are based on the idea that film and philosophy are too different in their purposes or ways of presentation, ideas that are grounded in implicit or explicit conceptions of philosophy. In this chapter, these will be analyzed, as well as some other metaphilosophically grounded objections, as a line of reasoning connecting to attempts of responding to them will be drawn. After doing so, it will be concluded that their metaphilosophical grounds are implausible, and, thus, they are not definite objections against FAP. (shrink)

Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations of the surprise notion, (...) crucial in this paradox. Standard formalizations of the Surprise Examination paradox in modal logic do not seem, at first glance, to depend on either factivity or knowledge-of-factivity, but we will argue that both factivity and knowledge-of-factivity play a key implicit role in the paradox. Namely, they are implicitly, perhaps unintentionally, used in order to simplify the definition of surprise. We analyze modal logical formalizations of three versions of the paradox concluding that the Surprise Examination paradox is the result of two flaws: the assumption of knowledge-of-factivity, and the over-simplification of the definition of "surprise" accordingly. By fixing these two flaws, the Surprise Examination paradox vanishes. (shrink)

Les efforts pour définir la vie se sont intensifiés ces dernières années dans les sciences biologiques. Partant d’une interrogation sur les motivations qui président à ces efforts, nous montrons que l’on doit distinguer deux projets qui s’exposent à des difficultés philosophiques très différentes : ceux présentant l’obtention d’une définition de la vie comme un moyen nécessaire pour l’enquête scientifique ; ceux qui pensent celle-ci comme une fin. Puis nous analysons les usages qui sont faits du terme « vie ». Tandis (...) que l’ensemble des analyses l’ont considéré comme un terme de classe dont les organismes seraient des instances, nous montrons qu’en pratique il existe un second usage implicite de ce terme : dans certains contextes « vie » sert à désigner un individu dont les organismes sont des parties. (shrink)

In this paper we present an analysis of persuasive definition based on argumentation schemes. Using the medieval notion of differentia and the traditional approach to topics, we explain the persuasiveness of emotive terms in persuasive definitions by applying the argumentation schemes for argument from classification and argument from values. Persuasive definitions, we hold, are persuasive because their goal is to modify the emotive meaning denotation of a persuasive term in a way that contains an implicit argument from values. (...) However, our theory is different from Stevenson’s, a positivistic view that sees emotive meaning as subjective, and defines it as a behavioral effect. Our proposal is to treat the persuasiveness produced by the use of emotive words and persuasive definitions as due to implicit arguments that an interlocutor may not be aware of. We use congruence theory to provide the linguistic framework for connecting a term with the function it is supposed to play in a text. Our account allows us to distinguish between conflicts of values and conflicts of classifications. (shrink)

Despite its enormous popularity, Russell’s theory of definite descriptions has received various criticisms. Two of the most important objections against this theory are those arising from the Argument from Incompleteness and the Argument from Donnellan’s Distinction. According to the former although a speaker may say something true by assertively uttering a sentence containing an incomplete description , on the Russellian analysis such a sentence expresses a false proposition; so, Russell’s theory cannot adequately deal with such sentences. According to the latter (...) objection a descriptive sentence is actually ambiguous—it expresses a general proposition when the description contained in it is used attributively, and a singular proposition when the description in question is used referentially; Russell’s theory is inadequate as it fails to capture this ambiguity and offers an analysis according to which a descriptive sentence expresses only a general proposition. These objections are examined in the present dissertation. It is shown here that these objections arise from: (i) ignoring the distinction between the meaning of a sentence and the assertions made by using it, (ii) the failure to distinguish between the semantic meaning of a sentence and the pragmatic meaning with which it is used on a particular occasion. To make the distinction mentioned in (i), a significant part of Scott Soames’ theory concerning meaning and assertions has been adopted in this dissertation; and, to make the distinction mentioned in (ii), a test, namely the cancellability test, and two Distinguishing Criteria, namely DC-1 and DC-2, have been developed here. It has been argued here that if we properly make the relevant distinctions, then we will find that: (a) the phenomenon cited by the Argument from Incompleteness can be well explained keeping the Russellian analysis of descriptive sentences intact, (b) the phenomenon arising from the Argument from Donnellan’s Distinction raises an issue of pragmatics and is irrelevant to Russell’s semantic analysis of descriptive sentences. So, none of the above criticisms poses a genuine threat to Russell’s theory of definite descriptions; his theory actually provides, to a large extent, a correct semantic analysis of descriptive sentences. (shrink)

Functionalists about truth employ Ramsification to produce an implicit definition of the theoretical term _true_, but doing so requires determining that the theory introducing that term is itself true. A variety of putative dissolutions to this problem of epistemic circularity are shown to be unsatisfactory. One solution is offered on functionalists' behalf, though it has the upshot that they must tread on their anti-pluralist commitments.

In this article I argue for an empiricist view on laws. Some laws are fundamental in the sense that they are the result of inductive generalisations of observed regularities and at the same time in their formulation contain a new theoretical predicate. The inductive generalisations simul- taneously function as implicit definitions of these new predicates. Other laws are either explicit definitions or consequences of other previously established laws. I discuss the laws of classical mechanics, relativity theory and electromagnetism in (...) detail. Laws are necessary, whereas acciden- tal generalisations are not. But necessity here is not a modal concept, but rather interpreted as short for the semantic predicate “... is necessarily true”. Thus no modal logic is needed. The neces- sity attributed to law sentences is in turn interpreted as “necessary condition for the rest of the the- ory”, which is true since fundamental laws are implicit definitions of theoretical predicates use in the theory. (shrink)

Classical philosophical notions, such as conceptual truth, analyticity, and a priori knowledge, have recently re-entered the mainstream philosophical debate, after fifty years of depreciation. This paper illustrates how such notions are reintroduced and discussed in a current debate on the nature of concepts, along with the idea that a concept is individuated by an implicit definition. This traditional Neopositivist device has recently been redeployed by writers such as Peacocke, Horwich, and Boghossian. Implicit definitions raise a variety of (...) interesting issues, from semantics to epistemology: how can they succeed in fixing a concept’s semantic property, if not by convention? are they analytic, in the Quinean sense? Do they provide with a priori knowledge? Which constraints are appropriate, for some formulation genuinely to pick up the semantic property of a concept?. (shrink)

Boghossian (1996) has put forward an interesting explanation of how we can acquire logical knowledge via implicit definitions that makes use of a special template. Ebert (2005) has argued that the template is unserviceable, as it doesn't transmit warrant. In this paper, we defend the template. We first suggest that Jenkins (2008)’s response to Ebert fails because it focuses on doxastic rather than propositional warrant. We then reject Ebert’s objection by showing that it depends on an implausible and incoherent (...) assumption. (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 long-standing 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)

In his contribution, Mark Alfano lays out a new (to virtue theory) naturalistic way of determining what the virtues are, what it would take for them to be realized, and what it would take for them to be at least possible. This method is derived in large part from David Lewis’s development of Frank Ramsey’s method of implicit definition. The basic idea is to define a set of terms not individually but in tandem. This is accomplished by assembling (...) all and only the common sense platitudes that involve them (e.g., typically, people want to be virtuous), conjoining those platitudes, and replacing the terms in question by existentially quantified variables. If the resulting sentence is satisfied, then whatever satisfies are the virtues. If it isn’t satisfied, there are a couple of options. First, one could just admit defeat by saying that people can’t be virtuous. More plausibly, one could weaken the conjunction by dropping a small number of the platitudes from it (and potentially adding some others). Alfano suggests that the most attractive way to do this is by dropping the platitudes that deal with cross-situational consistency and replacing them with platitudes that involve social construction: basically, people are virtuous (when they are) at least in part because other people signal their expectations of virtuous conduct, which induces virtuous conduct, which in turn induces further signals of expected virtuous conduct, and so on. (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)

Many philosophers claim that understanding a logical constant (e.g. ‘if, then’) fundamentally consists in having dispositions to infer according to the logical rules (e.g. Modus Ponens) that fix its meaning. This paper argues that such dispositionalist accounts give us the wrong picture of what understanding a logical constant consists in. The objection here is that they give an account of understanding a logical constant which is inconsistent with what seem to be adequate manifestations of such understanding. I then outline an (...) alternative account according to which understanding a logical constant is not to be understood dispositionally, but propositionally. I argue that this account is not inconsistent with intuitively correct manifestations of understanding the logical constants. (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)

This paper is aimed at understanding one central aspect of Bolzano's views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue that, for Bolzano, a priori knowledge is knowledge by virtue of meaning and that Bolzano has substantial views about meaning and what it is to know the latter. In particular, Bolzano believes that meaning is determined by implicit definition, i.e. the fundamental propositions in a deductive system. (...) I go into some detail in presenting and discussing Bolzano's views on grounding, a priori knowledge and implicit definition. I explain why other aspects of Bolzano's theory and, in particular, his peculiar understanding of analyticity and the related notion of Ableitbarkeit might, as it has invariably in the past, mislead one to believe that Bolzano lacks a significant account oï a priori knowledge. Throughout the paper, I point out to the ways in which, in this respect, Bolzano's antagonistic relationship to Kant directly shaped his own views. (shrink)

This paper is about Poincaré’s view of the foundations of geometry. According to the established view, which has been inherited from the logical positivists, Poincaré, like Hilbert, held that axioms in geometry are schemata that provide implicit definitions of geometric terms, a view he expresses by stating that the axioms of geometry are “definitions in disguise.” I argue that this view does not accord well with Poincaré’s core commitment in the philosophy of geometry: the view that geometry is the (...) study of groups of operations. In place of the established view I offer a revised view, according to which Poincaré held that axioms in geometry are in fact assertions about invariants of groups. Groups, as forms of the understanding, are prior in conception to the objects of geometry and afford the proper definition of those objects, according to Poincaré. Poincaré’s view therefore contrasts sharply with Kant’s foundation of geometry in a unique form of sensibility. According to my interpretation, axioms are not definitions in disguise because they themselves implicitly define their terms, but rather because they disguise the definitions which imply them. (shrink)

The theme of this special issue is minimalism about truth, a conception which has attracted extensive support since the landmark publication of Paul Horwich's Truth (1990). Many well-esteemed philosophers have challenged Horwich's alethic minimalism, an especially austere version of deflationary truth theory. In part, this is at least because his brand of minimalism about truth also intersects with several different literatures: paradox, implicit definition, bivalence, normativity, propositional attitudes, properties, explanatory power, meaning and use, and so forth. Deflationist sympathizers (...) have introduced a few developments and emendations, while critics and other interlocutors have generated objections that have required further responses. Some of these works appeared in the first few years following the publication of the first edition of Truth. But others have appeared only in the last five or ten years, indicating that interest in the minimalist conception continues to bloom and be a highly fecund source for new ideas. Some of those new ideas are collected here, in a special issue celebrating collectively the 25th anniversary of Horwich's Truth in 2015 and the 20th anniversary of the revised edition in 2018. The intent of the issue is overwhelmingly prospective rather than retrospective; however, it presents original work and fresh perspectives, including a new contribution by Paul Horwich himself, that jointly offer au currant reflections on the current status and future promise of the minimal conception. (shrink)

Many philosophers still believe that metaphysically analytic sentences exist, where a sentence is understood to be metaphysically analytic if and only if it is true solely in virtue of its meaning. I provide two arguments against this claim and hence conclude that metaphysically analytic sentences do not exist. Still, some philosophers, however, hold out hope that epistemically analytic sentences exist, where a sentence is epistemically analytic if and only if an agent's understanding the sentence suffices for the agent to be (...) justified in believing that this sentence is true. One such philosopher is Paul Boghossian, whose so-called analytic theory of the a priori is intended to show how epistemically analytic sentences can explain our a priori knowledge of the truths about logic. His theory, however, relies on the dubious Argument by Implicit Definition. I provide an objection to this argument and hence conclude that Boghossian's analytic theory of the a priori fails to vindicate the notion of epistemic analyticity. Still, I concede that just because Boghossian's attempt to do so fails, it does not follow that the notion of epistemic analyticity cannot, in another way, be vindicated. (shrink)

Within his overarching program aiming to defend an epistemic conception of analyticity, Boghossian (1996 and 1997) has offered a clear-cut explanation of how we can acquire a priori knowledge of logical truths and logical rules through implicit definition. The explanation is based on a special template or general form of argument. Ebert (2005) has argued that an enhanced version of this template is flawed because a segment of it is unable to transmit warrant from its premises to the (...) conclusion. This article aims to defend the template from this objection. We provide an accurate description of the type of non-transmissivity that Ebert attributes to the template and clarify why this is a novel type of non-transmissivity. Then, we argue that Jenkins (2008)’s response to Ebert fails because it focuses on doxastic rather than propositional warrant. Finally, we rebut Ebert’s objection on Boghossian’s behalf by showing that it rests on an unwarranted assumption and is internally incoherent. (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)

Expressing a widely-held view, David Hitchcock claims that "an enthymematic argument ... assumes at least the truth of the argument's associated conditional ... whose antecedent is the conjunction of the argument's explicit premises and whose consequent is the argument's conclusion." But even definitionally, this view is problematic, since an argument's being "enthymematic" or incomplete with respect to its explicit premises means that the conclusion is not implied by these premises alone. The paper attempts to specify the ways in which the (...) view is incorrect, as well as seemingly correct (e.g., the case of a Modus Ponens wherein the major premise is implicit). -/- . (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)

First, ‘Is Justified True Belief Knowledge’ is imprecise but Gettier is explicit that ‘know’ is analysed as the definiendum is ‘S knows that P’. Second, Gettier does not misrepresent as Plato’s definition as the expressions used are ‘Plato considers’ and ‘seems to accept’. Third, Gettier is not mistaken to apply Plato’s definition to propositions since propositional knowledge is a species of Plato’s definition. Fourth, for Plato true belief temporally precedes an account. ‘Jones owns a Ford’ is never (...) a true opinion, hence no account for it can be given. The counterexample is reconstructed with temporality built into it. Fifth, Gettier does not fail to establish the equivalence of ‘believe’, ‘accepts’ and ‘sure’ in the three versions as this is implicitly established in the shifts made in the paper. Sixth, ‘entails’ logically is used only when the entailing proposition is true, but in the counterexamples a false proposition is taken to imply a true one. ‘Entail’ is to be taken in the ordinary sense of implies. Seventh, in Case I, the implication is preserved with the proper representation: → [Gy ↔ ], which implies { → [Gy ↔ ]}’. Eighth, the counterexample is reworked to avoid the objection that justification for p and justification for q may not be sufficient justification for ‘p & q’. (shrink)

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud if (...) possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

Review of *New Essays on the A Priori*, an excellent collection edited by Paul Boghossian and Christopher Peacocke. Contributors include: Tyler Burge; Quassim Cassam; Philip Kitcher; Penelope Maddy; Hartry Field; Paul Horwich; Peter Railton; Stephen Yablo; Bob Hale; Crispin Wright; Frank Jackson; Stewart Shapiro; Michael Friedman; Martin Davies; Bill Brewer; and Thomas Nagel.

The Introduction provides an overview of Kendall Walton’s make-believe framework for a variety of representations and his arguments that such representations are dependent on their social or historical context. Walton argues that diverse representations involve our capacities for imagination and make-believe with props; they overlap with the fictional. Focusing on make-believe with props explains paradigmatic representational arts such as paintings and novels, theater and film. But this perspective reaches beyond the arts: it explains pictures and photographs in general not only (...) artistic ones; stories in general as well as literary and performing arts; music; metaphors, and even the claims we make about fictional entities and existence. The first section explains the main points of the make-believe framework in Mimesis as Make-Believe, and it reconstructs Walton’s argument in “Categories of Art” that some aesthetic properties depend on the perceptible and historical categories of art to which a work belongs. The second section outlines Walton’s specific proposals about literary fiction, fictional characters, poetry, pictures, photographs, music and negative existential claims. These explanations are integrated with summaries of the papers. The third section examines Walton’s implicit view of two much-discussed issues: the ontology of art and definitions of art. This discussion clears away some misunderstandings of Walton’s contextualism or historicism and relates Walton’s work to Arthur Danto’s and Frank Sibley’s. (shrink)

Dans la définition de l'eugénisme, il est très difficile d'établir une distinction claire entre la science (médecine, génie génétique) et l'eugénisme. Et de définir une ligne de conduite sur laquelle l'ingénierie génétique ne devrait pas aller, conformément aux normes morales, juridiques et religieuses. Tant que nous acceptons l'aide de la génétique pour trouver des moyens de lutter contre le cancer, le diabète ou le VIH, nous acceptons également l'eugénisme positif tel qu'il est actuellement. Et tant que nous acceptons le dépistage (...) génétique et les interventions sur le fœtus, ou l'avortement, nous acceptons implicitement l'eugénisme négatif. En outre, au niveau gouvernemental, bien que l'eugénisme soit officiellement démenti, il a été légalisé dans de nombreux pays jusqu'à récemment et est toujours accepté et légalisé, même sous des formes subtiles, y compris aujourd'hui. DOI: 10.13140/RG.2.2.31335.50088. (shrink)

The concept of agency is of crucial importance in cognitive science and artificial intelligence, and it is often used as an intuitive and rather uncontroversial term, in contrast to more abstract and theoretically heavy-weighted terms like “intentionality”, “rationality” or “mind”. However, most of the available definitions of agency are either too loose or unspecific to allow for a progressive scientific program. They implicitly and unproblematically assume the features that characterize agents, thus obscuring the full potential and challenge of modeling agency. (...) We identify three conditions that a system must meet in order to be considered as a genuine agent: a) a system must define its own individuality, b) it must be the active source of activity in its environment (interactionalasymmetry) and c) it must regulate this activity in relation to certain norms (normativity). We find that even minimal forms of proto-celular systems can already provide a paradigmatic example of genuine agency. By abstracting away some specific details of minimal models of living agency we define the kind of organization that is capable to meet the required conditions for agency (which is not restricted to living organisms). On this basis, we define agency as an autonomous organization that adaptively regulates its coupling with its environment and contributes to sustaining itself as a consequence. We find that spatiality and temporality are the two fundamental domains in which agency spans at different scales. We conclude by giving an outlook to the road that lies ahead in the pursuit to understand, model and synthesis agents. (shrink)

Anne Phillips argues that definitions of the human are a trap for the political claims to equality contained in humanitarianism or human rights discourse. However, defining the human also hides the ontological and political problem addressed by the Philosophical Anthropology. There is an ethical and political stake in the philosophical anthropology of the last century when it insists on the indefinability of the human. With this, it criticizes the politics implicit in the definition of the human. And also, (...) it questions the metaphysical positions that the act of defining implies. -/- //// La lógica de inclusión/exclusión presente en toda definición de lo humano no solo es una trampa para las reivindicaciones políticas de la igualdad contenidas en el humanitarismo o el discurso de los derechos humanos, como ha argumentado Anne Phillips, sino que también oblitera la problemática ontológica contenida en la pregunta fundamental de toda antropología filosófica y su correspondiente dimensión práctica. Las tesis de la indefinibilidad del ser humano y la problematicidad ontológica constitutiva de lo humano —desarrolladas por la antropología filosófica crítica del último siglo— cuestionan toda política de la definición de lo humano y las posturas metafísicas que tales políticas implican. Por ello, el artículo también pone en cuestión la imagen negativa del aporte de la antropología filosófica a la ética y la filosofía social. -/- . (shrink)

There is a basic methodological difference in the way anarchists and non-anarchists think about politics, often more implicit than explicit. Anarchists see politics and justice as being concerns of social institutions, norms, and relations generally – both inside and outside the state. Much of academic political philosophy talks of politics and justice as if they are definitionally concerns about what states should do, or our relationships with each other through the state. In this chapter, we argue that the anarchists (...) are on the right side of this difference. We call the insight that undergirds the anarchists’ understanding of politics and justice “methodological anarchism.” We seek to exorcise the policy framework in favor of methodological anarchism. Indeed, we believe it should be embraced by all political philosophers, not only the anarchists among their ranks. Political philosophers ought to abstain from the policy framework for two reasons. Firstly, it is analytically impoverished inasmuch as, when followed to its logical conclusion, it is unable to engage with enormous areas of analysis that are relevant to what makes a society just or unjust. Secondly, it instills subtle prejudice against other important approaches to mitigating injustice that are unconcerned with public policy. This also carries the danger of lending ideological support for existing injustices and thereby entrenching them. Accepting our critique of the policy framework and adopting methodological anarchism does not necessarily require the acceptance of any kind of substantive political anarchism. But it does mean thinking a bit more like an anarchist about how to make society more just – thus our characterization of it as “methodological.”. (shrink)

This book analyzes the uses of emotive language and redefinitions from pragmatic, dialectical, epistemic and rhetorical perspectives, investigating the relationship between emotions, persuasion and meaning, and focusing on the implicit dimension of the use of a word and its dialectical effects. It offers a method for evaluating the persuasive and manipulative uses of emotive language in ordinary and political discourse. Through the analysis of political speeches and legal arguments, the book offers a systematic study of emotive language in argumentation, (...) rhetoric, communication, political science and public speaking. (shrink)

The selected effects or ‘etiological’ theory of Proper function is a naturalistic and realist account of biological teleology. It is used to analyse normativity in philosophy of language, philosophy of mind, philosophy of medicine and elsewhere. The theory has been developed with a simple and intuitive view of natural selection. Traits are selected because of their positive effects on the fitness of the organisms that have them. These ‘selected effects’ are the Proper functions of the traits. Proponents argue that this (...) analysis of biological teleology has the unique advantage that the selected effect function of a trait is also a causal explanation of the trait: the trait exists because it performs this function. We show, however, that selected effect functions as currently defined explain the existence of traits only under highly restrictive assumptions about evolutionary dynamics. In many common scenarios in which traits evolve by natural selection, selected effect functions do not explain those traits. This is because definitions of selected effect function extract from any evolutionary scenario only the information that would be explanatorily relevant in the simple evolutionary scenario implicit in those definitions. When applied to more complex scenarios selected effect functions omit the key information that is explanatorily relevant in those scenarios. The assumptions required for selected effect functions to be explanatory are particularly unlikely to hold in the domain that its proponents care most about - the evolution of representation. A more adequate selected effects theory of Proper functions may be possible, but will require much greater attention to the structure of actual evolutionary explanations. (shrink)

Many interpreters argue that irrational acts of exchange can count as rational and civic-minded for Hegel—even though, admittedly, the persons who are exchanging their property are usually unaware of this fact. While I do not want to deny that property exchange can count as rational in terms of ‘mutual recognition’ as interpreters claim, this proposition raises an important question: What about the irrationality and arbitrariness that individuals as property owners and persons consciously enjoy? Are they mere vestiges of nature in (...) Hegel’s system, or do they constitute a simple yet valid form of freedom that is not only a part of Hegel’s rational system of right, but its necessary starting point? I will argue the latter: The arbitrary, purely egoist self-definition of property owners is the simplest possible type of freedom for Hegel, which he dissects in order to show how the very arbitrary self-definition implicitly relies on an identity between persons, and hence foreshadows the more social forms of freedom Hegel will discuss later in his book. I make this argument by highlighting Hegel’s references to his discussion of atoms and freedom in his Logic of Being. (shrink)

Étant donné la définition de l'eugénisme, il est très difficile d'établir une distinction claire entre la science (médecine, ingénierie génétique) et l'eugénisme en tant que domaine inclus. Et pour définir une ligne sur laquelle l'ingénierie génétique ne devrait pas aller plus loin, conformément aux normes morales, juridiques et religieuses. Si nous acceptons l'aide de la génétique pour trouver des moyens de lutter contre le cancer, le diabète ou le VIH, nous acceptons également l'eugénisme positif tel qu'il est défini à présent. (...) Et si nous acceptons le dépistage génétique et les interventions sur le fœtus, ou l’avortement, nous acceptons implicitement l’eugénisme négatif. En outre, au niveau gouvernemental, bien que l'eugénisme soit officiellement refusé, il a été légalisé dans de nombreux pays jusqu'à récemment et est toujours accepté et légalisé, même sous des formes subtiles, même de nos jours. -/- TABLE: -/- Abstract Introduction 1. Histoire de l'eugénisme - 1.1 Antiquité - 1.2 Le darwinisme social - 1.3 Francis Galton - 1.4 Charles Davenport - 1.5 L'eugenisme en tant que politique d'État - - 1.5.1 L'eugenisme en États-Unis - - 1.5.2 L'eugenisme en Allemagne - 1.6 La période d'après-guerre 2. L'eugénisme actuel - 2.1 L'eugénisme libéral - 2.2 L'eugénisme en tant que politique d'État 3. L'éthique de l'eugénisme 4. L'avenir de l'eugénisme Conclusions Bibliographie -/- DOI: 10.13140/RG.2.2.12520.83203 . (shrink)

Kant’s postulate of possibility states that possible is whatever agrees with the formal conditions of experience. As has often been noted, this is a definition of real possibility. However, little attention has been paid to the relation of Kantian real possibility to the German philosophical tradition before him. I discuss three kinds of possibility present in this tradition – internal, external, and (Crusian) real possibility – and argue that Kant endorses internal and external possibility. Furthermore, I show, specifically with (...) respect to the concept of state (Zustand), that the three traditional conceptions are reminiscent of three conceptions of real possibility that Kant implicitly distinguishes. Lastly, I argue that, according to Kant, we need experience to prove real possibility (at least as regards the three conceptions of the real possibility of states) because otherwise we could not know whether the formal conditions of experience obtain. (shrink)

The claim that behaviourally undetectable inverted spectra are possible has been endorsed by many physicalists. I explain why this starting point rules out standard forms of scientific explanation for qualia. The modern ‘phenomenal concept strategy’ is an updated way of defending problematic intuitions like these, but I show that it cannot help to recover standard scientific explanation. I argue that Chalmers is right: we should accept the falsity of physicalism if we accept this problematic starting point. I further argue that (...) accepting this starting point amounts to at least implicitly endorsing certain theoretical claims about the nature of introspection. I therefore suggest that we allow ourselves to be guided, in our quest to understand qualia, by whatever independently plausible theories of introspection we have. I propose that we adopt a more moderate definition of qualia, as those introspectible properties which cannot be fully specified simply by specifying the non-controversially introspectible ‘propositional attitude’ mental states (including seeing x, experiencing x, and so on, where x is a specification of a potentially public state of affairs). Qualia thus defined may well fit plausible, naturalisable accounts of introspection. If so, such accounts have the potential to explain, rather than explain away, the problematic intuitions discussed earlier; an approach that should allow integration of our understanding of qualia with the rest of science. (shrink)

The explicit history of the “hidden variables” problem is well-known and established. The main events of its chronology are traced. An implicit context of that history is suggested. It links the problem with the “conservation of energy conservation” in quantum mechanics. Bohr, Kramers, and Slaters (1924) admitted its violation being due to the “fourth Heisenberg uncertainty”, that of energy in relation to time. Wolfgang Pauli rejected the conjecture and even forecast the existence of a new and unknown then elementary (...) particle, neutrino, on the ground of energy conservation in quantum mechanics, afterwards confirmed experimentally. Bohr recognized his defeat and Pauli’s truth: the paradigm of elementary particles (furthermore underlying the Standard model) dominates nowadays. However, the reason of energy conservation in quantum mechanics is quite different from that in classical mechanics (the Lie group of all translations in time). Even more, if the reason was the latter, Bohr, Cramers, and Slatters’s argument would be valid. The link between the “conservation of energy conservation” and the problem of hidden variables is the following: the former is equivalent to their absence. The same can be verified historically by the unification of Heisenberg’s matrix mechanics and Schrödinger’s wave mechanics in the contemporary quantum mechanics by means of the separable complex Hilbert space. The Heisenberg version relies on the vector interpretation of Hilbert space, and the Schrödinger one, on the wave-function interpretation. However the both are equivalent to each other only under the additional condition that a certain well-ordering is equivalent to the corresponding ordinal number (as in Neumann’s definition of “ordinal number”). The same condition interpreted in the proper terms of quantum mechanics means its “unitarity”, therefore the “conservation of energy conservation”. In other words, the “conservation of energy conservation” is postulated in the foundations of quantum mechanics by means of the concept of the separable complex Hilbert space, which furthermore is equivalent to postulating the absence of hidden variables in quantum mechanics (directly deducible from the properties of that Hilbert space). Further, the lesson of that unification (of Heisenberg’s approach and Schrödinger’s version) can be directly interpreted in terms of the unification of general relativity and quantum mechanics in the cherished “quantum gravity” as well as a “manual” of how one can do this considering them as isomorphic to each other in a new mathematical structure corresponding to quantum information. Even more, the condition of the unification is analogical to that in the historical precedent of the unifying mathematical structure (namely the separable complex Hilbert space of quantum mechanics) and consists in the class of equivalence of any smooth deformations of the pseudo-Riemannian space of general relativity: each element of that class is a wave function and vice versa as well. Thus, quantum mechanics can be considered as a “thermodynamic version” of general relativity, after which the universe is observed as if “outside” (similarly to a phenomenological thermodynamic system observable only “outside” as a whole). The statistical approach to that “phenomenological thermodynamics” of quantum mechanics implies Gibbs classes of equivalence of all states of the universe, furthermore re-presentable in Boltzmann’s manner implying general relativity properly … The meta-lesson is that the historical lesson can serve for future discoveries. (shrink)

In the latter half of the twentieth century, philosophers of science have argued (implicitly and explicitly) that epistemically rational individuals might compose epistemically irrational groups and that, conversely, epistemically rational groups might be composed of epistemically irrational individuals. We call the conjunction of these two claims the Independence Thesis, as they together imply that methodological prescriptions for scientific communities and those for individual scientists might be logically independent of one another. We develop a formal model of scientific inquiry, define four (...) criteria for individual and group epistemic rationality, and then prove that the four definitions diverge, in the sense that individuals will be judged rational when groups are not and vice versa. We conclude by explaining implications of the inconsistency thesis for (i) descriptive history and sociology of science and (ii) normative prescriptions for scientific communities. (shrink)

Crispin Wright tried to refute classical 'Cartesian' skepticism contending that its core argument is extendible to a reductio ad absurdum (_Mind<D>, 100, 87-116, 1991). We show both that Wright is mistaken and that his mistakes are philosophically illuminating. Wright's 'best version' of skepticism turns on a concept of warranted belief. By his definition, many of our well-founded beliefs about the external world and mathematics would not be warranted. Wright's position worsens if we take 'warranted belief' to be implicitly defined (...) by the general principles governing it. Those principles are inconsistent, as shown by a variant of Godel's argument. Thus the inconsistency Wright found has nothing to do with the special premises of Cartesian skepticism, but is embedded in his own conceptual apparatus. Lastly, we show how a Cartesian skeptic could avoid Wright's critique by reconstructing a skeptical argument that does not use the claims Wright ultimately finds objectionable. (shrink)

What is it to be mentally healthy? In the ongoing movement to promote mental health, to reduce stigma, and to establish parity between mental and physical health, there is a clear enthusiasm about this concept and a recognition of its value in human life. However, it is often unclear what mental health means in all these efforts and whether there is a single concept underlying them. Sometimes, the initiatives for the sake of mental health are aimed just at reducing mental (...) illness, thus implicitly identifying mental health with the absence of diagnosable psychiatric disease. More ambitiously, there are high-profile proposals to adopt a positive definition, identifying mental health with psychic or even overall well-being. We argue against both: a definition of mental health as mere absence of mental illness is too thin, too undemanding, and too closely linked to psychiatric value judgments, while the definition in terms of well-being is too demanding and potentially oppressive. As a compromise, we sketch out a middle position. On this view, mental health is a primary good, that is, the psychological preconditions of pursuing any conception of the good life, including well-being, without being identical to well-being. (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)

In view of the publication of the DSM-V researchers were asked to discuss the theoretical implications of the definition of mental disorders. The reasons for the use, in the DSM-III, of the term disorder instead of disease are considered. The analysis of these reasons clarifies the distinction between the general definition of disorder and its implicit, technical meaning which arises from concrete use in DSM disorders. The characteristics and limits of this technical meaning are discussed and contrasted (...) to alternative definitions, like Wakefield’s harmful/dysfunction analysis. It is shown that Wakefield’s analysis faces internal theoretical problems in addition to practical limits for its acceptance in the DSM-V. In particular, it is shown that: a) the term dysfunction is not purely factual but intrinsically normative/evaluative; b) it is difficult to clarify what dysfunctions are in the psychiatric context (the dysfunctional mechanism involved being unknown in most cases and the use of evolutionary theory being even more problematic); c) the use of conceptual analysis and commonsense intuition to define dysfunctions leaves unsatisfied empiricists; d) it is unlikely that the authors of the DSM-V will accept Wakefield’s suggestion to revise the diagnostic criteria of any single DSM disorder in accordance with his analysis, because this is an excessively extensive change and also because this would probably reduce DSM reliability. In conclusion, it is pointed up in which sense DSM mental disorders have to be conceived as constructs, and that this undermines the realistic search for a clear-cut demarcation criterion between what is disorder and what is not. (shrink)

Abstract: There is a long tradition of trying to analyze art either by providing a definition (essentialism) or by tracing its contours as an indefinable, open concept (anti-essentialism). Both art essentialists and art anti-essentialists share an implicit assumption of art concept monism. This article argues that this assumption is a mistake. Species concept pluralism—a well-explored position in philosophy of biology—provides a model for art concept pluralism. The article explores the conditions under which concept pluralism is appropriate, and argues (...) that they obtain for art. Art concept pluralism allows us to recognize that different art concepts are useful for different purposes, and what has been feuding definitions can be seen as characterizations of specific art concepts. (shrink)