In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

In his 1927 Analysis of Matter and elsewhere, Russell argued that we can successfully infer the structure of the external world from that of our explanatory schemes. While nothing guarantees that the intrinsic qualities of experiences are shared by their objects, he held that the relations tying together those relata perforce mirror relations that actually obtain (these being expressible in the formal idiom of the Principia Mathematica). This claim was subsequently criticized by the Cambridge mathematician Max Newman as true but (...) trivial, insofar as from a closed body of observations (or “Ramsey sentence”) one can always generate other equally-satisfactory networks of relations, provided they respect the original set’s cardinality. Since any model thus generated will be empirically adequate, “[t]he defence is therefore driven back from the fairly safe fictitious-real classification to the much less tenable ‘trivial’ and ‘important’” (Newman 1928). Given the definitional rigour afforded by the initial appeal to isomorphism (via one-to-one correspondences in extension), the received assessment, shared by Russell himself, is that retreating to a pragmatic adjudication would betoken a fatal blow. However, I suggest that reliance on “importance” can be avoided if we incorporate an impersonal criterion of diachronic precedence. When collecting observations, an ordinality emerges alongside the cardinality which gives that underived structure an irrevocable epistemological privilege. Hence, I argue that, all other things being equal, any construct parasitic on an antecedent theory ought to be regarded as inferior/dispensable, since it was generated by an algorithm lacking the world-involving pedigree of its host structure. (shrink)

Between April and November 1912, Bertrand Russell and Ludwig Wittgenstein were engaged in a joint philosophical program. Wittgenstein‘s meeting with Gottlob Frege in December 1912 led, however, to its dissolution – the joint program was abandoned. Section 2 of this paper outlines the key points of that program, identifying what Russell and Wittgenstein each contributed to it. The third section determines precisely those features of their collaborative work that Frege criticized. Finally, building upon the evidence developed in the preceding two (...) sections, section 4 recasts along previously undeveloped lines Wittgenstein‘s logical–philosophical discoveries in the two years following his encounter with Frege in 1912. The paper concludes, in section 5, with an overview of the dramatic consequences the Frege-Wittgenstein critique had for Russell‘s philosophical development. (shrink)

I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse property, regardless of how one understands the nature of sparse properties. I (...) then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful concept. (shrink)

In his important recent book Schroeder proposes a Humean theory of reasons that he calls hypotheticalism. His rigourous account of the weight of reasons is crucial to his theory, both as an element of the theory and constituting his defence to powerful standard objections to Humean theories of reasons. In this paper I examine that rigourous account and show it to face problems of vacuity and consonance. There are technical resources that may be brought to bear on the problem of (...) vacuity but implementation is not simple and philosophical motivation a further difficulty. Even supposing vacuity is fixed, the problems of consonance bring to light a different obstruction lying in Schroeder’s path. There is a difference between the general weighing of reasons and the context specificity of the correct placing of weight on them in deliberation and this difference cannot be fixed by the resources in the account. For these reasons we are still waiting for a plausible Humean theory of reasons. (shrink)

I discuss an argument for the monistic idea that the cosmos is the one and only fundamental thing, drawing on the idea that the cosmos is the one and only thing that evolves by the fundamental laws.

Wittgenstein held that Russell’s multiple relation theory of judgment fails to explain an atomic judgment’s representation of entities as combined. He demonstrated this failure as follows. Under the multiple relation theory, an atomic judgment is a complex whose relating relation is judgment, the universal, and whose terms include the entities the judgment represents as combined. Taking such a complex we may arrive through the substitution of constituents at a complex whose relating relation is again judgment but whose terms do not (...) include entities which are logically suited for combination. This second judgment complex will not represent any of its terms as combined, for entities that are logically uncombinable are unrepresentable as combined. Russell’s theory does not, however, explain how the original judgment differs from the complex arrived at by the substitution of constituents such that the former but not the latter represents certain of its terms as combined. (shrink)

A pervasive and influential argument appeals to trivial truths to demonstrate that the aim of inquiry is not the acquisition of truth. But the argument fails, for it neglects to distinguish between the complexity of the sentence used to express a truth and the complexity of the truth expressed by a sentence.

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

O presente manual tem como intenção constituir um guia para uma disciplina introdutória de filosofia da linguagem. Foi elaborado a partir da leccionação da disciplina de Filosofia da Linguagem I na Faculdade de Letras da Universidade do Porto desde 2001. A disciplina de Filosofia da Linguagem I ocupa um semestre lectivo e proporciona aos estudantes o primeiro contacto sistemático com a área da filosofia da linguagem. Pretende-se que este manual ofereça aos estudantes os instrumentos necessários não apenas para acompanhar uma (...) iniciação ao campo da filosofia da linguagem mas também para o estudo e a investigação autónomos posteriores. Para isso é percorrido um trajecto que conduz das intuições pré-teóricas acerca de linguagem, de que todos dispomos, até um conhecimento disciplinar específico, histórico e temático, da filosofia da linguagem. Em termos práticos, são considerados como precedentes da disciplina de Filosofia da Linguagem I – mesmo se, pelo existem actualmente precedências em sentido estrito – as disciplinas de Lógica I e II e de Filosofia do Conhecimento I e II. Os programas dessas disciplinas nos últimos anos estiveram presentes por trás da elaboração do manual. (shrink)

"Philosophical discussion of the notion of existence, or being, has centered on two main problems which have not always been very clearly distinguished. First, there is the problem of what we are to say about the existence of fictitious objects, such as centaurs, dragons, and Pegasus; second, there is the problem of what we are t o say about the existence of abstract objects, such as qualities, relations, and numbers. Both problems have tempted philosophers to say that there are inferior (...) sorts of existence a s well as the ordinary straightforward sort, and they therefore often suggest that we use the word "being" to cover both kinds but restrict "existence" to "being" of the common, non-fictitious, non-abstract sort. (Sometimes the term "reality" is proposed for "existence" or for "being.") T he problems of fiction and abstraction are different, how ever, for there are both real and fictitious abstractions. For example, the integer between two and four is real, but the integer between two and three is fictitious. On the other hand, there are both concrete and abstract fictions; for example, the winged horse of Bellerophon and the integer between two and three. Accordingly, philosophers have often dealt with the two problems in quite different ways and perhaps ought to do so. While these are the two main problems, there are others, f or example, that of what we are to say of the being of objects which have not yet begun, or have now ceased, to exist. The history of this subject, moreover, has been tangled with theological issues, to which it will be necessary to refer at certain points.". (shrink)

There is a fairly general consensus that names are Millian (or Russellian) genuine terms, that is, are singular terms whose sole semantic function is to introduce a referent into the propositions expressed by sentences containing the term. This answers the question as to what sort of proposition is expressed by use of sentences containing names. But there is a second serious semantic problem about proper names, that of how the referents of proper names are determined. This is the question that (...) I will discuss in this paper. Various views consistent with Millianism have been proposed as to how the semantic referents of proper names are determined. These views can be classified into (1) description theories and (2) causal theories, but they can also be classified into (3) social practice theories, on which a name’s referent is determined by a social practice involving the referent, and (4) individualistic theories, on which the referent of the use of a name is determined by the speaker’s state of mind. Here I argue against social practice theories of the sorts proposed by Kripke and Evans and in favor of an individualistic approach to name reference. I argue that social practice is irrelevant to determining name reference and that, as a consequence, names have no meanings in natural languages. In the second part of the paper I motivate and propose a new form of individualistic theory which incorporates features of both description theories and Evans’s social practice theory. (shrink)

In this paper we discuss three examples of the appropriation of Kuhn’s ideas in philosophy of science. First we deal with classical logical empiricism. Perhaps somewhat surprisingly, the arch-logical empiricist Carnap considered Kuhn’s socio-historical account as a useful complementation, and not as a threat of the philosophy of science of logical empiricism. As a second example we consider the attempt of the so-called struc- turalist philosophy of science to provide a “rational reconstruction” of Kuhn’s approach. Finally, we will deal with (...) Friedman’s proposal to apply Kuhn’s ideas to the formulation of a modernized, historically enlightened Kantian approach that is based on the concept of a non-apodictic constitutive and historically moving a priori. (shrink)

Negative facts get a bad press. One reason for this is that it is not clear what negative facts are. We provide a theory of negative facts on which they are no stranger than positive atomic facts. We show that none of the usual arguments hold water against this account. Negative facts exist in the usual sense of existence and conform to an acceptable Eleatic principle. Furthermore, there are good reasons to want them around, including their roles in causation, chance-making (...) and truth-making, and in constituting holes and edges. (shrink)

This essay is a reflection on the idea of truth-making and its applications. I respond to a critique of my 1986 paper on truth-making and discuss some key principles at play in the Truth-maker Program as it has emerged over the past 25 years, paying special attention to negative and general truths. I maintain my opposition to negative and general facts, but give an improved account of how to do without them. In the end, I accept Truth-maker Maximalism and a (...) weakened form of Truth-maker Necessitarianism, reject the assumption that truth-makers must be entities, and urge that the idea of a truth-maker be broadened and loosened so that it applies to anti-realistic as well as realistic truths. (shrink)

It is commonly assumed that facts would be complex entities made out of particulars and universals. This thesis, which I call Compositionalism, holds that parthood may be construed broadly enough so that the relation that holds between a fact and the entities it ‘ties’ together counts as a kind of parthood. I argue firstly that Compositionalism is incompatible with the possibility of certain kinds of fact and universal, and, secondly, that such facts and universals are possible. I conclude that Compositionalism (...) is false. What all these kinds of fact and universal have in common is a violation of supplementation principles governing any relation that may be intelligibly regarded as a kind of parthood. Although my arguments apply to Compositionalism generally, I focus on recent work by David Armstrong, who is a prominent and explicit Compositionalist. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

This article is about the special, subjective concepts we apply to experience, called “phenomenal concepts”. They are of special interest in a number of ways. First, they refer to phenomenal experiences, and the qualitative character of those experiences whose metaphysical status is hotly debated. Conscious experience strike many philosophers as philosophically problematic and difficult to accommodate within a physicalistic metaphysics. Second, PCs are widely thought to be special and unique among concepts. The sense that there is something special about PCs (...) is very closely tied up with features of the epistemic access they afford to qualia. When we deploy phenomenal concepts introspectively to some phenomenally conscious experience as it occurs, we are said to be acquainted with our own conscious experiences. Accounts of PCs either have to explain the acquaintance relation, or acquaintance with our phenomenal experiences has to be denied. PCs have received much attention in recent philosophy of mind mainly because they figure in arguments for dualism and in physicalist responses to these arguments. The main topic of this article is to explore different accounts of phenomenal concepts and their role in recent debates over the metaphysical status of phenomenal consciousness. (shrink)

In , Peter van Inwagen asked a good question. (Asking the right question is often the hardest part.) He asked: what do you have to do to some objects to get them to compose something---to bring into existence some further thing made up of those objects? Glue them together or what?1 Some said that you don’t have to do anything.2 No matter what you do to the objects, they’ll always compose something further, no matter how they are arranged. Thus we (...) learned of the fusion of the coins in our pockets and the Eiffel tower. (shrink)

Some philosophers have argued that refraining from performing an action consists in actively keeping oneself from performing that action or preventing one’s performing it. Since activities must be held to be positive actions, this implies that negative actions are a species of positive actions which is to say that all actions are positive actions. I defend the following claims: (i) Positive actions necessarily include activity or effort, negative actions may require activity or effort, but never include the activity or effort (...) which may be required. (ii) Unless it is, or was, at some time in P’s power to Q, P does not refrain from Q-ing. (iii) Negative actions are actions , they are causings of negative facts. (shrink)

Attitude verbs fall in different categories depending on the kind of sentential complements which they can embed. In English, a verb like know takes both declarative and interrogative complements. By contrast, believe takes only declarative complements and wonder takes only interrogative complements. The present paper examines the hypothesis, originally put forward by Hintikka (1975), that the only verbs that can take both that -complements and whether -complements are the factive verbs. I argue that at least one half of the hypothesis (...) is empirically correct, namely that all veridical attitude verbs taking that -complements take whether -complements. I distinguish veridical verbs from factive verbs, and present one way of deriving the generalization. Counterexamples to both directions of the factivity hypothesis are discussed, in particular the case of emotive factive verbs like regret , and the case of non-veridical verbs that licence whether complements, in particular tell, guess, decide and agree . Alternative accounts are discussed along the way, in particular Zuber (1982), Ginzburg (1995) and Saebø (2007). (shrink)

The problem of truthmakers for negative propositions was introduced by Bertrand Russell in 1918. Since then the debate has mostly been concerned with whether to accept or reject their existence, and little has been said about what it is that makes a negative proposition negative. This is a problem as it is obvious that you cannot just read it off from the grammar of a sentence. The aim of this paper is to demonstrate that propositions may be negative or positive (...) in many ways: it offers a typology, and shows how the question of the existence of negative facts will receive a different answer depending on its relationship to that typology. (shrink)

The view that we are human animals, " animalism ", is deeply unpopular. This paper explains what that claim says and why it is so contentious. It then argues that those who deny it face an awkward choice. They must either deny that there are any human animals, deny that human animals can think, or deny that we are the thinking things located where we are.

The paper attempts to conciliate the important distinction between what-is, or exists, and what-is-not _thereby supporting Russell’s existential analysis_ with some Meinongian insights. For this purpose, it surveys the varied inhabitants of the realm of ‘non-being’ and tries to clarify their diverse statuses. The position that results makes it possible to rescue them back in surprising but non-threatening form, leaving our ontology safe from contradiction.

Substantial metaphysical theory has long struggled with the question of negative facts, facts capable of making it true that Valerie isn’t vigorous. This paper argues that there is an elegant solution to these problems available to anyone who thinks that there are positive facts. Bradley’s regress and considerations of ontological parsimony show that an object’s having a property is an affair internal to the object and the property, just as numerical identity and distinctness are internal to the entities that are (...) numerically identical or distinct. For the same reasons, an object’s lacking a property must be an affair internal to the object and the property. Negative facts will thus be part of any ontology of positive facts. (shrink)

I defend russell's main views on names and descriptions against recent objections. Ordinary names are not logically proper names (or rigid designators) but really are disguised descriptions (of the form "the bearer of "n""). And russell's theory of descriptions really works. The common objections to russell all suffer from a confusion of use with meaning. However, Russell was wrong to think that there are or need to be any logically proper names (at least for particulars). That is because, So I (...) argue, There are no singular propositions. (shrink)

We consider and reject a variety of attempts to provide a ground for identifying and differentiating disembodied minds. Until such a ground is provided, we must withhold inclusion of disembodied minds from our picture of the world.

In this paper, I defend the thesis that alleffects of extra-linguistic context on thetruth-conditions of an assertion are traceable toelements in the actual syntactic structure of thesentence uttered. In the first section, I develop thethesis in detail, and discuss its implications for therelation between semantics and pragmatics. The nexttwo sections are devoted to apparent counterexamples.In the second section, I argue that there are noconvincing examples of true non-sentential assertions.In the third section, I argue that there are noconvincing examples of what (...) John Perry has called`unarticulated constituents''. I conclude by drawingsome consequences of my arguments for appeals tocontext-dependence in the resolution of problems inepistemology and philosophical logic. (shrink)

It is generally assumed that if it is possible to believe that p without believing that q, then there is some difference between the object of the thought that p and the object of the thought that q. This assumption is challenged in the present paper, opening the way to an account of epistemic opacity that improves on existing accounts, not least because it casts doubt on various arguments that attempt to derive startling ontological conclusions from seemingly innocent epistemic premises.

I argue that Colin Cheyne and Charles Pigden's recent attempt to find truthmakers for negative truths fails. Though Cheyne and Pigden are correct in their treatment of some of the truths they set out to find truthmakers for (such as 'There is no hippopotamus in S223' and 'Theatetus is not flying') they over-generalize when they apply the same treatment to 'There are no unicorns'. In my view, this difficulty is ineliminable: not every truth has a truthmaker.

In his recent book, Stephen Neale provides an extended defence of the claim that Gödel's slingshot has dramatic consequences for fact theorists (and, in particular, for fact theorists who look with favour on referential treatments of definite descriptions). I argue that the book-length treatment provides no strengthening of the case that Neale has made elsewhere for this implausible claim. Moreover, I also argue that various criticisms of Neale's case that I made on a previous occasion have met with no successful (...) resistance. If Neale is serious about facing facts, then he needs to face the fact that his central contentions are unsupportable. (shrink)

In previous work I have argued that talk about negative events should not be taken at face value: typically, what we are inclined to think of as a negative event (John’s failure to go jogging) is just an ordinary, positive event (his going to the movie instead); it is a positive event under a negative description. Here I consider more closely the difficulties that arise in those cases where no positive event seems available to do the job, as with putative (...) cases of causation by omission. In particular, I elaborate on Helen Beebee’s idea that not all causal explanations are reports of causation. When we mention John’s failure to turn off the gas as an explanans of why there was an explosion, we do not say what caused the explosion. We do not mention any of the relevant causes. We just remark that one sort of event that was supposed to occur, and whose occurrence would have prevented the explosion, did not in fact occur. (shrink)

This paper presents an attempt to integrate theories of causal processes—of the kind developed by Wesley Salmon and Phil Dowe—into a theory of causal models using Bayesian networks. We suggest that arcs in causal models must correspond to possible causal processes. Moreover, we suggest that when processes are rendered physically impossible by what occurs on distinct paths, the original model must be restricted by removing the relevant arc. These two techniques suffice to explain cases of late preëmption and other cases (...) that have proved problematic for causal models. (shrink)

A couple of decades after becoming a major area of both public and philosophical concern, animal ethics continues its inroads into main- stream consciousness. Increasingly, philosophers, ethicists, professionals who use animals, and the broader public confront specific ethical issues regarding human use of animals as well as more fundamental questions about animals’ moral status. A parallel, related development is the explo- sion of interest in animals’ mental lives, as seen in exciting new work in cognitive ethology and in the plethora (...) of movies, television commercials, and popular books featuring apparently intelligent animals. -/- As we approach the turn of the twenty-first century, philosophical animal ethics is an area of both increasing diversity and unrealized poten- tial – a thesis supported by this essay as a whole. Following up on an earlier philosophical review of animal ethics (but without that review’s focus on animal research), the present article provides an updated narrative – one that offers some perspective on where we have been, a more detailed account of where we are, and a projection of where we might go. Each of the three major sections offers material that one is unlikely to find in other reviews of animal ethics: the first by viewing familiar territory in a different light (advancing the thesis that the utility-versus-rights debate in animal ethics is much less important than is generally thought); the second by reviewing major recent works that are not very well-known (at least to nonspecialists); and the third by identifying important issues that have been largely neglected. (shrink)

This volume draws connections between Wittgenstein's philosophy and the work of Saul Kripke, especially his Naming and Necessity. Saul Kripke is regarded as one of the foremost representatives of contemporary analytic philosophy. His most important contributions include the strict distinction between metaphysical and epistemological questions, the introduction of the notions of contingent a priori truth and necessary a posteriori truth and original accounts of names, descriptions, identity, necessity and realism. The chapters in this book elucidate the relevant connections between Kripke's (...) work and Wittgenstein, specifically concerning the standard meter, contingent apriori and rule-following. The contributions shed light on how Kripke's philosophical outlook was influenced by Wittgenstein, and how mainstream analytic philosophy and Wittgensteinian philosophy can fruitfully engage with one another. Kripke and Wittgenstein will be of interest to philosophers working on Wittgenstein, Kripke, and the history of analytic philosophy. (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

Semantic analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular conception of “form” (...) developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed. (shrink)

In The Philosophy of Logical Atomism Russell held the view that facts in the world are formally structured complexes, the structure of which matches the logical structure of correspondent propositions. Russell also seems to have denied that there are facts of identity and of diversity. This paper argues that Identity and Diversity can be understood as purely formal structures in Russellian facts. It considers Russell’s possible reasons for denying the existence of facts of identity and diversity and shows how problematic (...) these reasons are. In particular, I argue that identity statements are not tautologies, and their denial does not result into a contradiction. An important consequence of this thesis is that Metaphysics and Logic are not as tied up as Russell took them to be, but nevertheless these are good news for the old formal program for Metaphysics that lies at the very heart of what he called philosophical logic. (shrink)

Translated from: W.V.O.Quine, W. H. O. (1986): Philosophy of Logic. Second Edition. Harvard University Press. Cambridge, Massachusetts and London, England, 47-61.

The Introduction to "Knowledge, Number and Reality. Encounters with the Work of Keith Hossack" provides an overview over Hossack's work and the contributions to the volume.

Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated by extensionalism and (...) descriptivism – allows us to see how revolutionary she was, in her work and influence on others. I focus on her debate with Quine, who found himself retreating to softened, and more viable, versions of his anti-modal arguments as a result. I make the case that Barcan's formal logic was philosophically well-motivated, connected to her views on reference, and well-matched to her overall views on ontology. Her nominalism led her to reject posits which could not be directly observed and named, such as possibilia. She conceived of modal calculi as facilitating counterfactual discourse about actual existents. I conclude that her contributions ought to be recognized as the first of their kind. Barcan Marcus must be awarded a central place in the canon of analytic philosophy. (shrink)

Thanks to the Inlaks Foundation in India, I was able to do my doctoral research on Our Talk About Nonexistents at Oxford in the early eighties. The two greatest philosophers of that heaven of analytical philosophy - Peter Strawson and Michael Dummett - supervised my work, reading and criticising all the fledgling philosophy that I wrote during those three years. At Sir Peter's request, Gareth Evans, shortly before his death, lent me an unpublished transcript of Kripke's John Locke Lectures. Work (...) on the Appendix about Indian Philosophy was supervised by the late Professor Bimal Krishna Matilal with whom informal but intense philosophical conversations used to spill over into dinner at his place almost every other day. It was Professor Matilal who sent me, over a summer, to study a tough Navya-Nyaya text under his own Nyaya teacher Pandit Visvabandhu Tarkatirtha at Calcutta. All four of these teachers were as kind to me as my life-long mentor in philosophy Professor Pranab Kumar Sen, whose clarity and depth remain the unreachable regu lative ideal of my intellect. When I came back to India, my life became blissfully free of the agonising anxiety to publish, until, after a conference at Jadavpur University where I gave an impromptu paper, ironically enough, on Non-doings, I met Derek Parfit. He had a six-hour conversation with me, explicitly planning my life. Five years had already elapsed since I had finished my D. Phil, but Derek read my thesis and liked it. (shrink)