The practice of thought experimentation plays a central role in contemporary philosophical methodology. Many philosophers rely on thought experimentation as their primary and even sole procedure for testing theories about the natures of properties and relations. This test procedure involves entertaining hypothetical cases in imaginative thought and then undergoing intuitions about the distribution of properties and relations in them. A theory’s comporting with an intuition is treated as evidence in favour of it; but a clash is treated as evidence against (...) the theory and may even be regarded as falsifying it. -/- The epistemic power of thought experimentation is mysterious. How can experiments carried out within the mind enable us to discover truths about the natures of properties and relations like knowledge, causation, personal identity, reference, meaning, consciousness, beauty, justice, morality, and free will? This epistemological challenge is urgent, but a model of philosophical thought experimentation would seem to be a necessary propaedeutic to any serious discussion of it. An adequate model would make the relevant test procedure explicit, thereby assisting in the identification of points of potential epistemic vulnerability. -/- In this monograph I advance the propaedeutical model-building work already done by Timothy Williamson, Anna-Sara Malmgren, and Jonathan Ichikawa and Benjamin Jarvis. Following the lead of these philosophers, I focus on a single Gettier-style thought experiment and the problem of identifying the real content of the Gettier intuition. My first contribution is to establish the inadequacy of all of the existing models. Each of them, I argue, fails to solve the content problem. It emerges from my discussion, however, that Ichikawa and Jarvis’s truth in fiction approach holds out the prospect of a solution. -/- My second contribution is to develop and defend a new way of implementing the general idea behind the truth in fiction approach. The model I put forward does a better overall job of modelling Gettier-style thought experiments than any of the existing models. It has none of the defects which render those models inadequate and Iam unable to find any major defects peculiar to it. This should make us feel confident that my model is adequate. Moreover, since the Gettier-style thought experiment I focus on is paradigmatic, we should also feel confident that my model will generalise naturally to other philosophical thought experiments. (shrink)

This book serves as a concise introduction to some main topics in modern formal logic for undergraduates who already have some familiarity with formal languages. There are chapters on sentential and quantificational logic, modal logic, elementary set theory, a brief introduction to the incompleteness theorem, and a modern development of traditional Aristotelian Logic.

This paper defends the thesis that counterfactuals are strict conditionals. Its purpose is to show that there is a coherent view according to which counterfactuals are strict conditionals whose antecedent is stated elliptically. Section 1 introduces the view. Section 2 outlines a response to the main argument against the thesis that counterfactuals are strict conditionals. Section 3 compares the view with a proposal due to Aqvist, which may be regarded as its direct predecessor. Sections 4 and 5 explain how the (...) view di ers from the theories of counterfactuals advocated by Stalnaker and Lewis, and from some contextualist strict conditional accounts of counterfactuals that have emerged recently. Finally, section 6 addresses the thorny issue of disjunctive antecedents. (shrink)

This paper develops a novel problem for representationalism (also known as "intentionalism"), a popular contemporary account of perception. We argue that representationalism is incompatible with supervaluationism, the leading contemporary account of vagueness. The problem generalizes to naive realism and related views, which are also incompatible with supervaluationism.

I give two arguments for the claim that all events which occur at the actual world and are such that they could be caused, are also such that they must actually be caused. The first argument is an improvement of a similar argument advanced by Alexander Pruss, which I show to be invalid. It uses Pruss’s Brouwer Analog for counterfactual logic, and, as a consequence, implies inconsistency with Lewis’s semantics for counterfactuals. While (I suggest) this consequence may not be objectionable, (...) the argument founders on the fact that Pruss’s Brouwer Analog has a clear counterexample. I thus turn to a second, “Lewisian” argument, which requires only an affirmation of one element of Lewis’s analysis of causation and one other, fairly weak possibility claim about the nature of wholly contingent events. The final section of the paper explains how both arguments escape objections from supposed indeterminacy in quantum physics. (shrink)

Recently, von Fintel (2001) and Gillies (2007) have argued that certain sequences of counterfactuals, namely reverse Sobel sequences, should motivate us to abandon standard truth conditional theories of counterfactuals for dynamic semantic theories. I argue that we can give a pragmatic account of our judgments about counterfactuals without giving up the standard semantics. In particular, I introduce a pragmatic principle governing assertability, and I use this principle to explain a variety of subtle data concerning reverse Sobel sequences.

Traditional procedures for rational updating fail when it comes to self-locating opinions, such as your credences about where you are and what time it is. This paper develops an updating procedure for rational agents with self-locating beliefs. In short, I argue that rational updating can be factored into two steps. The first step uses information you recall from your previous self to form a hypothetical credence distribution, and the second step changes this hypothetical distribution to reflect information you have genuinely (...) learned as time has passed. While the second step resembles traditional procedures of updating by conditionalization, the first is best understood by analogy to traditional models of how agents transmit self-locating opinions through ordinary interpersonal communication. (shrink)

This paper advances a version of the theory whereby logic had deep origins in democracy, by re-reading Gorgias’ Encomium of Helen. Democracy, ‘the government by debate’, called political (and scientific) attention to the inferential abilities of citizens and to politicians’ ability of taking advantage of them. Sophists, in particular, discovered that people’s inferences follow constant repeatable forms, that these forms have impact on choices and decisions concerning public good, and then by dominating them you dominate politics in democracy. With the (...) Encomium Gorgias launched these ideas, so laying the ground for Aristotle’s science of deduction. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

Recent analytic theology has seen a wave of excellent work on the fundamental problem of Christology, the question of how one and the same person can be human full stop and divine full stop. Along the way, new objections have been raised for a venerable family of Christological views, whose distinctive is the employment of qua-devices to dissolve the difficulties stemming from the dual nature doctrine of Chalcedon and its successors. My objective in this article is twofold. First, I propose (...) to lay out a hierarchy of principles that should guide the search for a Christological theory. I then use these principles to illuminate the best qua-theoretic approach to Christology. Finally, I argue that the best qua-theory is at worst on a par with major recent views. (shrink)

The PhD thesis advances a new approach to vagueness as dispersion, comparing it with the main philosophical theories of vagueness in the analytic tradition.

An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful items (e.g. names and concepts) are endowed (...) with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (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)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

Universal Generalization, if it is not the most poorly understood inference rule in natural deduction, then it is the least well explained or justified. The inference rule is, prima facie, quite ambitious: on the basis of a fact established of one thing, I may infer that the fact holds of every thing in the class to which the one belongs—a class which may contain indefinitely many things. How can such an inference be made with any confidence as to its validity (...) or ability to preserve truth from premise to conclusion? My goal in this paper is to explain how Universal Generalization works in a way that makes sense of its ability to preserve truth. In doing so, I shall review common accounts of Universal Generalization and explain why they are inadequate or are explanatorily unsatisfying. Happily, my account makes no ontological or epistemological presumptions and therefore should be compatible with whichever ontological or epistemological schemes the reader prefers. (shrink)

On its usual interpretation, the Barcan Formula—◊∃xBx → ∃x◊Bx—says that, if there could have been something that is such and such a way, then there is something that could have been that way. It is traditionally held that contingentist actualists should—indeed, must—reject the Barcan Formula. I argue that contingentist actualists should—indeed, must—endorse the Barcan Formula, at least assuming a standard, Tarskian conception of truth and truth preservation. I end by proposing a logic for contingentist actualists that validates the Barcan Formula. (...) This logic has the surprising feature of also validating the Converse Barcan Formula, □∀xBx → ∀x□Bx, while still invalidating related formulas—such as □∀x□∃y x=y (NNE)—that contingentist actualists should reject. It does this by employing models with fixed domains but assignments to the identity predicate that vary across worlds. (shrink)

In this paper, I propose and defend a pair of necessary conditions on evidence-based knowledge which bear resemblance to the troubled sensitivity principles defended in the philosophical literature. We can think of the traditional principles as simple but inaccurate approximations of the new proposals. Insofar as the old principles are intuitive and used in scientific and philosophical contexts, but are plausibly false, there’s a real need to develop precise and correct formulations. These new renditions turned out to be more cautious, (...) so they won’t be able to do everything the old principled promised they could. For example, they respect closure for knowledge. But these sober formulations, or something like them, might be the best that we can do with respect to sensitivity. And there’s value in understanding the limits to these types of principles. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...) realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)

Using quantitative methods, we investigate the role of logic in analytic philosophy from 1941 to 2010. In particular, a corpus of five journals publishing analytic philosophy is assessed and evaluated against three main criteria: the presence of logic, its role and level of technical sophistication. The analysis reveals that logic is not present at all in nearly three-quarters of the corpus, the instrumental role of logic prevails over the non-instrumental ones, and the level of technical sophistication increases in time, although (...) it remains relatively low. These results are used to challenge the view, widespread among analytic philosophers and labeled here “prevailing view”, that logic is a widely used and highly sophisticated method to analyze philosophical problems. (shrink)

On at least one of its uses, ‘higher-order evidence’ refers to evidence about what opinions are rationalized by your evidence. This chapter surveys the foundational epistemological questions raised by such evidence, the methods that have proven useful for answering them, and the potential consequences and applications of such answers.

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If A (...) were true then C would be true’ to ‘If A and B were true then C would be true’—which many reject. Second, the system they develop is provably equivalent to appending Deduction Theorem to a T modal logic. It is unsurprising that the combination of Deduction Theorem with T results in necessitation; indeed, it is precisely for this reason that many logicians reject Deduction Theorem in modal contexts. If Deduction Theorem is unacceptable for modal logic, it cannot be assumed to derive the necessity of mathematics. (shrink)

In this paper, I argue in favor of necessitarianism, the view that dispositions, when stimulated, necessitate their manifestations. After introducing and clarifying what necessitarianism does and does not amount to, I provide reasons to support the view that dispositions once stimulated necessitate their manifestations according to the stimulating conditions and the relevant properties at stake. In this framework, I will propose a principle of causal relevance and some conditions for the possibility of interference that allow us to avoid the use (...) of ceteris paribus clauses. I then defend necessitarianism from recent attacks raised by, among others, Mumford and Anjum, noting that the antecedent strengthening test is a test for causal relevance that raises no difficulties for necessitarianism. (shrink)

The notion of validity for modal languages could be defined in two slightly different ways. The first is the original definition given by S. Kripke, for which a formula φ of a modal language L is valid if and only if it is true in every actual world of every interpretation of L. The second is the definition that has become standard in most textbook presentations of modal logic, for which a formula φ of L is valid if and only (...) if it is true in every world in every interpretation of L. For simple modal languages, “Kripkean validity” and “Textbook validity” are extensionally equivalent. According to E. Zalta, however, Textbook validity is an “incorrect” definition of validity, because: (i) it is not in full compliance with Tarski’s notion of truth; (ii) in expressively richer languages, enriched by the actuality operator, some obviously true formulas count as valid only if the Kripkean notion is used. The purpose of this paper is to show that (i) and (ii) are not good reasons to favor Kripkean valid- ity over Textbook validity. On the one hand, I will claim that the difference between the two should rather be seen as the result of two different conceptions on how a modal logic should be built from a non-modal basis; on the other, I will show the advantages, for the question at issue, of seeing the actuality operator as belonging to the family of two-dimensional operators. (shrink)

Philosophers disagree whether composition as identity entails mereological universalism. Bricker :264–294, 2016) has recently considered an argument which concludes that composition as identity supports universalism. The key step in this argument is the thesis that any objects are identical to some object, which Bricker justifies with the principle of the universality of identity. I will spell out this principle in more detail and argue that it has an unexpected consequence. If the universality of identity holds, then composition as identity not (...) only leads us to universalism, but also leads to the view that there are no mereological atoms. (shrink)

Discusses recent work on representationalism, including: the case for a representationalist theory of consciousness, which explains consciousness in terms of content; rivals such as neurobiological type-type identity theory (Papineau, McLaughlin) and naive realism (Allen, Campbell, Brewer); John Campbell and David Papineau's recent objections to representationalism; the problem of the "laws of appearance"; externalist vs internalist versions of representationalism; the relation between representationalism and the mind-body problem.

This thesis investigates the conceptual relationship between laws of nature and free will. In order to clarify the discussion, I begin by distinguishing several questions with respect to the nature of a law: i) do the laws of nature cover everything that happens? ii) are they deterministic? iii) can there be exceptions to universal and deterministic laws? iv) do the laws of nature govern everything in the world? In order to answer these questions I look at three widely endorsed accounts (...) of laws: "Humean" regularity accounts, laws as relations among universals, and the dispositional essentialist account. I argue that there is nothing in the very nature of a law - in any of the accounts surveyed - that implies a positive answer to questions (i) and (ii). I show that this has important consequences for the free will problem. I then turn to the compatibility of free will and determinism. I focus on the Humean view and the dispositional essentialist account of laws. And the bulk of this discussion concerns the consequence argument, especially the question of whether the laws of nature are "up to us". I show that, on the dispositional conception of laws, there is no sense in which the laws of nature are up to us, contrary to the Humean view. However, this does not mean that there is no room for free will on the dispositional account. I argue that free will requires the laws of nature to be limited in scope, rather than being indeterministic. I conclude by showing that this allows one to resist the claim that indeterminism rules out free will. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

Truths require truthmakers, many think. In this paper I will discuss the scope of this requirement. Truthmaker maximalism is the claim that, necessarily, all truths require truthmakers. I shall argue against this claim. I shall argue against it on the basis of its implications. I shall first consider its implications when applied to synthetic, contingent propositions. If the truthmaker requirement applies to these propositions, so I shall argue, it is not possible for there to be nothing, and it is not (...) possible for any (possibly) accompanied entity to exist on its own. I shall then consider its implications when applied to modal propositions, specifically those concerning possible existence. I shall argue that if the truthmaker requirement applies to such propositions, then there can be no relation which is equivalent to metaphysical explanation, which – I shall suggest – amounts to a denial of the existence of grounding. (shrink)

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

I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified (...) only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

The view that actually has a reading on which it is a two-dimensional indexical modal operator has some problems.

The Oxford Handbook of the Philosophy of Consciousness provides the most comprehensive overview of current philosophical research on consciousness. Featuring contributions from some of the most prominent experts in the field, it explores the wide range of types of consciousness there may be, the many psychological phenomena with which consciousness interacts, and the various views concerning the ultimate relationship between consciousness and physical reality. It is an essential and authoritative resource for anyone working in philosophy of mind or interested in (...) states of consciousness. (shrink)

It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by attention (...) to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility and modal monism ; we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone and Davies and Humberstone ; our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic. (shrink)

El estudio actual de la argumentación se encuentra distanciado de la lógica. En este artículo sostengo que restaurar el vínculo del estudio de la argumentación con esta disciplina podría resultar benéfico para la metas descriptivas y normativas de este campo de investigación. Tras destacar algunos aspectos del surgimiento la teoría de la argumentación contemporánea, enfatizando la idea de "perspectivas", explico cómo el reconocimiento de sus objetivos y tareas volvió problemática la coexistencia de varios enfoques o aproximaciones para el estudio de (...) la realidad argumentativa. Sugiero algunas hipótesis explicativas sobre el abandono del enfoque lógico en favor de otras alternativas y, a continuación, ofrezco razones para encauzar el estudio sistemático de la argumentación desde este enfoque. Además de las consideraciones normativas y las herramientas descriptivas que pueden aducirse en su favor, sostengo que el enfoque lógico puede proporcionar una clase de integración a este campo investigación de maneras que no están disponibles para otras aproximaciones. (shrink)

The paper proposes a solution to the problem of counterfactuals, building on both Rescher’s epistemic and Tichý’s semantic approaches. The core of the proposed solution is the thesis that when expressing a true counterfactual, the speaker assumes a set of background indicative premises as an implicit parameter. When added tacitly to an unreal antecedent, these premises entail the consequent logically or analytically. We draw a distinction between a potentially unreal and an absolutely unreal condition expressed in the antecedent. We view (...) counterfactuals with a positive time vector and an absolute unreal condition as abbreviated deductive retrodictions. Similarly, we consider counterfactuals with a potentially unreal condition to be abbreviated deductive predictions. In a similar manner, we also explain the truth (falsity) of vacuously true counterpossibles or counterpossible conditionals. In the second part, we discuss the enigmatic backtracking counterfactuals. We propose that their negative time direction is due to their being abductive retrodictions, i.e., explanations of unreal effects based on possible causes in which the conditions remain tacit or unexpressed. The backtracking temporal direction of counterfactual abductive retrodictions is in accordance with the thesis on the positive temporal direction from cause to effect. Thus, we demonstrate that in order to explain backtracking counterfactuals, there is no need to assume violations of laws of nature or a special logic. What we need to do is to take into account the third parameter, i.e., a set of tacit or unexpressed additional propositions, as well as the principle of ceteris paribus as the background. (shrink)

In his Formal Logic, Arthur N. Prior declared that Jan Łukasiewicz's logical notation is ‘unquestionably the best logical symbolism for most purposes’. Whether he had a substantive, and...

The idea that sentences can be closer or further apart in meaning is highly intuitive. Not only that, it is also a pillar of logic, semantic theory and the philosophy of science, and follows from other commitments about similarity. The present paper proposes a novel way of comparing the ‘distance’ between two pairs of propositions. We define ‘\ is closer in meaning to \ than \ is to \’ and thereby give a precise account of comparative propositional similarity facts. Notably, (...) our definition eschews metric assumptions, which are unrealistic in most applications of interest. (shrink)

Mathematical models and their modeling frameworks developed to advance knowledge in one discipline are sometimes sourced to answer questions or solve problems in another discipline. Studying this aspect of cross-disciplinary transfer of knowledge objects, philosophers of science have weighed in on the question of whether knowledge about how a mathematical model is previously applied in one discipline is necessary for the success of reapplying said model in a different discipline. However, not much has been said about whether the answer to (...) that epistemological question applies to the reapplication of a modeling framework. More generally, regarding the nature of the production of knowledge in science, a metaphysical question remains to be explored whether historical contingencies associated with a mathematical construct have a genuine impact on the nature—as opposed to sociological practices or individual psychology—of advancing scientific knowledge with said construct. Focusing on this metaphysical question, this paper analyzes the use of mathematical logic in the development of the Chomsky hierarchy and subsequent reapplications of said hierarchy; with these examples, this paper develops the notion of “spillovers” as a way to detect cross-disciplinary justifications for better understanding the relations between reapplications of the same mathematical construct across disciplines. (shrink)

Two-dimensional semantics, which can represent the distinction between a priority and necessity, has wielded considerable influence in the philosophy of language. In this paper, I axiomatize the dagger operator of Stalnaker’s “Assertion” in the formal context of two-dimensional modal logic. The language contains modalities of actuality, necessity, and a priority, but is also able to represent diagonalization, a conceptually important operation in a variety of contexts, including models of the relative a priori and a posteriori often appealed to Bayesian and (...) Gricean contexts. Finally, I sketch the prospects for extending this two-dimensional upgrade to other kinds of modal logics for natural language. (shrink)

Theodore Sider’s puzzle in Hell and Vagueness has generated some interesting responses in the past few years. In this paper, I explore yet another possible solution out of the conundrum. This solution implies three ways of denying a binary conception of the afterlife. I argue that while these solutions might first seem tenable, they might still succumb to a Sideresque revenge puzzle.

This paper focuses on two interrelated issues about the prospects for research projects in experimental philosophical logic. The first issue is about the role that logic plays in such projects; the second involves the role that experimental results from the cognitive sciences play in them. I argue that some notion of logic plays a crucial role in these research projects, and, in turn, the results of these projects might inform substantive debates in the philosophy of logic.

The purpose of this paper is to explore the issue of how the validity of the parallel inference is possible in view of its deep semantic-syntactic structure. I fi...

The relation between Kant’s conception of modalities in the Postulates of Empirical Thought and Hegel’s conception in the Logic of Essence has not been addressed in the current scholarship. I argue that there is in fact a close connection that becomes visible if the desideratum which is implied by Kant’s conceptions is understood. Thus, after an analysis of the Kantian modal postulates, the article shows that they are sufficient to characterize the necessity of Kant’s Grundsätze and, hence, a specific form (...) of synthetic propositions a priori. However, I will prove that they are insufficient to characterize Kant’s synthetic propositions a priori about transcendental philosophy. This insufficiency in the characterization of transcendental philosophy itself brings into the arena Hegel, who supplements the Kantian modalities with a self-reflexive form of transcendental modality. (shrink)