Abstract: This article contends that the relation of early logical empiricism to Kant was more complex than is often assumed. It argues that Reichenbach's early work on Kant and Einstein, entitled The Theory of Relativity and A Priori Knowledge (1920) aimed to transform rather than to oppose Kant's Critique of Pure Reason. One the one hand, I argue that Reichenbach's conception of coordinating principles, derived from Kant's conception of synthetic a priori principles, offers a valuable way of accounting for the (...) historicity of scientific paradigms. On the other hand, I show that even Reichenbach, in line with Neo-Kantianism, associated Kant's view of synthetic a priori principles too closely with Newtonian physics and, consequently, overestimated the difference between Kant's philosophy and his own. This is even more so, I point out, in the retrospective account logical empiricism presented of its own history. Whereas contemporary reconstructions of this history, including Michael Friedman's, tend to endorse this account, I offer an interpretation of Kant's conception of a priori principles that contrasts with the one put forward by both Neo-Kantianism and logical empiricism. On this basis, I re-examine the early Reichenbach's effort to accommodate these principles to the paradigm forged by Einstein. (shrink)

Traditional correspondence theory of truth with the concept of fact encounters many serious difficulties, main one of which is that it is too difficult to explain clearly the concept of ‘fact’ and how propositions ‘correspond’ to facts. This does not mean that we should abandon the traditional correspondence theory of truth and turn to some other type theories of truth. In order to guarantee the objectivity of truth, any reasonable theory of truth must adhere to the core insight of the (...) traditional correspondence theory: it is not something in our language, nor in our mind, but something in the external world, that make the propositions we use to describe the states of affairs in the world either true or false. It is entirely possible to formulate a new correspondence theory of truth without the concept of fact but still adhering to the core insights mentioned above of the traditional correspondence theory. New correspondence theory of truth has its own metaphysical and epistemological assumptions, and also its assumption in the philosophy of language. Because of the generativity of language, in defining the concept of truth, the new correspondence theory of truth must resort to Tarskian recursive procedure. First, it gives the semantic value of the components of a proposition, defines the truth of its atomic propositions, then gradually defines the truth of its more and more complex propositions and finally of the whole proposition. Coherence is the intrinsic element of truth. The concept of truth is by no means trivial and insignificant; on the contrary, it is very substantive. The pursuit of truth is our mission. (shrink)

I compare Sellars’s criticism of the ‘myth of the given’ with Quine’s criticism of the ‘two dogmas’ of empiricism, that is, the analytic–synthetic distinction and reductionism. In Sections I to III, I present Quine’s and Sellars’s views. In IV to X, I discuss similarities and differences in their views. In XI to XII, I show that Sellars’s arguments against the ‘myth of the given’ are incompatible with Quine’s rejection of the analytic–synthetic distinction.

Suppose, familiarly, that you and a friend have landed in an alien territory, amidst people who speak a language you do not know. Upon seeing you, one of them starts yelling, seemingly alarmed. You say to your friend, “She thinks we want to hurt her. She's scared. We must seem very strange to her.” Your friend, who is facing you, says, “No, I think she's actually trying to warn you: there's a snake right above your head, on that tree. You (...) see the sling in her hand? I think she's going to try to shoot it down.“On a prevalent view, much discussed in recent years, you and your friend have engaged in a mini-theoretical enterprise. Using certain observations of the alien's behaviour as your data, and deploying certain generalizations and principles concerning human behaviour, you advance hypotheses regarding the internal psychological states which issued in her observed behaviour. (shrink)

This paper provides an overview of the history of the notion of essence in 20th century analytic philosophy, focusing on views held by influential analytic philosophers who discussed, or relied on essence or cognate notions in their works. It in particular covers Russell and Moore’s different approaches to essence before and after breaking with British idealism, the (pre- and post-)logical positivists’ critique of metaphysics and rejection of essence (Wittgenstein, Carnap, Schlick, Stebbing), the tendency to loosen the notion of logical necessity (...) to accommodate certain metaphysical truths in Wittgenstein and others, Quine’s logical rehabilitation of metaphysics and criticism of de re modality, the modal view of essence promoted by the development of quantified modal logic (C. I. Lewis, Barcan Marcus, Kripke) and direct reference theory (Barcan Marcus, Kripke, Putnam), and the emergence of the notion of metaphysical necessity (Kneale, Kripke), and finally Fine’s re-establishment of a Neo-Aristotelian, hyperintensional notion of essence in contemporary metaphysics. (shrink)

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

We provide a new interpretation of Zeno’s Paradox of Measure that begins by giving a substantive account, drawn from Aristotle’s text, of the fact that points lack magnitude. The main elements of this account are (1) the Axiom of Archimedes which states that there are no infinitesimal magnitudes, and (2) the principle that all assignments of magnitude, or lack thereof, must be grounded in the magnitude of line segments, the primary objects to which the notion of linear magnitude applies. Armed (...) with this account, we are ineluctably driven to introduce a highly constructive notion of (outer) measure based exclusively on the total magnitude of potentially infinite collections of line segments. The Paradox of Measure then consists in the proof that every finite or potentially infinite collection of points lacks magnitude with respect to this notion of measure. We observe that the Paradox of Measure, thus understood, troubled analysts into the 1880’s, despite their knowledge that the linear continuum is uncountable. The Paradox was ultimately resolved by Borel in his thesis of 1893, as a corollary to his celebrated result that every countable open cover of a closed line segment has a finite sub-cover, a result he later called the “First Fundamental Theorem of Measure Theory.” This achievement of Borel has not been sufficiently appreciated. We conclude with a metamathematical analysis of the resolution of the paradox made possible by recent results in reverse mathematics. (shrink)

I show how Sir William Rowan Hamilton’s philosophical commitments led him to a causal interpretation of classical mechanics. I argue that Hamilton’s metaphysics of causation was injected into his dynamics by way of a causal interpretation of force. I then detail how forces are indispensable to both Hamilton’s formulation of classical mechanics and what we now call Hamiltonian mechanics (i.e., the modern formulation). On this point, my efforts primarily consist of showing that the contemporary orthodox interpretation of potential energy is (...) the interpretation found in Hamilton’s work. Hamilton called the potential energy function the “force-function” because he believed that it represents forces at work in the world. Various non-historical arguments for this orthodox interpretation of potential energy are provided, and matters are concluded by showing that in classical Hamiltonian mechanics, facts about the potential energies of systems are grounded in facts about forces. Thus, if one can tolerate the view that forces are causes of motion, then Hamilton provides one with a road map for transporting causation into one of the most mathematically sophisticated formulations of classical mechanics, viz., Hamiltonian mechanics. (shrink)

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...) from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics. (shrink)

Epistemic and practical interests are often in conflict. This also occurs in institutional settings such as the legal one. Rule 407 of the U.S. Federal Rules of Evidence is an example of that because it sacrifices some epistemic interests in favour of practical ones. It is the rule on subsequent remedial measures (SRM), which is mainly designed to answer a practical concern (reducing accidents) instead of the epistemic one of getting some evidence to find out whether the defendant was negligent (...) or whether there was a defect in a product. Some commentators and courts think that the rationale of the rule is more complex and deserves a more careful discussion, as this paper shows. Additionally, this paper discusses a modification proposal (from categorical ban of SRM evidence to case‐by‐case decision) and develops some theoretical considerations, in the spirit of philosophical pragmatism, on the best way to conceptualize the problem addressed. The idea is to see such conflicts as conflicts of goals and to explain them in terms of the incompatible desires that we happen to have. (shrink)

Representationalist accounts of mental content face the threat of the homunculus fallacy. In collapsing the distinction between the conscious state and the conscious subject, self-representational accounts of consciousness possess the means to deal with this objection. We analyze a particular sort of self-representational theory, built on the work of John von Neumann on self-reproduction, using tools from mathematical logic. We provide an explicit theory of the emergence of referential beliefs by means of modal fixed points, grounded in intrinsic properties yielding (...) the subjective aspects of experience. Furthermore, we study complications introduced by allowing for the modification of such symbolic content by environmental influences. (shrink)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

The social world contains institutions, groups, objects, and more. This essay explores a puzzle about the essences of social items. There is widespread consensus against social essences because of problematic presuppositions often made about them. But it is argued that essence can be freed from these presuppositions and their problems. Even so, a puzzle still arises. In a Platonic spirit, essences in general seem detached from the world. In an Aristotelian spirit, social essences in particular seem embedded in the world. (...) The puzzle is that these inclinations are individually plausible but jointly incompatible. The essay has four aims: to clarify and refine the puzzle; to explore the puzzle's implications for essence in general and for social essences in particular; to illustrate the fruitfulness of the general distinction between detached and embedded; and to develop this distinction to sketch a novel solution to the puzzle. (shrink)

The defense of common sense in Berkeley's Three Dialogues is, first and foremost, a defense of the gardener's claim to know this cherry tree, a claim threatened by both Cartesian and Lockean philosophy. Berkeley's defense of the gardener's knowledge depends on his claim that the being of a cherry tree consists in its being perceived. This is not something the gardener believes; rather, it is a philosophical analysis of the rules unreflectively followed by the gardener in his use of the (...) word 'exists'. It is by following these rules that the gardener gains knowledge of the cherry tree. Uncovering these deep connections between Berkeley's epistemology and his philosophy of language and placing them in the context of his critique of both Cartesian and Lockean philosophy will clarify Berkeley's strategy for bringing his reader back to common sense and practical engagement in the ordinary affairs of life. (shrink)

In their recent book, Ladyman and Wiesner (What is a complex system?, Yale University Press, 2020) delineate the bounds of the exciting interdisciplinary field of complexity science. In this work, they provide examples of generally accepted complex systems and common features which these possess to varying degrees. In this paper, I plan to extend their list to include the formal study of natural language, i.e. linguistics. In fact, I will argue that language exhibits many of the hallmarks of a complex (...) system, specifically a complex biological system. Thus, my aim is to advocate contra the the ‘Minimalist Program’ (Chomsky, The minimalist program, MIT Press, Cambridge, 1995), which motivates simple underlying mechanisms (i.e. Merge) in their idealisations, that biolinguistics should embrace a ‘Maximalist Program’ in which multiple subfields contribute component explanations to an emerging whole. (shrink)

The concept of linguistic infinity has had a central role to play in foundational debates within theoretical linguistics since its more formal inception in the mid-twentieth century. The conceptualist tradition, marshalled in by Chomsky and others, holds that infinity is a core explanandum and a link to the formal sciences. Realism/Platonism takes this further to argue that linguistics is in fact a formal science with an abstract ontology. In this paper, I argue that a central misconstrual of formal apparatus of (...) recursive operations such as the set-theoretic operation merge has led to a mathematisation of the object of inquiry, producing a strong analogy with discrete mathematics and especially arithmetic. The main product of this error has been the assumption that natural, like some formal, languages are discretely infinite. I will offer an alternative means of capturing the insights and observations related to this posit in terms of scientific modelling. My chief aim will be to draw from the larger philosophy of science literature in order to offer a position of grammars as models compatible with various foundational interpretations of linguistics while being informed by contemporary ideas on scientific modelling for the natural and social sciences. (shrink)

Many commentators now view Quine's ‘Truth by Convention’ as a flawed criticism of Carnap. Gary Ebbs argued recently that Quine never intended Carnap as his target. Quine's criticisms were part of his attempt to work out his own scientific naturalism. I agree that Carnap was not Quine's target but object that Quine's criticisms were wholly internal to his own philosophy. Instead, I argue that C.I. Lewis held the kind of truth‐by‐convention thesis that Quine rejects. This, however, leaves Carnap out of (...) the picture. I then show how Quine came to see the earlier criticisms as also having force against Carnap. (shrink)

Rudolf Carnap is well known for his attack on metaphysics, and W. V. Quine is equally well known for his attack on Carnap’s analytic/synthetic distinction. Receiving far less attention is their basic agreement that a properly scientific approach to philosophy should eliminate the metaphysical excesses of the past. This paper aims to remedy this. It focuses initially on the development of Carnap’s rejection of metaphysics from 1932 to 1950 and the role that analyticity plays. It then turns to Quine, emphasizing (...) his basic agreement with Carnap over the elimination of metaphysics and what this looks like without the analytic/synthetic distinction. (shrink)

I argue that pace Quine, indeterminacy of translation affects observation sentences. I illustrate this indeterminacy with examples and show how it is tied to the indeterminacy affecting the analytical status of observation categoricals. I propose my own construal of the thesis of indeterminacy of translation, according to which indeterminacy is based on the inextricability of meaning and belief. I explain why this construal should be favored over Quine’s.

Knowing that some state of affairs—expressed by a proposition, p—is possible, and the possibility that one knows that p have, quite obviously, different meanings. This paper focuses only on their logical relationship—whether they entail one another. I will argue for the following three claims: the basic verificationist principles of anti-realism, at least in their simplest forms, and in conjunction with some other, intuitively reasonable principles, do entail that these two concepts are substitutionally equivalent. Our pre-theoretical expectations question this outcome, as (...) counterexamples can be manufactured. I will also argue that this substitutional equivalence has further, highly counter-intuitive implications. Finally, I will argue that some of the standard strategies to avoid the well-known paradoxes of anti-realism fail to solve this new paradox, while others may be able to do that, but only at a considerable price. However, the introduction of a moderate anti-realist truth operator, the actual objective of this paper, does dissolve the paradox, and arguably at an affordable price. (shrink)

Since the publication of Kit Fine's “Essence and Modality”, there has been lively debate over how best to think of essence in relation to necessity. The present aim is to draw attention to a definition of essence in terms of modality that has not been given sufficient attention. This neglect is perhaps unsurprising, since it is not a proposal made in response to Fine's 1994 paper and ensuing discussion, but harks back to Ruth Barcan Marcus's earlier work in the 1960s (...) and 1970s on essentialist claims. At the core of Barcan Marcus's account is Minimal Essentialism, of which there are several extensions, in particular, for cases of referential predicates (such as “x is identical to Socrates”), Individuating Essentialism, and Aristotelian Essentialism. I argue that Minimal Essentialism fares favourably against a host of familiar examples. I close with some historical observations, that the distinction between essence and necessity was already commonplace in the early days of quantified modal logic and its philosophy. (shrink)

Depuis 1967, Donald Davidson defend l'idée qu'une théorie de la signification pour une langue naturelle doit prendre la forme d'une théorie tarskienne de la vérité. Je me propose ici d'exposer les grandes lignes de l a conception davidsonienne de la sémantique des langues naturelles et de chercher à préciser en quel sens une theorie tarskienne de la vérité pour une langue L constitue, selon Davidson, une théorié de la signification pour L. Je ferai pour cela abstraction des obstacles qu'il pourrait (...) y avoir à la réalisation du programme de Davidson. (shrink)

We aim to show from a new perspective that Quine’s ontological relativity, based largely on his so-called “proxy-function argument”, falls short of being a rigorously coherent philosophical conception, as it exhibits significant formal defects. This new perspective enables exposing the shortcomings of Quine's position and suggests a possible reformulation of the original position. Moreover, we argue that his ontological relativity is inconsistent with the empirical data associated with some of our best physical theories, such as quantum mechanics. We refer to (...) fundamental concepts of philosophy and the foundations of mathematics in order to clarify our critique of Quine’s position concerning the relation between formalized theories and both what we can know about the real world and how we come to know it. (shrink)

In this paper, we argue that, in order to account for the apparently substantive nature of definitional disputes, a commitment to what we call ‘Socratic essentialism’ is needed. We defend Socratic essentialism against a prominent neo-Carnapian challenge according to which apparently substantive definitional disputes always in some way trace back to disagreements over how expressions belonging to a particular language or concepts belonging to a certain conceptual scheme are properly used. Socratic essentialism, we argue, is not threatened by the possibility (...) that some apparently substantive definitional disputes may turn out to be verbal or conceptual, since this pluralist strategy, in our view, requires a commitment to more, rather than fewer, essences. What is more, a deflationary, metaphysically ‘light-weight’ construal of the essence-ascriptions in question leads to a peculiar conception of the pursuit of metaphysicians as behaving like deceptive (or self-deceived) grammarians pretending to be scientists. Moreover, this deflationary attitude, we argue, spreads beyond metaphysics and philosophy more broadly to apparently substantive definitional disputes in the sciences as well as other in other disciplines, such as art criticism. (shrink)

In philosophy and political theory, the term paradox is often used synonymously with antinomy, contradiction and aporia. This article clarifies the meaning of these terms through tracing their respective etymology. We see that antinomy denotes a deep-seated conceptual opposition, whereas contradiction and aporia represent alternative responses to antinomy. The former presents the antinomy as potentially resolvable at some future time, and the latter sees the antinomy instead as a constitutive impasse. By way of contrast, para doxa originally referred to a (...) statement that is ‘contrary to received opinion’, but this idea has generally been subsumed – both in philosophy and more common place understandings – under the notion of aporia. This conceptual recovery enables a better understanding of key traditions in social and political theory, notably post-structuralism and Habermasian critical theory, which can be demarcated through their respective responses to the emergence of ‘paradoxes’. However, the article also demonstrates the material significance of these philosophical categories through their application to contemporary democratic politics. I analyse the constitutive tension between liberalism and democracy as well as the emergence of populism and show how these conceptual tools provide new insights for understanding these most pressing political developments of our time. (shrink)

In this paper, I argue against the later Wittgenstein's conventionalist account of necessity. I first show that necessary propositions and grammatical rules differ in ways that make an explanation of the former in terms of the latter inadequate. I then argue that even if Wittgenstein's account were adequate, the explanation of necessity it offers would still fail to be genuinely reductive of the modal notion.

Network motifs are small patterns of connections, found over‐represented in gene regulatory networks. An example is the negative feedback loop (e.g. factor A represses itself). This opposes its own state so that when ‘on’ it tends towards ‘off’ – and vice versa. Here, we argue that such self‐opposition, if considered dimensionlessly, is analogous to the liar paradox: ‘This statement is false’. When ‘true’ it implies ‘false’ – and vice versa. Such logical constructs have provided philosophical consternation for over 2000 years. (...) Extending the analogy, other network topologies give strikingly varying outputs over different dimensions. For example, the motif ‘A activates B and A. B inhibits A’ can give switches or oscillators with time only, or can lead to Turing‐type patterns with both space and time (spots, stripes or waves). It is argued here that the dimensionless form reduces to a variant of ‘The following statement is true. The preceding statement is false’. Thus, merely having a static topological description of a gene network can lead to a liar paradox. Network diagrams are only snapshots of dynamic biological processes and apparent paradoxes can reveal important biological mechanisms that are far from paradoxical when considered explicitly in time and space. (shrink)

Spontaneously, one might want to object that it is essential to ordered pairs that they can contain the same members and yet be different: ≠. Hence, it may be argued, no set-theoretical substitute can fully capture the sense in which ordered pairs are ordered. Quine, however, rejects all such talk of essences and senses. As I will show, this anti-essentialist attitude is intimately related to his view of the ontological import of explication procedures. According to Quine, an explication should help (...) us reform our established theory of the world so that the resulting scheme assumes an ontology that is as sparse as possible. Allegedly, what Wiener and Kuratowski show is simply that whatever good is accomplished by talking of ordered pairs can be accomplished by talking of sets. And, Quine adds, ‘[a] similar view can be taken of every case of explication: explication is elimination’. (shrink)

In this article, I argue that, for the purpose of developing an effective critical social ontology about gender groups, it is not simply sufficient to carve gender groups at their joints: one must have in view whether the metaphysical categories we use to make sense of gender groups are prone to ideological distortion and vitiation. The norms underpinning a gender group's constitution as a type of social class and the norms involved in gender identity attributions, I propose, provide compelling reason (...) to think critical social ontological discourse is more processist-orientated, rather than substantival-orientated. The advantages of a processist critical social ontology of gender groups are that, unlike substance-discourse, process-discourse recognizes how gender group talk and gender identity talk are often messy and therefore require a conceptual scheme that can transform vocabulary for the emancipatory purpose of ending oppression, domination, and marginalization. (shrink)

In this article, I argue that, for the purpose of developing an effective critical social ontology about gender groups, it is not simply sufficient to carve gender groups at their joints: one must have in view whether the metaphysical categories we use to make sense of gender groups are prone to ideological distortion and vitiation. The norms underpinning a gender group's constitution as a type of social class and the norms involved in gender identity attributions, I propose, provide compelling reason (...) to think critical social ontological discourse is more processist-orientated, rather than substantival-orientated. The advantages of a processist critical social ontology of gender groups are that, unlike substance-discourse, process-discourse recognizes how gender group talk and gender identity talk are often messy and therefore require a conceptual scheme that can transform vocabulary for the emancipatory purpose of ending oppression, domination, and marginalization. (shrink)

This paper presents considerations against the linguistic view of a priori knowledge. The paper has two parts. In the first part I argue that problems about the individuation of lexical meanings provide evidence for a moderate indeterminacy, as distinct from the radical indeterminacy of meaning claimed by Quine, and that this undermines the idea of a priori knowledge based on knowledge of synonymies. In the second part of the paper I argue against the idea that a priori knowledge not based (...) on knowledge of synonymies can be explained in terms of implicit definitions. (shrink)

Is it possible for there to be facts about reality with a logical structure that is in principle unrepresentable by us? I outline the main motivations for thinking that this question should receive a positive answer. I then argue that, upon inspection, the view that such structurally ineffable facts are possible is self-defeating and thus incoherent. My argument is based on considerations about the fundamental role that the purely formal concept of an object plays in our propositional representations and its (...) intimate connection with subject-predicate structure. (shrink)

The aim of this article is to argue against the real possibility of languages without subject‐predicate structure, so‐called feature‐placing languages. They were first introduced by Strawson (1959/1990), later given formal expression through Quine's Predicate Functor Logic (Quine, 1960, Quine, 1971/Quine, 1976, Quine, 1992), and further elaboration in (Hawthorne & Cortens, 1995). I argue that, on the presumption that feature‐placing languages are not mere notational variants on first‐order languages, the idea of such languages is incoherent. The argument for this view rests (...) on two highly plausible views about the conditions for the possibility of sentential meaning in natural languages. If accepted, these two views jointly imply that the sentences of feature‐placing languages lack sufficient internal structure to meet the conditions for sentential meaning. Feature‐placing languages cannot then count as genuine languages. (shrink)

Fred Sommers passed away in October of 2014 in his 92nd year. Having begun his teaching at Columbia University, he eventually became the Harry A. Wolfson Chair in Philosophy at Brandeis University, where he taught from 1963 to 1993. During his long and productive career, Sommers authored or co-authored over 50 books, articles, reviews, etc., presenting his ideas on numerous occasions throughout North America and Europe. His work was characterized by a commitment to the preservation and application of historical insights (...) and to the value of a well-articulated, coherent logical system. He was recognized for his independence and refusal to accept any view on the basis of authority alone. This made him a formidable critic but accounted in part for his many innovative and original ideas. In spite of his general contrariness in logic, Sommers earned the respect of the majority of his contemporaries, including Russell, Quine, van Benthem, Hacking, Suppes, and Strawson. In 2005, he was the subjec... (shrink)

Although our theories are not precisely true, scientific realists contend that we should admit their objects into our ontology. One justification--offered by Sellars and Putnam--is that current theories belong to series that converge to ideally adequate theories. I consider the way the commitment to convergence reflects on the interpretation of lawlike claims. I argue that the distinction between lawlike and accidental generalizations depends on our cognitive interests and reflects our commitment to the direction of scientific progress. If the sciences disagree (...) about the lawlikeness of some generalization(s), as an argument of Davidson's suggests, it follows from the interest relatively of lawlikeness that the laws of a science do not determine the essences of their objects. I conclude that this form of scientific realism provides no metaphysical support for essentialism. (shrink)

The concept of hypodox is dual to the concept of paradox. Whereas a paradox is incompatibly overdetermined, a hypodox is underdetermined. Indeed, many particular paradoxes have dual hypodoxes. So, naively the dual of Russell’s Paradox is whether the set of all sets that are members of themselves is self-membered. The dual of the Liar Paradox is the Truth-teller, and a hypodoxical dual of the Heterological paradox is whether ‘autological’ is autological. I provide some analysis of the duality and I search (...) for modal hypodoxes as duals to known paradoxes. I also try to continue this search further by mapping the relations between some paradoxes and hypodoxes in duality squares. This investigation increases the known extension of the concept of hypodox, and the duality relation between paradoxes and hypodoxes assists in finding some of these. (shrink)

Much recent work in metaontology challenges the so-called ‘Quinean tradition’ in metaphysics. Especially prominently, Amie Thomasson argues for a highly permissive ontology over ontologies which eliminate many entities. I am concerned with disputing not her ontological claim, but the methodology behind her rejection of eliminativism – I focus on ordinary objects. Thomasson thinks that by endorsing the Quinean criterion of ontological commitment eliminativism goes wrong; a theory eschewing quantification over a kind may nonetheless be committed to its existence. I argue (...) that, contrary to Thomasson's claims, we should retain the Quinean criterion. Her arguments show that many eliminativist positions are flawed, but their flaws lie elsewhere: the Quinean criterion is innocent. Showing why reveals the importance of pragmatism in ontology. In §1 I compare Thomasson's account and the eliminativist views to which it stands in opposition. In §2 I re-construct Thomasson's reasons for rejecting the Quinean criterion. In §3 I defend the Quinean criterion, showing that the eliminativists’ flaws are not consequences of applying the Quinean criterion, before explaining the criterion's importance when properly understood. I conclude that Thomasson, though right to criticise the methodology of ordinary-object eliminativists, is wrong to identify the Quinean criterion as the source of their mistake. (shrink)

Glymour has developed an account of the confirmation of scientific hypotheses which he advocates as an alternative to the hypothetico-deductive and Bayesian accounts. This account is subject to a counter-example which may be accomodated by a slight modification. So modified it describes an important dimension of confirmation. If the modification of Glymour's account is slightly extended, both the resulting account and the hypothetico-deductive account may be seen as special cases of a Bayesian theory which is immune to Glymour's criticisms.

Benacerraf’s 1965 multiple-reductions argument depends on what I call ‘deferential logicism’: his necessary condition for number-set identity is most plausible against a background Quineanism that allows autonomy of the natural number concept. Steinhart’s ‘folkist’ sufficient condition on number-set identity, by contrast, puts that autonomy at the center — but fails for not taking the folk perspective seriously enough. Learning from both sides, we explore new conditions on number-set identity, elaborating a suggestion from Wright.

I argue that a pragmatic scepticism about metaphysical modality is a perfectly reasonable position to maintain. I then illustrate the difficulties and limitations associated with some strategies for defeating such scepticism. These strategies appeal to associations between metaphysical modality and the following: objective probability, counterfactuals and distinctive explanatory value.

The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...) intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (shrink)

The aim of this chapter is to explore to some extent the relationship between identity and necessity in logic and metaphysics. First, I provide a historically-based summary of proofs of the necessity of identity, highlighting the importance of the role that self-identity plays. Second, I introduce two examples of metaphysical topics where the necessity of identity has played a pivotal role: the necessary a posteriori, and the coincidence of material objects. I argue that important aspects of these debates rest on (...) how we represent identity. Third, I consider some recent work on generalized identity. This opens up new prospects for explaining why identity is necessary. (shrink)

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).