Certain extensions of Nelson's constructive logic N with strong negation have recently become important in arti.cial intelligence and nonmonotonic reasoning, since they yield a logical foundation for answer set programming (ASP). In this paper we look at some extensions of Nelson's .rst-order logic as a basis for de.ning nonmonotonic inference relations that underlie the answer set programming semantics. The extensions we consider are those based on 2-element, here-and-there Kripke frames. In particular, we prove completeness for .rst-order here-and-there logics, and their (...) minimal strong negation extensions, for both constant and varying domains. We choose the constant domain version, which we denote by QNc5, as a basis for de.ning a .rst-order nonmonotonic extension called equilibrium logic. We establish several metatheoretic properties of QNc5, including Skolem forms and Herbrand theorems and Interpolation, and show that the .rst-oder version of equilibrium logic can be used as a foundation for answer set inference. (shrink)
The concept of ?ethical consumer behavior? has gained significant attention among practitioners and academic researchers, generating increasing but disjointed knowledge on the topic. By analyzing the empirical research on ethical consumer behavior, this article provides researchers with a map to guide future research. In total, we review 80 studies. The main contributions of the article include the identification of the main trends in the ethical consumer literature and the conceptualization of ethical consumer behavior. In addition, several areas for future research (...) are proposed and discussed. (shrink)
In the context of the growing popularity of the ethical consumer movement and the appearance of different types of ethical collective communities, the current article explores the meanings drawn from the participation in Responsible Consumption Cooperatives. In existing research, the overriding focus has been on examining individual ethical consumer behaviour at the expense of advancing our understanding of how ethical consumers behave collectively. Hence, this article examines the meanings derived from participating in ethical consumer groups. A qualitative multi-method approach is (...) adopted to increase the validity of findings. This includes focus groups, in-depth interviews, observation and document analysis. Results show that ethical consumption in a group project offers a greater sense of effectiveness and control when compared to individual actions. Furthermore, these groups facilitate the creation of a social circle and encourage new learning as a result of the social interaction that takes place in the ethical community of the cooperative. (shrink)
The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)
Nietzsche and Legal Theory is an anthology designed to provide legal and socio-legal scholars with a sense of the very wide range of projects and questions in whose pursuit Nietzsche's work can be useful. From medical ethics to criminology, from the systemic anti-Semitism of legal codes arising in Christian cultures, to the details of intellectual property debates about regulating the use of culturally significant objects, the contributors (from the fields of law, philosophy, criminology, cultural studies, and literary studies) demonstrate and (...) enact the sort of creativity that Nietzsche associated with the "free-spirits" to whom he addressed some of his most significant work. (shrink)
An important part of Aristotelianism has revolved around the different interpretations given to the famous fifth chapter of Aristotle’s De Anima lll. The brevity with which he spoke about an intellectual agent principle described as divine and everlasting has led to a lengthy debate between those who argue that this principle is part of the individual soul and those who think that it must be placed outside the individual intellectual powers. Among the latter, the interpretation of the Renaissance Aristotelian Giacomo (...) Zabarella (1533-1589), a great expert on classical Greek and Aristotle’s works, is still one of the most influential. (shrink)
El presente artículo busca establecer paralelos entre las propuestas de Edmund Husserl y de San Agustín en torno a la constitución del tiempo por parte de la conciencia. En ese marco, proponemos que ambos autores basan la constitución del tiempo en estructuras trinitarias de la conciencia. Dichas estructuras, a pesar de sus diferencias, coinciden en constar de tres elementos: uno retencional, uno protencional y uno impresional. Además, coinciden ambas propuestas en que lo fundamental de la estructura trinitaria de la (...) conciencia es la relación entre los términos mencionados. Esto último conlleva un cierto modelo de autoconciencia que no supone una identidad simple de la conciencia consigo misma, sino una identidad compleja y “desplazada” que sirve de fundamento último al tiempo y su constitución. (shrink)
Recorrer las etapas de formación del sujeto moderno occidental y mostrar que no siempre existió tal como lo conocemos es el objeto de este trabajo. Desde los filósofos presocráticos y Sócrates, Platón y San Agustín, la paulatina configuración de un espacio interior favorece la formación de un yo autónomo, vinculado ontológicamente en su inicio. Su posterior emancipación y el advenimiento de una reflexividad radical durante la Modernidad van ligados a la filosofía de Descartes, Locke y Kant.
The problem of absolute generality has attracted much attention in recent philosophy. Agustin Rayo and Gabriel Uzquiano have assembled a distinguished team of contributors to write new essays on the topic. They investigate the question of whether it is possible to attain absolute generality in thought and language and the ramifications of this question in the philosophy of logic and mathematics.
Abstract: Introspection reveals that one is frequently conscious of some form of inner speech, which may appear either in a condensed or expanded form. It has been claimed that this speech reflects the way in which language is involved in conscious thought, fulfilling a number of cognitive functions. We criticize three theories that address this issue: Bermúdez’s view of language as a generator of second-order thoughts, Prinz’s development of Jackendoff’s intermediate-level theory of consciousness, and Carruthers’s theory of inner speech as (...) a rehearsal of action-schemata. We contend they have problems to account for those cases in which inner speech is fragmentary, and for the difference with those instances in which it appears as more sentence-like. In addition, we present verbal overshadowing as a phenomenon that neither of them can easily explain. Finally, we propose an account in which inner speech is fundamentally silent outer speech and argue that it is more explanatory than the alternatives. (shrink)
According to an increasing number of authors, the best, if not the only, argument in favour of physicalism is the so-called 'overdetermination argument'. This argument, if sound, establishes that all the entities that enter into causal interactions with the physical world are physical. One key premise in the overdetermination argument is the principle of the causal closure of the physical world, said to be supported by contemporary physics. In this paper, I examine various ways in which physics may support the (...) principle, either as a methodological guide or as depending on some other laws and principles of physics. (shrink)
We very often discover ourselves engaged in inner speech. It seems that this kind of silent, private, speech fulfils some role in our cognition, most probably related to conscious thinking. Yet, the study of inner speech has been neglected by philosophy and psychology alike for many years. However, things seem to have changed in the last two decades. Here we review some of the most influential accounts about the phenomenology and the functions of inner speech, as well as the methodological (...) problems that affect its study. (shrink)
Physicalism is the claim that that there is nothing in the world but the physical. Philosophers who defend physicalism have to confront a well-known dilemma, known as Hempel’s dilemma, concerning the definition of ‘the physical’: if ‘the physical’ is whatever current physics says there is, then physicalism is most probably false; but if ‘the physical’ is whatever the true theory of physics would say that there is, we have that physicalism is vacuous and runs the risk of becoming trivial. This (...) article has two parts. The first, negative, part is devoted to developing a criticism of the so-called via negativa response to Hempel’s dilemma. In the second, more substantial, part, I propose to take the first horn of Hempel’s dilemma. However, I argue for a broad construal of ‘current physics’ and characterize ‘the physical’ accordingly. The virtues of the broad characterization of ‘the physical’ are: first, it makes physicalism less likely to be false; and second, it ties our understanding of ‘the physical’ to the reasons we have for believing in physicalism. That is, it fulfills the desideratum of construing our theses according to the reasons we have to believe in them. (shrink)
I propose a way of thinking aboout content, and a related way of thinking about ontological commitment. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘An Actualist’s Guide to Quantifying In’ and ‘An Account of Possibility’.).
Charles Travis has been forcefully arguing that meaning does not determine truth-conditions for more than two decades now. To this end, he has devised ingenious examples whereby different utterances of the same prima facie non-ambiguous and non-indexical expression type have different truth-conditions depending on the occasion on which they are delivered. However, Travis does not argue that meaning varies with circumstances; only that truth-conditions do. He assumes that meaning is a stable feature of both words and sentences. After surveying some (...) of the explanations that semanticists and pragmaticians have produced in order to account for Travis cases, I propose a view which differs substantially from all of them. I argue that the variability in the truth-conditions that an utterance type can have is due to meaning facts alone. To support my argument, I suggest that we think about the meanings of words (in particular, the meanings of nouns) as rich conceptual structures; so rich that the way in which a property concept applies to an object concept is not determined. (shrink)
In Origins of Objectivity, Burge presents three arguments against what he calls ‘deflationism’: the project of explaining the representational function in terms of the notion of biological function. I evaluate these arguments and argue that they are not convincing.
In this article I reply to comments made by Agustin Vicente and Giridhari Lal Pandit on Science and the Pursuit of Wisdom (McHenry 2009 ). I criticize analytic philosophy, go on to expound the argument for the need for a revolution in academic inquiry so that the basic aim becomes wisdom and not just knowledge, defend aim-oriented empiricism, outline my solution to the human world/physical universe problem, and defend the thesis that free will is compatible with physicalism.
This article deals with the relationship between language and thought, focusing on the question of whether language can be a vehicle of thought, as, for example, Peter Carruthers has claimed. We develop and examine a powerful argument—the "argument from explicitness"—against this cognitive role of language. The premises of the argument are just two: (1) the vehicle of thought has to be explicit, and (2) natural languages are not explicit. We explain what these simple premises mean and why we should believe (...) they are true. Finally, we argue that even though the argument from explicitness shows that natural language cannot be a vehicle of thought, there is a cognitive function for language. (shrink)
Years ago, when I was young and reckless, I believed that there was such a thing as an allinclusive domain.1 Now I have come to see the error of my ways. The source of my mistake was a view that might be labeled ‘Tractarianism’. Tractarians believe that language is subject to a metaphysical constraint. In order for an atomic sentence to be true, there needs to be a certain kind of correspondence between the semantic structure of the sentence and the (...) ‘metaphysical structure of reality’. More specifically, Tractarianism is the conjunction of the following three claims. (shrink)
The seminar is intended as an introduction to vagueness. We'll survey some prominent accounts of vagueness, so that people get a sense of what `accounting for vagueness' is all about, and why it's hard.
In this paper I discuss a famous argument for physicalism – which some authors indeed regard as the only argument for it – the overdetermination argument. In fact it is an argument that does not establish that all the entities in the world are physical, but that all those events that enter into causal transactions with the physical world are physical. As mental events seem to cause changes in the physical world, the mind is one of those things that fall (...) within the scope of the argument. Here I analyze one response to the overdetermination argument that has acquired some popularity lately, and which consists in saying that what mental events cause are not physical effects. I try to show that recent attempts to develop this response are not successful, but that there may be a coherent way of doing so. I also try to show that there seems to be a philosophical niche in which this way might fit. (shrink)
This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)
According to the thesis of semantic underdetermination, most sentences of a natural language lack a definite semantic interpretation. This thesis supports an argument against the use of natural language as an instrument of thought, based on the premise that cognition requires a semantically precise and compositional instrument. In this paper we examine several ways to construe this argument, as well as possible ways out for the cognitive view of natural language in the introspectivist version defended by Carruthers. Finally, we sketch (...) a view of the role of language in thought as a specialized tool, showing how it avoids the consequences of semantic underdetermination. (shrink)
Contextualist theorists have recently defended the views (a) that metaphor-processing can be treated on a par with other meaning changes, such as narrowing or transfer, and (b) that metaphorical contents enter into “what is said” by an utterance. We do not dispute claim (a) but consider that claim (b) is problematic. Contextualist theorists seem to leave in the hands of context the explanation about why it is that some meaning changes are directly processed, and thus plausibly form part of “what (...) is said”, while some others are not. While granting the role of context in this respect, we contend that there are that there are elements that play an instrumental role in providing direct access to the metaphorical content, namely, the conventionality of the expressions and the salience of the concepts involved. We will start by criticizing Recanati’s and Relevance Theory’s accounts of metaphor. Then we examine the claims of Carston’s and Giora’s two-process accounts that set the stage for a revision of the main elements involved, namely, the properties of conventionality and salience. Finally we examine a number of representative examples, explaining why some cases involve a direct access to the metaphorical content and others require an intermediate non-figurative interpretation. (shrink)
The purpose of this paper is to defend a conception of language that does not rely on linguistic meanings, and use it to address the Sorites and Liar paradoxes.
There is little doubt that a second-order axiomatization of Zermelo-Fraenkel set theory plus the axiom of choice (ZFC) is desirable. One advantage of such an axiomatization is that it permits us to express the principles underlying the first-order schemata of separation and replacement. Another is its almost-categoricity: M is a model of second-order ZFC if and only if it is isomorphic to a model of the form Vκ, ∈ ∩ (Vκ × Vκ) , for κ a strongly inaccessible ordinal.
I will argue for localism about credal assignments: the view that credal assignments are well-defined only relative to suitably constrained sets of possibilities. I will motivate the position by suggesting that it is the best way of addressing a puzzle devised by Roger White.
The paper argues for a decompositionalist account of lexical concepts. In particular, it presents and argues for a cluster decompositionalism, a view that claims that the complexes a token of a word corresponds to on a given occasion are typically built out of a determinate set of basic concepts, most of which are present on most other occasions of use of the word. The first part of the paper discusses some explanatory virtues of decompositionalism in general. The second singles out (...) cluster decompositionalism as the best explanation of the variability of meaning. The third part is devoted to responding to some problems. (shrink)
In a recent paper, Bird (in: Groff (ed.) Revitalizing causality: Realism about causality in philosophy and social science, 2007 ) has argued that some higher-order properties—which he calls “evolved emergent properties”—can be considered causally efficacious in spite of exclusion arguments. I have previously argued in favour of a similar position. The basic argument is that selection processes do not take physical categorical properties into account. Rather, selection mechanisms are only tuned to what such properties can do, i.e., to their causal (...) powers. This picture seems ultimately untenable in the light of further exclusion problems; but at the same time, it meets our explanatory demands. My purpose is therefore to show that there is a real antinomy with regard to evolved emergent properties. I develop a physicalist exclusion argument and then I go on to consider an argument that seems to establish that evolved emergent properties are causally efficacious, and propose a compatibilist solution. Finally, I very briefly consider what the proposed model may imply for the issue of mental causation. (shrink)
The by now famous exclusion problem for mental causation admits only one possible solution, as far as I can see, namely: that mental and physical properties are linked by a vertical relation. In this paper, starting from what I take to be sensible premises about properties, I will be visiting some general relations between them, in order to see whether, first, it is true that some vertical relation, other than identity, makes different sorts of causation compatible and second, whether physical (...) and mental properties can be pairs of such relation. (shrink)
I argue for an account of vagueness according to which the root of vagueness lies not in the type of semantic-value that is best associated with an expression, but in the type of linguistic practice that renders the expression meaningful. I suggest, in particular, that conventions about how to use sentences involving attributions of vague predicates to borderline cases prevail to a lesser degree than conventions about how to use sentences involving attributions of vague predicates to clear cases.
The problem this paper deals with is the problem of how dispositional properties can have causal relevance. In particular, the paper is focused on the question of how dispositions can have causal relevance given that the categorial bases that realise them seem to be sufficient to bring about the effects that dispositions explain. I show first that this problem of exclusion has no general solution. Then, I discuss some particular cases in which dispositions are causally relevant, despite of this exclusion (...) problem. My claim is that dispositions have causal relevance in selection or recruitment processes, when they are converted into teleological functions. (shrink)
This work will focus on some aspects of descriptive names. The New Theory of Reference, in line with Kripke, takes descriptive names to be proper names. I will argue in this paper that descriptive names and certain theory in reference to them, even when it disagrees with the New Theory of Reference, can shed light on our understanding of (some) non-existence statements. I define the concept of descriptive name for hypothesised object (DNHO). My thesis being that DNHOs are, as I (...) will specify, descriptions: a proposition expressed by the utterance ‘n is F’, where ‘n’ is a DNHO, is not singular at all; it is a descriptive proposition. To sum up, concerning proper names, the truth lies closer to the New Theory of Reference, but descriptivism is not altogether false. As for DNHOs descriptivism is, in some cases, the right fit. (shrink)
I develop an account of the sorts of considerations that should go into determining where the limits of possibility lie. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘Ontological Commitment’ and ‘An Actualist’s Guide to Quantifying-In’.).
I offer solutions to a puzzle about intentional identity and a related puzzle about empty names. (This is part of a trilogy of papers on content; the other two are’Ontological Commitment’ and ‘On Specifying Content’.).
The aim of this essay is to show that the subject-matter of ontology is richer than one might have thought. Our route will be indirect. We will argue that there are circumstances under which standard first-order regimentation is unacceptable, and that more appropriate varieties of regimentation lead to unexpected kinds of ontological commitment.
I have two main objectives. The first is to get a better understanding of what is at issue between friends and foes of higher-order quantification, and of what it would mean to extend a Boolos-style treatment of second-order quantification to third- and higherorder quantification. The second objective is to argue that in the presence of absolutely general quantification, proper semantic theorizing is essentially unstable: it is impossible to provide a suitably general semantics for a given language in a language of (...) the same logical type. I claim that this leads to a trilemma: one must choose between giving up absolutely general quantification, settling for the view that adequate semantic theorizing about certain languages is essentially beyond our reach, and countenancing an open-ended hierarchy of languages of ever ascending logical type. I conclude by suggesting that the hierarchy may be the least unattractive of the options on the table. (shrink)
Recently, many philosophers and psychologists have claimed that the explanation that grounds both passivity phenomena in the cognitive domain and passivity phenomena that occur with respect to overt actions is, along broad lines, the same. Furthermore, they claim that the best account we have of such phenomena in both scenarios is the “comparator” account. However, there are reasons to doubt whether the comparator model can be exported from the realm of overt actions to the cognitive domain in general. There is (...) a lingering worry concerning such explanations of thought insertion: the "What is compared to what?" problem. Here I examine two ways to tackle this problem. First: thought insertion consists of the misattribution of strings of inner speech which are not attenuated (thought insertion is thus another name for auditory verbal hallucinations). Second: thought insertion is misattributed inner speech which exhibits the same phenomenological characteristics as normal inner speech. After explaining the types of problem that each of these potential solutions faces, I conclude with a set of open questions that the comparator theorist has to tackle. (shrink)
Here is an account of logical consequence inspired by Bolzano and Tarski. Logical validity is a property of arguments. An argument is a pair of a set of interpreted sentences (the premises) and an interpreted sentence (the conclusion). Whether an argument is logically valid depends only on its logical form. The logical form of an argument is fixed by the syntax of its constituent sentences, the meanings of their logical constituents and the syntactic differences between their non-logical constituents, treated as (...) variables. A constituent of a sentence is logical just if it is formal in meaning, in the sense roughly that its application is invariant under permutations of individuals.1 Thus ‘=’ is a logical constant because no permutation maps two individuals to one or one to two; ‘∈’ is not a logical constant because some permutations interchange the null set and its singleton. Truth functions, the usual quantifiers and bound variables also count as logical constants. An argument is logically valid if and only if the conclusion is true under every assignment of semantic values to variables (including all non-logical expressions) under which all its premises are true. A sentence is logically true if and only if the argument with no premises of which it is the conclusion is logically valid, that is, if and only if the sentence is true under every assignment of semantic values to variables. An interpretation assigns values to all variables. (shrink)
This paper is a reaction to the book “Science and the Pursuit of Wisdom”, whose central concern is the philosophy of Nicholas Maxwell. I distinguish and discuss three concerns in Maxwell’s philosophy. The first is his critique of standard empiricism (SE) in the philosophy of science, the second his defense of aim-oriented rationality (AOR), and the third his philosophy of mind. I point at some problematic aspects of Maxwell’s rebuttal of SE and of his philosophy of mind and argue in (...) favor of AOR. (shrink)
Whether or not we achieve absolute generality in philosophical inquiry, most philosophers would agree that ordinary inquiry is rarely, if ever, absolutely general. Even if the quantifiers involved in an ordinary assertion are not explicitly restricted, we generally take the assertion’s domain of discourse to be implicitly restricted by context.1 Suppose someone asserts (2) while waiting for a plane to take off.
Students in this class are expected to complete work on their own. Both problem sets and exams should consist entirely of the student's own work; they must not be copied from other students or any other source. Failure to comply constitutes plagiarism and is a serious violation of class and University policy. Cases of academic dishonesty will be pursued to the fullest extent possible.
