Litotes, “a figure of speech in which an affirmative is expressed by the negative of the contrary” has had some tough reviews. For Pope and Swift, litotes—stock examples include “no mean feat”, “no small problem”, and “not bad at all”—is “the peculiar talent of Ladies, Whisperers, and Backbiters”; for Orwell, it is a means to affect “an appearance of profundity” that we can deport from English “by memorizing this sentence: A not unblack dog was chasing a not unsmall rabbit across (...) a not ungreen field.” But such ridicule is not without equivocation, given that litotes, or “logical” double negation, may or may not be semantically redundant. When the negation of a logical contrary yields an unexcluded middle, it contributes to expressive power: someone who is not unhappy may not be happy either, and an occurrence may not be infrequent without being frequent. But if something is not possible, what can it be but possible? Why does Crashaw’s “not impossible she” survive rhetorically while Orwell’s “not unsmall rabbit” is doomed? How is Robbie being “not not friends” with Mary on 7th Heaven distinct from being friends with her, if not not-p reduces to p? The key is recognizing in litotes a corollary of MaxContrary, the tendency for contradictory sentential negation ¬p to strengthen pragmatically to a contrary ©p, as when the formal contradictory Fr. “Il ne faut pas partir” is reinterpreted as expressing a contrary. Just as the Law of Excluded Middle can apply where it “shouldn’t”, resulting in pragmatically presupposed disjunctions between semantic contraries, so that “p v ©p” amounts to an instance of “p v ¬p”, the Law of Double Negation can fail to apply where it “should”. When not not-p conveys ¬©p, the negation of a virtual contrary, the middle between p and not-p is no longer excluded, rendering the Fregean dictum that “Wrapping up a thought in double negation does not alter its truth value” not unproblematic. (shrink)

La relación entre el problema de la temporalidad del valor y el de nuestra persistencia diacrónica prácticamente no ha sido explorada hasta ahora. Sin embargo, el análisis de cada una de estas cuestiones puede arrojar luz sobre la otra de manera interesante. Este artículo argumentará que las conexiones entre la asimetría de nuestras actitudes hacia el futuro y el pasado, y la cuestión de nuestra persistencia diacrónica pueden defenderse sin incurrir en modo alguno a una petición de principio. The relation (...) between the problem of the temporality of value and the problem of our diachronic persistence has virtually not been explored so far. However, the analysis of these questions can shed light on each other in an interesting way. This paper argues that an explanation of the connections between the asymmetry of our attitudes towards the future and the past and the question of our diachronic persistence is possible without begging the question in any way. (shrink)

This paper examines an often-ignored aspect of the evaluation of metaphysical analyses, namely, their ontological commitments. Such evaluations are part of metaphysical methodology, and reflection on this methodology is itself part of metametaphysics. I will develop a theory for assessing what these commitments are, and then I will apply it to an important historical and an important contemporary metaphysical analysis of the concept of an individual substance (i.e., an object, or thing). I claim that in evaluating metaphysical analyses, we should (...) not only rule out counterexamples, but also compare them with respect to their ontological commitments, and we should hold that if they are comparable in other respects, then an analysis with fewer such commitments is preferable to one with more (There is, of course, a connection between counterexamples and ontological commitments. If the existence or possible existence of something one is committed to the existence or possible existence of is incompatible with an analysis, then one should reject that analysis as inadequate to the data. On the other hand, if one is uncertain about the existence or possible existence of something that is incompatible with an analysis, then while this does not refute the analysis for one, it raises doubts about it. The fewer such doubts are raised by an analysis, the better it is.). (shrink)

Psychological accounts of personal identity claim that the human person is not identical to the human animal. Advocates of such accounts maintain that the definition and criterion of death for a human person should differ from the definition and criterion of death for a human animal. My contention is instead that psychological accounts of personal identity should have human persons dying deaths that are defined biologically, just like the deaths of human animals. Moreover, if brain death is the correct criterion (...) for the death of a human animal, then it is also the correct criterion for the death of a human person. What the nonidentity of persons and animals requires is only that they have distinct criteria for ceasing to exist. (shrink)

Contemporary philosophical logic rests on a distinction between things and properties. Properties are thought to differ from things in that their proper expression is incomplete or unsaturated. In this paper, I will argue that Aristotle did not distinguish between things and properties in this way. I will show, first, that Aristotle’s essences are not properties, and that certain passages in Aristotle make sense only if we do not take accidents to be properties either. The notion of a property is thus (...) not fundamental in Aristotle’s theory of predication. Aristotle’s predicate terms do not stand for properties but for non-substantial things. Second, I will explain and explore the distinction between substances and non-substantial things. This will yield a viable alternative to our contemporary, Fregean account of predication. (shrink)

The account of knowledge in Plato’s Theaetetus, as true belief meta logou, seems to lead to a regress, which may be avoided by defining one kind of knowledge as true belief that rests on a different kind of knowledge. I explore a specific version of this move: to define knowledge as true belief that results from a successful and proper exercise of a rational capacity (a dunamis meta logou).

An -ever free relative is felicitous only when the speaker doesn’t know, or doesn’t care about, the identity of the entity denoted. In this paper we investigate what it means to identify an entity by examining the non-identification condition on -ever free relatives. Following Dayal (In A. Lawson (Ed.), Proceedings of SALT VII, 1997 ), we analyze -ever free relatives as definites with a modal dimension. We show that the variation in the identity of the entity across the possible worlds (...) in the modal dimension cannot be captured in a model where transworld identity is expressed using a single trivial principle of identity, and present an analysis within a model where transworld identity is relativized to noun meanings, which has been proposed in the philosophical literature for other reasons (Geach 1968 ; Gupta, The logic of common nouns: an investigation in quantified modal logic, 1980 ). The analysis thus shows that natural language semantics is sensitive to relative identity in the sense of Geach and Gupta; furthermore, it sets the stage for a new typology of referring expressions based on which expression types contribute principles of transworld identity. (shrink)

The aim of this paper is to explain how the Heraclitean doctrine of universal flux must be rejected, while the notion of flux should and can be preserved. Against the reductionist account of subjectless change, a modern version of the Heraclitean doctrine advocated by revisionist metaphysics, I argue that (1) the idea of subjectless change is one that can and should be formulated in the established conceptual framework, and (2) subjectlessness is a feature that most aptly characterizes material changes. In (...) essence, I seek to provide a proper accommodation for the notion of flux in a conceptual framework that is traditionally understood (or rather misunderstood) as decidedly excluding it. (shrink)

Illocutionary force and semantic content are widely held to occupy utterly different categories in at least two ways: Any expression serving as an indicator of illocutionary force must be without semantic content, and no such expression can embed. A refined account of the force/content distinction is offered here that does the explanatory work that the standard distinction does, while, in accounting for the behavior of a range of parenthetical expressions, shows neither nor to be compulsory. The refined account also motivates (...) a development of the "scorekeeping model" of conversation, helps to isolate a distinction between illocutionary force and illocutionary commitment, and reveals one precise respect in which meaning is only explicable in terms of use. (shrink)

In this paper we reach back to an earlier generation of discussions about both linguistic meaning and moral language to answer the still-current question as to whether and in what way some special non-descriptive feature comprises part of the semantics of identifiably ethical terms. Taking off from the failure of familiar meta-ethical theories, restricted as they are to the Fregean categories of Sense and Force (whether singly or in combination), we propose that one particular variety belonging to Frege’s humble semantic (...) category of Farbung –– what Dummett calls Tone –– holds the key. Specifically, the kinds of expressions that Dummett dubs “expressives”, when properly understood as representing a speaker’s sentiment, solve the mystery not only of moral discourse, but of evaluative language, broadly construed. On this basis we account for moral language’s special relation to action motivation in ways that avoid Moore’s paradox and honor, in unasserted contexts, what Geach calls ‘the Frege point’. Commitments to the public and social character of natural language are also respected. (shrink)

There is a feeling of dissatisfaction with the traditional way of defining the A-theories of time. One reason is that these definitions rest on an ontological question—‘Do the future and the past exist?’—to which no non-speculative answer can be provided. Another reason is that these definitions fail to distinguish between various A-theories of time at all times and, therefore, cannot be regarded as essential to them. In the present paper, I make a fresh start in the debate, by introducing two (...) questions whose specific answers allow one to get a comprehensive categorization of the A-theories of time. This alternative way of defining the A-theories of time addresses the two above-mentioned issues and reveals the metaphysical singularity of underrated theories, such as the growing block theory. (shrink)

An interpretation of John Dewey’s views about realism, science, and naturalistic philosophy is presented. Dewey should be seen as an unorthodox realist, with respect to both general metaphysical debates about realism and with respect to debates about the aims and achievements of science.

An interpretation is given of John Dewey's views about “realism” in metaphysics, and of how these views relate to contemporary debates. Dewey rejected standard formulations of realism as a general metaphysical position, and interpreters have often been taken him to be sympathetic to some form of verificationism or constructivism. I argue that these interpretations are mistaken, as Dewey's unease with standard formulations of realism comes from his philosophical emphasis on intelligent control of events, by means of ordinary action. Because of (...) his views about relations, Dewey's views in this area do risk collapsing into an overly holistic position. I discuss how these problems might be avoided, and consider also how Dewey's views about naturalism and realism might usefully inform ongoing work. (shrink)

This paper critically examines a formal argument against deducing ‘ought’-judgments from ‘is’-judgments, an argument suggested by a literal reading of a famous passage in Hume'sTreatise of Human Nature. According to this argument, judgments of the two kinds have different logical structures (i.e., their subjects are differently related to their predicates) and this difference disallows cross-categorical deductive inferences. I draw on Fregean accounts of the ‘is’- copula and on syntactical interpretations of ‘ought’-judgments that have become standard in deontic logic to argue (...) that twentieth century work in philosophical grammar and logic casts doubt on all three of the argument's premises. (shrink)

We propose a new intensional semantics for modal-tense second-order languages with sortal predicates. The semantics provides a variable-domain interpretation of the second-order quantifiers. A formal logical system is characterized and proved to be sound and complete with respect to the semantics. A contemporary variant of conceptualism as a theory of universals is the philosophical background of the semantics. Justification for the variable-domain interpretation of the second-order quantifiers presupposes such a conceptualist framework.

Several have denied that there is, specifically, a criterion of identity for persons and some deny that there are, for any kind, diachronic criteria of identity. I argue, however, that there are no criteria of identity, either synchronic or diachronic, for any kind whatsoever. I begin by elaborating the notion of a criterion of identity in order to clarify what exactly is being denied when I maintain there are none. I examine the motivation of those who qualify in some way (...) the general claim that there are synchronic and diachronic criteria of identity for every kind, then present my direct and categorical argument against such criteria. I next evaluate the objections of those who argue that rejecting criteria of identity has untenable results. These objections are ineffective, each based on the incorrect assumption that if there is no criterion of identity for a kind, the identity of an instance of that kind is independent of its qualities. I conclude by considering some of the upshots of rejecting criteria of identity and the insight doing so provides into things in general and the limits of ontological inquiry. (shrink)

This article intends to show that the defense of “understanding” as one of the major goals of science education can be grounded on an anti-reductionist perspective on testimony as a source of knowledge. To do so, we critically revisit the discussion between Harvey Siegel and Alvin Goldman about the goals of science education, especially where it involves arguments based on the epistemology of testimony. Subsequently, we come back to a discussion between Charbel N. El-Hani and Eduardo Mortimer, on the one (...) hand, and Michael Hoffmann, on the other, striving to strengthen the claim that rather than students’ belief change, understanding should have epistemic priority as a goal of science education. Based on these two lines of discussion, we conclude that the reliance on testimony as a source of knowledge is necessary to the development of a more large and comprehensive scientific understanding by science students. (shrink)

According to sententialism, ‘Otto said that I am a fool’ expresses the holding of a relation between Otto and the sentence ‘I am a fool’. Sententialism is generally considered doomed, but I will show that a suitably developed sententialist account can surmount the many objections that have been raised. I will also show how important it is to have a fairer attitude towards sententialism. For if sententialist accounts are recognised as real options, it should also be recognised that the conclusion, (...) drawn by many, that sentences such as the report above force us to introduce Kaplanian monsters is unwarranted. (shrink)

In the Posterior Analytics (I 6, 75a18–27) Aristotle discusses a puzzle which endangers the possibility of inferring a non-necessary conclusion. His solution relies on the distinction between the necessity of the conclusion's being the case and the necessity of admitting the conclusion once one has admitted the premisses. The former is a factual necessity, whereas the latter is meant to be a normative or deontic necessity that is independent of the facts stated by the premisses and the conclusion. This paper (...) maintains that Aristotle resorts to this distinction because he thinks that, as long as it is conceived as a factual relation, logical consequence cannot exist independently of the facts expressed by the premisses and the conclusion. As a corollary, the necessity of such a consequence relation always requires the necessity of these facts. Aristotle holds this factual conception of logical consequence responsible for the puzzle, since it cannot account for valid syllogisms with contingent or false premisses. The alternative conception of necessity is then introduced by him in order to make good this deficiency. The distinction between the necessity of being and the necessity of saying was revived by the Oxford logician E. W. B. Joseph, and taken over by Frank Ramsey in his seminal Truth and Probability, but has not received attention from recent interpreters of Aristotle's logic. This paper, however, argues that, in spite of its intrinsic interest, the distinction bore no significant fruit in Aristotle's logical doctrine. (shrink)

‘Instantiation-directed slot theorists’ believe that properties/relations have slots which are filled by their instances/relata e.g., where Abigail is taller than Bronia, there are two slots in the relation Taller Than such that Abigail fills the first slot and Bronia fills the second. This crude statement of the theory runs into ‘The Problem of Filling’, whereby a natural understanding of the relation between slots, filling, and instantiation leads to absurd results. This paper examines a variety of solutions to that problem, one (...) of which is an extension of slot theory that adds an additional category of entities, ‘slotites’. (shrink)

An examination of late Rorty shows that he does not abandon belief in an external world about which we can, and indeed must, acquire knowledge. His disapproval of the correspondence theory of truth does not involve the idea that anything other than local weather, for example, could falsify remarks about local weather. It is just that once we get done looking out the window or, if we are outside, feeling the right kind of drops make contact with our skin, there (...) is nothing else we can do, nothing better, to make ourselves more certain, more cognitively secure. One can see this in the detailed work that enables scientific progress. Science improves itself by doing more of the same. G. E. Moore's famous open question stays open only as a reminder that our fallibility never disappears and that our cognitive security is never better than pro tem. Rorty, as a faithful pragmatist and undogmatic meliorist, thinks this is perfectly O.K. (shrink)

The standard approach to the so-called paradoxes of identity has been to argue that these paradoxes do not essentially concern the notion of identity but rather betray misconceptions on our part regarding other metaphysical notions, like that of an object or a property. This paper proposes a different approach by pointing to an ambiguity in the identity predicate and arguing that the concept of identity that figures in many ordinary identity claims, including those that appear in the paradoxes, is not (...) the traditional philosophical concept but one that can be defined in terms of relevant similarity. This approach to the paradoxes will be argued to be superior to the standard one. (shrink)

The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)

Dramatic changes or revolutions in a field of science are often made by outsiders or 'trespassers,' who are not limited by the established, 'expert' approaches. Each essay in this diverse collection shows the fruits of intellectual trespassing and poaching among fields such as economics, Kantian ethics, Platonic philosophy, category theory, double-entry accounting, arbitrage, algebraic logic, series-parallel duality, and financial arithmetic.

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

When the original Dutch version of this book was presented in 1971 to the University of Leiden as a thesis for the Doctorate in philosophy, I was prevented by the academic mores of that university from expressing my sincere thanks to three members of the Philosophical Faculty for their support of and interest in my pursuits. I take the liberty of doing so now, two and a half years later. First and foremost I want to thank Professor G. Nuchelmans warmly (...) for his expert guidance of my research. A number of my most im portant sources were brought to my attention by him. During the whole process of composing this book his criticism and encouragement were carried out in a truly academic spirit. He thereby provided working conditions that are a sine qua non for every author who is attempting to approach controversial matters in a scientific manner, conditions which, however, were not easily available at that time. In a later phase I also came into contact with Professors L. M. de Rijk and J. B. Ubbink, with both of whom I had highly stimulating discussions and exchanges of ideas. The present edition contains some entirely new sections, viz. 1-9, IV-29, V-9, V-20, VII-14 (iii), (iv), VII-17 (i), VIII-22, IX-17, IX-19, X-9 and XI-8. Section X-9 was inspired by a remark made by Professor A. (shrink)

Persistence in Time No person ever steps into the same river twice—or so goes the Heraclitean maxim. Obscure as it is, the maxim is often taken to express two ideas. The first is that everything always changes, and nothing remains perfectly similar to how it was just one instant before. The second is that nothing … Continue reading Persistence in Time →.

There has frequently been taken to be a tension, if not an incompatibility, between "externalist" theories of content (which allow the make-up of one's physical environment and the linguistic usage of one's community to contribute to the contents of one's thoughts and utterances) and the "methodologically individualist" intuition that whatever contributes to the content of one's thoughts and utterances must ultimately be grounded in facts about one's own attitudes and behavior. In this dissertation I argue that one can underwrite such (...) externalist theories within a methodologically individualistic framework by understanding semantic norms in terms of the need to reach, for each of one's terms, a type of "equilibrium." Each speaker's commitment to making her _own_ beliefs and applications consistent allows one to incorporate these 'external' factors into the contents of their thoughts and utterances in a way that remains methodologically individualistic. Methodologically individualistic accounts are typically taken to be unable to incorporate 'external' factors such as the world's physical make-up or communal usage because of arguments suggesting that the individual's own beliefs and usage underdetermine or even misidentify what, according to externalist accounts, they mean by their terms. These arguments, however, only seem plausible if one presupposes a comparatively impoverished conception of the individual's beliefs. The beliefs a speaker associates with a given term extend far beyond the handful of sentences they would produce if asked to list such beliefs. In particular, speakers have an implicit, but rich, understanding of their language, their world, and the relation between them. Speakers typically understand languages as shared temporally extended practices about which they can be, both individually and collectively, mistaken. Once this conception of language is taken into account, the ascriptions which purportedly forced 'non-individualistic' conceptions of content upon us (particularly ascriptions which seemed to tie what we meant to social use rather than our own beliefs) turn out to be ultimately grounded in the individual's own beliefs. Indeed, our self-conception does much more than merely underwrite 'non-individualistic' ascriptions.. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

The following is a critical and historical account of Aristotelian Essentialism informed by recent work on Aristotle’s modal syllogistic. The semantics of the modal syllogistic are interpreted in a way that is motivated by Aristotle, and also make his validity claims in the Prior Analytics consistent to a higher degree than previously developed interpretative models. In Chapter One, ancient and contemporary objections to the Aristotelian modal syllogistic are discussed. A resolution to apparent inconsistencies in Aristotle’s modal syllogistic is proposed and (...) developed out of recent work by Patterson, Rini, and Malink. In particular, I argue that the semantics of negation is distinct in modal context from those of assertoric negative claims. Given my interpretive model of Aristotle’s semantics, in Chapter Two, I provide proofs for each of the mixed apodictic syllogisms, and propose a method of using Venn Diagrams to visualize the validity claims Aristotle makes in the Prior Analytics. Chapter Three explores how Aristotle’s syllogistic fits within Aristotle’s philosophy of science and demonstration, particularly within the context of the Posterior Analytics. Consideration is given to the Aristotelian understanding of the relationship among necessity, explanation, definition, and essence. Chapter Four applies Aristotelian modal logic in contemporary contexts. I contrast Aristotelian modality and essentialism with contemporary modalism based upon the semantics of possible worlds, e.g. Kripke and Putnam. I also develop an account of how Aristotelian modal logic can ground a sortal dependent theory of identity, as discussed by Wiggins. (shrink)

I criticize Shimony's argument from the Transient Now (Shimony 1993) that the B-series view of time is inadequate but offer a reading of that argument that is more charitable than one offered and rejected by Eilstein (1996). Shimony's argument turns on putative phenomenological features of the Now (singularity and numerical identity) but transience only arises as a logical implication of those features. Transience is thus a second order phenomenon. If these two features are accurate then the B-series cannot provide a (...) complete account of the Now and Eilstein misses the role of Shimony's Phenomenological Principle (PP) in this regard. Holding a B-theoretic view then demands giving up the numerical identity of person-slices across time. (shrink)

Neo-Kantianism emerged over the course of the 1860s and it occupied a leading position in the German universities from the 1870s until the First World War. Demands for getting "back to Kant" had become common since the early 1860s, and these demands were discussed in the meetings of the Philosophical Society of Berlin (Philosophische Gesellschaft zu Berlin; PGB), which was the international organization of Hegelians. In this paper I address some reactions among the PGB members to the 1860s Kant revival. (...) The journal "Der Gedanke", the organ of the PGB, reported closely how Kant returned to the spotlight of German philosophy. The reactions of the PGB members to the Kant revival was not only critical. Over the course of the 1860s the interest on Kant among the members grew little by little. (shrink)

No presente artigo, pretendo analisar uma das interpretações da distinção transcendental entre fenômenos e coisas em si mesmas, a tese dos dois aspectos [the two-aspect view]. Meu objetivo é indicar e esclarecer alguns pressupostos fundamentais dessa interpretação, nem sempre explicitados pelos seus defensores. Um dos maiores desafios dessa interpretação é explicar como é possível conciliá-la com a tese kantiana da não espacialidade das coisas em si mesmas. Pretendo mostrar que a conciliação pressupõe a satisfação das três seguintes condições: em primeiro (...) lugar, é necessário admitir que, para Kant, a relação cognitiva entre objeto e sujeito cognoscente é _constitutiva_ do objeto; em segundo lugar, é preciso conceber a identidade entre fenômeno e coisa em si mesma como uma _identidade relativa_, não absoluta; em terceiro lugar, é preciso admitir que certos enunciados sobre o objeto da cognição possuem uma estrutura lógica peculiar, a estrutura de um _juízo reduplicativo_. A análise desses pressupostos visa contribuir para a elucidação dos compromissos teóricos da tese kantiana do idealismo transcendental. (shrink)

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment of concrete universals (...) along with a new concept to abstractly model the functions of a brain. (shrink)

This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus that the paradoxes arose from having (...) one theory (e.g., Frege's Paradise) where universals could be either self-predicative or non-self-predicative (instead of being always one or always the other). (shrink)

I introduce a thin concept of ad hoc identity -- distinct from metaphysical accounts of either relative identity or absolute identity -- and an equally thin account of concepts and their content. According to the latter minimalist view of concepts, the content of a concept has behavioral consequences, and so content can be bounded if not determined by appeal to linguistic and psychological evidence. In the case of counting practices, this evidence suggests that the number concept depends on a notion (...) of identity at least as strong as ad hoc identity. In the context of nonrelativistic QM in particular, all of the counting procedures appealed to in the existing literature on nonindividuality are shown to involve ad hoc identity. I then show that Goyal Complementarity and the associated derivation of a strong symmetrization principle in QM can be understood in terms ad hoc identity. Specifically, persistence and non-persistence models of quantum processes are seen to be complementary in the sense that they involve two relations of ad hoc identity that occasionally overlap in empirically meaningful ways. Finally, I attempt to draw out consequences for theories of nonindividuality from the above conceptual analysis. The upshot is that counting and definite cardinality are incompatible with nonindividuality, and that none of the counting procedures cited for quantum phenomena offer positive support for an interpretation in terms of nonindividuals. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

No tratado intitulado Segundos Analíticos, Aristóteles desenvolve uma teoria da demonstração científica e da ciência demonstrativa. Ali, o conhecimento científico é descrito pelo filósofo como envolvendo uma certa "necessidade". Alguns intérpretes associam esta noção de necessidade à necessidade modal, pertinente à silogística modal de Aristóteles. Esta interpretação, todavia, tornaria o modelo de ciência proposto nos Analíticos incompatível com os explananda das ciências da natureza, cuja cientificidade o próprio Aristóteles reiteradamente defendeu. A fim de evitar este inconveniente, abordamos e reconstruímos a (...) mencionada interpretação, reconhecemos suas falhas e propomos, seguindo outra tendência da literatura secundária, uma leitura alternativa da noção de necessidade como adequação explanatória, a qual garantiria a cientificidade dos fenômenos naturais. (shrink)