This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

I argue that code words like “inner city” do not semantically encode hidden or implicit meanings, and offer an account of how they nonetheless manage to bring about the surprising effects discussed in Mendelberg 2001, White 2007, and Stanley 2015 (among others).

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

We provide a taxonomy of the two most important debates in the philosophy of the cognitive and neural sciences. The first debate is over methodological individualism: is the object of the cognitive and neural sciences the brain, the whole animal, or the animal--environment system? The second is over explanatory style: should explanation in cognitive and neural science be reductionist-mechanistic, inter-level mechanistic, or dynamical? After setting out the debates, we discuss the ways in which they are interconnected. Finally, we make some (...) recommendations that we hope will help philosophers interested in the cognitive and neural sciences to avoid dead ends. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

in april 1933, two bright young Ph.D.s were elected to the Harvard Society of Fellows: the psychologist B. F. Skinner and the philosopher/logician W. V. Quine. Both men would become among the most influential scholars of their time; Skinner leads the "Top 100 Most Eminent Psychologists of the 20th Century," whereas philosophers have selected Quine as the most important Anglophone philosopher after the Second World War.1 At the height of their fame, Skinner and Quine became "Edgar Pierce twins"; the latter (...) obtaining the endowed chair at Harvard's department of philosophy, the former taking up the position at Harvard's psychology department.2Besides these biographical parallels, there also... (shrink)

This paper examines the strengths and weaknesses of one of science's most pervasive and flexible metaprinciples;optimalityis used to explain utility maximization in economics, least effort principles in physics, entropy in chemistry, and survival of the fittest in biology. Fermat's principle of least time involves both teleological and causal considerations, two distinct modes of explanation resting on poorly understood psychological primitives. The rationality heuristic in economics provides an example from social science of the potential biases arising from the extreme flexibility of (...) optimality considerations, including selective search for confirming vidence, ex post rationalization, and the confusion of prediction with explanation. Commentators are asked to reflect on the extent to which optimality is an organizing principle of nature, a set of relatively unconnected techniques of science, a normative principle for rational choice and social organization, a metaphysical way of looking at the world, or something else still. (shrink)

The article deals with the interpretation of propositional attitudes in the framework of modal predicate logic. The first part discusses the classical puzzles arising from the interplay between propositional attitudes, quantifiers and the notion of identity. After comparing different reactions to these puzzles it argues in favor of an analysis in which evaluations of de re attitudes may vary relative to the ways of identifying objects used in the context of use. The second part of the article gives this analysis (...) a precise formalization from a model-and proof-theoretic perspective. (shrink)

The articulation of an overarching account of scientific explanation has long been a central preoccupation for the philosophers of science. Although a while ago the literature was dominated by two approaches—a causal account and a unificationist account—today the consensus seems to be that the causal account has won. In this paper, I challenge this consensus and attempt to revive unificationism. More specifically, I aim to accomplish three goals. First, I add new criticisms to the standard anti-unificationist arguments, in order to (...) motivate the need for a revision of the doctrine. Second, and most importantly, I sketch such a revised version. Then I argue that, contrary to widespread belief, the causal account and this revised unificationist account of explanation are compatible. Moreover, I also maintain that the unificationist account has priority, since a most satisfactory theory of explanation can be obtained by incorporating the causal account, as a sub-component of the unificationist account. The driving force behind this reevaluation of the received view in the philosophy of explanation is a reconsideration of the role of scientific understanding. (shrink)

According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed by Quine. This proposal faces (...) a difficult objection, according to which any theory in predicate functorese will be a notational variant of the corresponding theory stated in standard predicate logic. Jason Turner (2011) has provided the most detailed and convincing version of this objection. In the present paper, I argue that Turner's case for the notational variance thesis relies on a faulty metasemantic principle and, consequently, that an objection long thought devastating is in fact misguided. (shrink)

Quine is routinely perceived as saving metaphysics from Carnapian positivism. Where Carnap rejects metaphysical existence claims as meaningless, Quine is taken to restore their intelligibility by dismantling the former’s internal–external distinction. The problem with this picture, however, is that it does not sit well with the fact that Quine, on many occasions, has argued that metaphysical existence claims ought to be dismissed. Setting aside the hypothesis that Quine’s metaphysical position is incoherent, one has to conclude that his views on metaphysics (...) are subtler than is often presupposed; both the received view that Quine saved metaphysics and the opposite view that Carnap and Quine are on the same anti-metaphysical team seem too one-sided if we take seriously Quine’s own pronouncements on the issue. In this paper, I offer a detailed reconstruction of Quine’s perspective on metaphysical existence claims. Scrutinizing his published work as well as unpublished papers, letters, and notebooks, I show how Quine is able to both blur the boundary between scientific sense and metaphysical nonsense and to argue that we cannot ask what reality is really like in a distinctively philosophical way. I argue that although Quine’s position is much closer to Carnap’s than the received view suggests, it still differs in two crucial respects. (shrink)

Probabilistic realism and syntactical positivism were two among outdated theories that Feigl criticised on account of their semantical poverty. In this paper, I argue that a refined version of probabilistic realism, which relies on what Feigl specified as the pragmatic description of the symbolic behaviour of scientists’ estimations and foresight, is defendable. This version of statistical realism does not need to make the plausibility of realist thesis dependent on the conventional acceptance of a constructed semantic metalanguage. I shall rely on (...) the Prediction Error Minimisation theory to support my probabilistic version of realism with a scientifically-informed and naturalistically plausible statistical account of the theories-world relationship which has a pragmatic ring to it. (shrink)

This paper advocates a dispositional account of innate cognitive capacities, which has an illustrious history from Plato to Chomsky. The "triggering model" of innateness, first made explicit by Stich ([1975]), explicates the notion in terms of the relative informational content of the stimulus (input) and the competence (output). The advantage of this model of innateness is that it does not make a problematic reference to normal conditions and avoids relativizing innate traits to specific populations, as biological models of innateness are (...) forced to do. Relativization can be avoided in the case of cognitive capacities precisely because informational content is involved. Even though one cannot measure output relative to input in a precise way, there are indirect and approximate ways of assessing the degree of innateness of a specific cognitive capacity. (shrink)

Van Fraassen does not argue that everyone should be a constructive empiricist. He claims only that constructive empiricism (CE) is a coherent post-positivist alternative to realism, notwithstanding the realist's charge that CE is arbitrary and irrational. He does argue, however, that the empiricist is obliged to limit belief as CE prescribes. Criticism of CE has been largely directed at van Fraassen's claim that CE is a coherent option. Far less attention has been directed at his claim that empiricists should be (...) constructive empiricists. I consider his various attempts to support this claim, conclude that they are unsuccessful, and suggest that the empiricist who repudiates CE does not thereby abandon contemporary empiricism itself. (shrink)

W. V. Quine’s first philosophical monograph, Word and Object, is widely recognized as one of the most influential books of twentieth century philosophy. Notes, letters, and draft manuscripts at the Quine Archives, however, reveal that Quine was already working on a philosophical book in the early 1940s; a project entitled Sign and Object. In this paper, I examine these and other unpublished documents and show that Sign and Object sheds new light on the evolution of Quine’s ideas. Where “Two Dogmas (...) of Empiricism” is usually considered to be a turning point in Quine’s development, this paper redefines the place of ‘Two Dogmas’ in his oeuvre. Not only does Quine’s book project reveal that his views were already fairly naturalistic in the early 1940s ; Sign and Object also unearths the steps Quine had to take in maturing his perspective; steps that will be traced in the second half of this paper. (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)

At least since W. V. O. Quine's famous critique of the analytic/synthetic distinction, philosophers have been deeply divided over whether there are any analytic truths. One line of thought suggests that the simple fact that people have ' intuitions of analyticity' might provide an independent argument for analyticities. If defenders of analyticity can explain these intuitions and opponents cannot, then perhaps there are analyticities after all. We argue that opponents of analyticity have some unexpected resources for explaining these intuitions and (...) that, accordingly, the argument from intuition fails. (shrink)

The phenomenon of quantification into attitude ascriptions has haunted broadly Fregean views, according to which co-referential proper names are not always substitutable salva veritate in attitude ascriptions. Opponents of Fregeanism argue that a belief ascription containing a proper name such as ‘Michael believes that Lindsay is charitable’ is equivalent to a quantified sentence such as ‘there is someone such that Michael believes that she is charitable, and that person is Lindsay’. They conclude that the semantic contribution of a name such (...) as ‘Lindsay’ is the same as the semantic contribution of a variable under an assignment, which these opponents suggest is merely the object assigned to that variable. However, renewed interest in variables suggests that they make a more complicated contribution to the semantic processing of sentences that contain them. In particular, a variable contributes both an assignment-unsaturated and an assignment-saturated semantic value. I use this dual role of the semantics of variables to develop a response to the argument from quantifying in. I take as my point of departure Cumming's () view that an attitude ascription relates the subject of an attitude to the assignment-unsaturated semantic value of an open sentence. I argue that this approach fails. I propose an alternative, according to which the truth of a belief ascription depends on both the assignment-saturated and the assignment-unsaturated semantic value of the open sentence in its that-clause. This approach reverses standard assumptions concerning the relation between quantification and substitution. (shrink)

Quine's metaphilosophical naturalism is often dismissed as overly “scientistic.” Many contemporary naturalists reject Quine's idea that epistemology should become a “chapter of psychology” and urge for a more “liberal,” “pluralistic,” and/or “open-minded” naturalism instead. Still, whenever Quine explicitly reflects on the nature of his naturalism, he always insists that his position is modest and that he does not “think of philosophy as part of natural science”. Analyzing this tension, Susan Haack has argued that Quine's naturalism contains a “deep-seated and significant (...) ambivalence”. In this paper, I argue that a more charitable interpretation is possible—a reading that does justice to Quine's own pronouncements on the issue. I reconstruct Quine's position and argue that Haack and Quine, in their exchanges, have been talking past each other and that once this mutual misunderstanding is cleared up, Quine's naturalism turns out to be more modest, and hence less scientistic, than many contemporary naturalists have presupposed. I show that Quine's naturalism is first and foremost a rejection of the transcendental. It is only after adopting a broadly science-immanent perspective that Quine, in regimenting our language, starts making choices that many contemporary philosophers have argued to be unduly restrictive. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)

ABSTRACT Michael Rescorla has argued that it makes sense to compute directly with numbers, and he faulted Turing for not giving an analysis of number-theoretic computability. However, in line with a later paper of his, it only makes sense to compute directly with syntactic entities, such as strings on a given alphabet. Computing with numbers goes via notation. This raises broader issues involving de re propositional attitudes towards numbers and other non-syntactic abstract entities.

The paper is concerned with Quine's substitutional account of logical truth. The critique of Quine's definition tends to focus on miscellaneous odds and ends, such as problems with identity. However, in an appendix to his influential article On Second Order Logic, George Boolos offered an ingenious argument that seems to diminish Quine's account of logical truth on a deeper level. In the article he shows that Quine's substitutional account of logical truth cannot be generalized properly to the general concept of (...) logical consequence. The purpose of this paper is threefold: first, to introduce the reader to the metamathematics of Quine's substitutional definition of logical truth; second, to make Boolos' result accessible to a broader audience by giving a detailed and self-contained presentation of his proof; and, finally, to discuss some of the possible implications and how a defender of the Quinean concepts might react to the challenge posed by Boolos' result. (shrink)

We discuss some recent work by Tim Maudlin concerning Black Hole Information Loss. We argue, contra Maudlin, that there is a paradox, in the straightforward sense that there are propositions that appear true, but which are incompatible with one another. We discuss the significance of the paradox and Maudlin's response to it.

Contemporary analytic philosophy is dominated by metaphilosophical naturalism, the view that philosophy ought to be continuous with science. This naturalistic turn is for a significant part due to the work of W. V. Quine. Yet, the development and the reception of Quine’s naturalism have never been systematically studied. In this paper, I examine Quine’s evolving naturalism as well as the reception of his views. Scrutinizing a large set of unpublished notes, correspondence, drafts, papers, and lectures as well as published responses (...) to Quine’s work, I show how both internal tensions and external criticisms forced him to continuously develop, rebrand, and refine his metaphilosophy before he explicitly decided to label his view ‘naturalism’ in the late 1960s. (shrink)

Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. Using (...) Gärdenfors and Makinson's logic of belief revision based on epistemic entrenchment, we argue that Katz wrongly assumes that the constitutive principles are *statements* within a holistic empiricist's theory of the world. Instead, we show that constitutive principles are best seen as *properties* of a holistic empiricist's theory of scientific inquiry and we submit that, without Katz's mistaken assumption, the paradox cannot be formulated. We argue that our perspective on the status of constitutive principles is perfectly in line with Quinean orthodoxy. In conclusion, we compare our findings with van Fraassen's [2002] argument that we should think of empiricism as a stance, rather than as a doctrine. (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)

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)

A cursory glance at the list of Nobel Laureates for Economics is sufficient to confirm Stanovich’s description of the project to evaluate human rationality as seminal. Herbert Simon, Reinhard Selten, John Nash, Daniel Kahneman, and others, were awarded their prizes less for their work in economics, per se, than for their work on rationality, as such. Although philosophical works have for millennia attempted to describe, explicate and evaluate individual and collective aspects of rationality, new impetus was brought to this endeavor (...) over the last century as mathematical logic along with the social and behavioral sciences emerged. Yet more recently, over the last several decades, propelled by the emergence of artificial intelligence, cognitive science, evolutionary psychology, neuropsychology, and related fields, even more sophisticated approaches to the study of rationality have emerged. (shrink)

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

Millians about proper names typically claim that it is knowable apriori that Hesperus is Phosphorus. We argue that they should claim instead that it is knowable only aposteriori that Hesperus is Hesperus, since the Kripke-Putnam epistemic arguments against descriptivism are special cases of Quinean arguments that nothing is knowable apriori, and Millians have no resources to resist the more general Quinean arguments.

While Quine’s linguistic behaviorism is well-known, his Kant Lectures contain one of his most detailed discussions of behaviorism in psychology and the philosophy of mind. Quine clarifies the nature of his psychological commitments by arguing for a modest view that is against ‘excessively restrictive’ variants of behaviorism while maintaining ‘a good measure of behaviorist discipline…to keep [our mental] terms under control’. In this paper, I use Quine’s Kant Lectures to reconstruct his position. I distinguish three types of behaviorism in psychology (...) and the philosophy of mind: ontological behaviorism, logical behaviorism, and epistemological behaviorism. I then consider Quine’s perspective on each of these views and argue that he does not fully accept any of them. By combining these perspectives we arrive at Quine’s surprisingly subtle view about behaviorism in psychology. (shrink)

I consider the well-known criticism of Quine's characterization of first-order logical truth that it expands the class of logical truths beyond what is sanctioned by the model-theoretic account. Briefly, I argue that at best the criticism is shallow and can be answered with slight alterations in Quine's account. At worse the criticism is defective because, in part, it is based on a misrepresentation of Quine. This serves not only to clarify Quine's position, but also to crystallize what is and what (...) is not at issue in choosing the model-theoretic account of first-order logical truth over one in terms of substitutions. I conclude by highlighting the need for justifying the belief that the definition of first-order logical truth in terms of models is superior to its definition in terms of substitutions. (shrink)

ABSTRACTThe paper compares Mead’s and Quine’s behaviouristic theories of meaning and language, focusing in particular on Mead’s notion of sympathy and Quine’s notion of empathy. On the one hand, Quine seems to resort to an explanation similar to Mead’s notion of sympathy, referring to ‘empathy’ in order to justify the human ability to project ourselves into the witness’s position; on the other hand, Quine’s reference to the notion of empathy paves the way to a more insightful comparison between Mead’s behaviourism (...) and an explanation of the emergence of the linguistic from pre-linguistic communication based on empathic identification processes. However, Mead is less ambiguous than Quine in his use of the notion of sympathy finds a fecund parallel in the current neuroscientific and neuro-phenomenological hypothesis on ‘empathy’. The article contends that the ambiguity in Quine’s account of empathy is due to the exigency of trying to elucidate the link between the rules of language in a cultural context and... (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)

Quine's views on ontology and naturalism are well-known but rarely considered in tandem. According to my interpretation the connection between them is vital. I read Quine as a global epistemic structuralist. Quine thought we only ever know objects qua solutions to puzzles about significant intersections in observations. Objects are always accessed descriptively, via their roles in our best theory. Quine's Kant lectures contain an early version of epistemic structuralism with uncharacteristic remarks about the mental. Here Quine embraces mitigated anomalous monism, (...) allowing introspection and the availability in principle of full physical descriptions of the perceptual states which get science off the ground. Later versions abandon these ideas. My epistemic-structural interpretation explains why. I argue first-personal introspective access to mental states is incompatible with global epistemic structuralism. (shrink)

The Löwenheim-Hilbert-Bernays theorem states that, for an arithmetical first-order language L, if S is a satisfiable schema, then substitution of open sentences of L for the predicate letters of S...

Divine necessity is the thesis that God must exist. In this paper, I give a brief survey of what the thesis is more exactly, the main arguments for it, and the main arguments against it.

In the predicate calculus, variables provide a flexible indexing service which selects the actual arguments to a predicate letter from among possible arguments that precede the predicate letter (in the parse of the formula). In the process of selection, the possible arguments can be permuted, repeated (used more than once), and skipped. If this service is withheld, so that arguments must be the immediately preceding ones, taken in the order in which they occur, the formula is said to be fluted. (...) Quine showed that if a fluted formula contains only homogeneous conjunction (conjoins only subformulas of equal arity), then the satisfiability of the formula is decidable. It remained an open question whether the satisfiability of a fluted formula without this restriction is decidable. This paper answers that question. (shrink)

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)

The happy fish episode from the outer chapters of the Zhuangzi poses enormous difficulty for interpreters. While it may appear to surprisingly resemble the dialectic in Western philosophy, any attempt to analyse it in terms of the patterns of inference familiar to the West is often frustrated by the ostensible queerness that defies such treatment. The following examination of the dialogue in the episode is intended to address the difficulty and to provide a reasoned explanation for both the surface resemblance (...) and apparent queerness. I suggest that the dialogue becomes perfectly intelligible, if it is read against the backdrop of the disputations practiced in ancient China. My contention is that the real purpose of the dialogue is to expose the fundamental unreliability of the logic of the disputers by means of the logic itself. (shrink)

In this article, I analyze Quine’s conception of science, which is a radical defence of extensionalism on the grounds that first‐order logic is the most adequate logic for science. I examine some criticisms addressed to it, which show the role of modalities and probabilities in science and argue that Quine’s treatment of probability minimizes the intensional character of scientific language and methods by considering that probability is extensionalizable. But this extensionalizing leads to untenable results in some cases and is not (...) consistent with the fact that Quine himself admits confirmation which includes probability. Quine’s extensionalism does not account for this fact and then seems unrealistic, even if science ought to be extensional in so far as it is descriptive and mathematically expressible. (shrink)

According to the article, Neurath's reflexive epistemology—expressed by the metaphor of the ship in need of reconstruction on the open sea—represents a philosophical alternative to the classical and contemporary forms of scientific realism and ethical cognitivism, including Popper's falsificationism. Against Quine's reductive interpretation of Neurath's boat argument as the basis for a 'naturalized epistemology,' the article maintains that the metaphor suggests the idea of an insuperable situation of linguistic and conceptual circularity. This prevents any attempt at self-foundation in scientific knowledge, (...) as well as in ethics and politics, and rules out any 'constructive philosophy' aiming to break circularity in pursuit of some methodological beginning. (shrink)