The paper challenges Williamson’s safety based explanation for why we cannot know the cut-off point of vague expressions. We assume throughout (most of) the paper that Williamson is correct in saying that vague expressions have sharp cut-off points, but we argue that Williamson’s explanation for why we do not and cannot know these cut-off points is unsatisfactory. -/- In sect 2 we present Williamson's position in some detail. In particular, we note that Williamson's explanation relies on taking a particular safety (...) principle ('Meta-linguistic belief safety' or 'MBS') as a necessary condition on knowledge. In section 3, we show that even if MBS were a necessary condition on knowledge, that would not be sufficient to show that we cannot know the cut-off points of vague expressions. In section 4, we present our main case against Williamson's explanation: we argue that MBS is not a necessary condition on knowledge, by presenting a series of cases where one's belief violates MBS but nevertheless constitutes knowledge. In section 5, we present and respond to an objection to our view. And in section 6, we briefly discuss the possible directions a theory of vagueness can take, if our objection to Williamson's theory is taken on board. (shrink)

What is the relation between meaning and use? This chapter first defends a non-reductionist understanding of Wittgenstein’s suggestion that ‘the meaning of a word is its use in the language’; facts about meaning cannot be reduced to, or explained in terms of, facts about use, characterized non-semantically. Nonetheless, it is contended, facts about meaning do supervene on non-semantic facts about use. That supervenience thesis is suggested by comments of Wittgenstein’s and is consistent with his view of meaning and rule-following. Semantic (...) supervenience is then defended against two criticisms: first, John McDowell’s suggestion that the supervenience thesis falsifies the epistemology of meaning and fails to accommodate common-sense truths about meaning; second, a series of counter-examples proposed by Stephen Kearns and Ofra Magidor, who argue that worlds may differ semantically without differing non-semantically. It is argued that neither criticism is convincing: we should accept the thesis that semantic facts supervene on non-semantic facts. (shrink)

It is common belief that semantic properties supervene on non-semantic properties: no two possible worlds can be non-semantic duplicates and fail to be semantic duplicates. The view enjoys somewhat of an orthodoxy status in contemporary philosophy of language and metaphysics, and is often assumed without argument. Yet, work by Stephen Kearns and Ofra Magidor has claimed that it is vulnerable to a variant of the classical arguments against the supervenience of the phenomenal on the physical. This paper does (...) three things: it clarifies what semantic supervenience is about, it responds to the objections that have been leveled against it, and provides a new battery of arguments in its favor. I argue that the thesis of semantic supervenience is safe from classical anti-supervenience arguments, and show that its rejection generates unwelcome consequences. I conclude that there are substantial reasons to embrace the received wisdom: semantic properties supervene. (shrink)

This article looks at the strong links between Deleuze's molecular ontology and the fields of complexity and emergence, and argues that Deleuze's work implies a ‘philosophy of technology’ that is both open and dynamic. Following Simondon and von Uexküll, Deleuze suggests that technical objects are ontologically unstable, and are produced by processes of individuation and self-organization in complex relations with their environment. For Deleuze design is not imposed from without, but emerges from within matter. The fundamental departure for Deleuze, on (...) the basis of such an ontology, is to conceive of modes of relating to the evolution of technology. In this way Deleuze, along with Guattari, provides the basis for an ethics and a politics of becoming and emergent control that constitutes an alternative to the hubris of contemporary reductionist accounts of new areas such as nanotechnology. (shrink)

In my book Category Mistakes, I discuss a range of potential accounts of category mistakes and defend a pragmatic, presuppositional account of the phenomenon. Three commentators discuss the book: Márta Abrusán focuses on a comparison between my book and Asher’s Lexical Meaning in Context, suggesting that Asher’s theory has the advantage of accounting not only for category mistakes, but also for additional phenomena such as so-called ‘coertion’ and ‘co-predication’. I argue that Asher’s account of all three phenomena is deficient, and, (...) moreover, that it is far from clear that the latter two phenomena are related to that of category mistakes. James Shaw challenges two of my arguments against the MBT view. I respond to these challenges. Paul Elbourne provides a novel argument in support of my account of category mistakes, involving multi-sentence discourses and ERP experiments. I show that it is not entirely straightforward for my account to explain this data, but that his argument does ul... (shrink)

In Hawthorne and Magidor 2009, we presented an argument against Stalnaker’s meta-semantic framework. In this paper we address two critical responses to our paper: Stalnaker 2009, and Almotahari and Glick 2010. Sections 1–4 are devoted to addressing Stalnaker’s response and sections 5–8 to addressing Almotahari and Glick’s. We pay special attention (Sect. 2) to an interesting argument that Stalnaker offers to bolster the transparency of presupposition (an argument that, if successful, could also form the basis of a defence of (...) the KK principle). (shrink)

This paper explores Church's Thesis and related claims madeby Turing. Church's Thesis concerns computable numerical functions, whileTuring's claims concern both procedures for manipulating uninterpreted marksand machines that generate the results that these procedures would yield. Itis argued that Turing's claims are true, and that they support (the truth of)Church's Thesis. It is further argued that the truth of Turing's and Church'sTheses has no interesting consequences for human cognition or cognitiveabilities. The Theses don't even mean that computers can do as much (...) as peoplecan when it comes to carrying out effective procedures. For carrying out aprocedure is a purposive, intentional activity. No actual machine does, orcan do, as much. (shrink)

Hawthorne and Magidor's criticisms of the model of presupposition and assertion that I have used and defended are all based on a rejection of some transparency or introspection of assumptions about speaker presupposition. This response to those criticisms aims first to clarify, and then to defend, the required transparency assumptions. It is argued, first, that if the assumptions are properly understood, some prima facie problems for them do not apply, second, that rejecting the assumptions has intuitively implausible consequences, and (...) third, that the 'margin of error' argument against the principle of positive introspection has a false premiss. The paper concludes with a response to a criticism of what Hawthorne and Magidor call 'the uniformity principle' that is used in the model to explain some pragmatic phenomena. (shrink)

1. IntroductionSuch is the depth and breadth of Peter van Inwagen’s philosophical output, one must pick and choose which topics to cover when editing a book exploring the philosophical themes touched upon in his work. In Being, Freedom and Method,1 John Keller has brought together several excellent philosophers to explore four such themes – being, freedom, method, and God (the last of which doesn’t make it into the title of the book, perhaps because doing so would violate the rule that (...) the title of a work of analytic philosophy must list exactly three things). Keller does a fine job of covering many of the topics that have interested van Inwagen over the years, but he cannot cover them all (I am most sad to see no substantive treatment of van Inwagen’s work on composition and mereology). Van Inwagen, in his afterword, also finds it necessary to pick and choose which papers he responds to – he addresses only seven of the sixteen papers in the book. I too must pick and choose. In what follows, I shall briefly describe the contents of the book, then make more substantive comments on some of the papers (those about which I think I have something interesting to say). (shrink)

Epistemic externalism offers one of the most prominent responses to the sceptical challenge. Externalism has commonly been interpreted as postulating a crucial asymmetry between the actual-world agent and their brain-in-a-vat counterpart: while the actual agent is in a position to know she is not envatted, her biv counterpart is not in a position to know that she is envatted, or in other words, only the former is in a position to know whether or not she is envatted. In this paper, (...) I argue that there is in fact no such asymmetry: assuming epistemic externalism, both the actual world agent and their biv counterpart are in a position to know whether or not they are envatted. After an introduction, I present the main argument. I examine to what extent the argument survives when one accepts additional externalist-friendly commitments: semantic externalism, a sensitivity condition on knowledge, and epistemic contextualism. Finally, I discuss the implications of my conclusion to a variety of debates in epistemology. (shrink)

In this paper, we respond to a critique by Erik Thorstensen of the ‘Deepening Ethical Engagement and Participation in Emerging Nanotechnologies’ project concerning its ‘realist’ treatment of narrative, its restricted analytical framework and resources, its apparent confusion in focus and its unjustified contextualisation and overextension of its findings. We show that these criticisms are based on fairly serious misunderstandings of the DEEPEN project, its interdisciplinary approachand its conceptual context. Having responded to Thorstensen’s criticisms, we take the opportunity to clarify and (...) develop our approach to narrative. We articulate the need for novel, theoretically robust approaches to the formation of public attitudes which transcend the limitations of both survey-based approaches—which remain wedded to methodological individualism and which presume that individuals hold distinct and relatively stable attitudes and preferences—and interactionist approaches to public talk, which focus too strongly on individuals-in-interaction as reasoning agents and which ignore the constitutive role of culture and discourse in the formation of public opinion. We suggest that our use of narrative can help to better understand the process through which public attitudes to emerging technology develop out of interactive an engagement with wider cultural arguments and accounts of science and technology. We finish by pointing to parallel developments in social thought—from Charles Taylor’s treatment of social imaginaries to recent developments in post-Bourdieuian cultural sociology—as related projects in understanding the cultural resources and grammars that provide the conceptual infrastructure for modern social life. (shrink)

This paper consists of two parts. The first concerns the logic of vagueness. The second concerns a prominent debate in metaphysics. One of the most widely accepted principles governing the ‘definitely’ operator is the principle of Distribution: if ‘p’ and ‘if p then q’ are both definite, then so is ‘q’. I argue however, that epistemicists about vagueness should reject this principle. The discussion also helps to shed light on the elusive question of what, on this framework, it takes for (...) a sentence to be borderline or definite. In the second part of the paper, I apply this result to a prominent debate in metaphysics. One of the most influential arguments in favour of Universalism about composition is the Lewis-Sider argument from vagueness. An interesting question, however, is whether epistemicists have any particular reasons to resist the argument. I show that there is no obvious reason why epistemicists should resist the argument but there is a non-obvious one: the rejection of Distribution argued for in the first part of the paper provides epistemicists with a unique way of resisting the argument from vagueness. (shrink)

This presentation of a system of propositional logic is a foundational paper for systems of illocutionary logic. The language contains the illocutionary force operators '' for assertion and ' ' for supposition. Sentences occurring in proofs of the deductive system must be prefixed with one of these operators, and rules of take account of the forces of the sentences. Two kinds of semantic conditions are investigated; familiar truth conditions and commitment conditions. Accepting a statement A or rejecting A commits a (...) person to accepting some statements (the symbol '' marks this value), to rejecting some statements (), and will leave the person uncommitted with respect to others (). Commitment valuations assign the values to sentences of ; such a valuation is conceived as reflecting the beliefs/knowledge of a particular person. This paper explores the relations between truth conditions and commitment conditions, and between semantic concepts defined in terms of these conditions. (shrink)

In this article we argue that nanotechnology represents an extraordinary opportunity to build in a robust role for the social sciences in a technology that remains at an early, and hence undetermined, stage of development. We examine policy dynamics in both the United States and United Kingdom aimed at both opening up, and closing down, the role of the social sciences in nanotechnologies. We then set out a prospective agenda for the social sciences and its potential in the future shaping (...) of nanotechnology research and innovation processes. The emergent, undetermined nature of nanotechnologies calls for an open, experimental, and interdisciplinary model of social science research. (shrink)

Category mistakes are sentences such as 'Green ideas sleep furiously' or 'Saturday is in bed'. They strike us as highly infelicitous but it is hard to explain precisely why this is so. Ofra Magidor explores four approaches to category mistakes in philosophy of language and linguistics, and develops and defends an original, presuppositional account.

Category mistakes are sentences such as ”The number two is blue’ or ”Green ideas sleep furiously’. Such sentences are highly infelicitous and thus a prominent view claims that they are meaningless. Category mistakes are also highly prevalent in figurative language. That is to say, it is very common for sentences which are used figuratively to be such that, if taken literally, they would constitute category mistakes. In this paper I argue that the view that category mistakes are meaningless is inconsistent (...) with many central and otherwise plausible theories of figurative language. Thus if the meaninglessness view is correct, the theories in question must each be rejected, and conversely, if any of the theories in question is correct, the meaninglessness view must be wrong. The debates concerning the semantics of figurative language and concerning the semantic status of category mistakes are closely connected. (shrink)

A family of familiar linguistic tests purport to help identify when a term is ambiguous. These tests are philosophically important: a familiar philosophical strategy is to claim that some phenomenon is disunified and its accompanying term is ambiguous. The tests have been used to evaluate disunification proposals about causation, pain, and knowledge, among others. -/- These ambiguity tests, however, have come under fire. It has been alleged that the tests fail for polysemy, a common type of ambiguity, and one that (...) is at issue in philosophically interesting cases. Furthermore, the objection that the tests fail for polysemy is often taken to be an undeniable bit of linguistic data. -/- We argue that this is mistaken. The objection implicitly relies on controversial assumptions about how to account for copredicational sentences, in which a single argument is ascribed prima facie incompatible properties. Furthermore, on several viable theories of copredication, the objection fails. However, our discussion also reveals that even if ambiguity tests are preserved, they may be significantly harder to execute than previously thought. (shrink)

One of the central debates in contemporary metaphysics has been the debate between endurantism and perdurantism about persistence. In this paper I argue that much of this debate has been misconstrued: most of the arguments in the debate crucially rely on theses which are strictly orthogonal to the endurantism/perdurantism debate. To show this, I note that the arguments in the endurantism/perdurantism debate typically take the following form: one presents a challenge that endurantists allegedly have some trouble addressing, and to which (...) perdurantism apparently has a straightforward response. I argue, however, that in each case, there are versions of endurantism that can offer precisely the same response to the challenge, and thus the ability to provide this particular solution does not directly tell in favour of one the two views. In §1, I elaborate two views which will be particularly prominent in the discussion: liberal endurantism and restrictive perdurantism. In §2–6 I discuss in turn the central pro-perdurantism arguments: the argument from anthropocentricism, the argument from vagueness, the argument from recombination, the argument from temporary intrinsics, and the argument from coincidence. In §7–8, I discuss the main pro-endurantism arguments: the arguments from motion, and the argument from permanent coincidence. Finally, in §9, I discuss what conclusion can be drawn from this discussion. (shrink)

Situationism is, roughly, the thesis that normatively irrelevant environmental factors have a great impact on our behaviour without our being aware of this influence. Surprisingly, there has been little work done on the connection between situationism and moral luck. Given that it is often a matter of luck what situations we find ourselves in, and that we are greatly influenced by the circumstances we face, it seems also to be a matter of luck whether we are blameworthy or praiseworthy for (...) our actions in those circumstances. We argue that such situationist moral luck, as a variety of circumstantial moral luck, exemplifies a distinct and interesting type of moral luck. Further, there is a case to be made that situationist moral luck is perhaps more worrying than some other well-discussed cases of moral luck. (shrink)

Situations are powerful: the evidence from experimental social psychology suggests that agents are hugely influenced by the situations they find themselves in, often without their knowing it. In our paper, we evaluate how situational factors affect our reasons-responsiveness, as conceived of by John Fischer and Mark Ravizza, and, through this, how they also affect moral responsibility. We argue that the situationist experiments suggest that situational factors impair, among other things, our moderate reasons-responsiveness, which is plausibly required for moral responsibility. However, (...) even though we argue that situational factors lower the degree of our reasons-responsiveness, we propose that agents remain moderately reasons-responsive to the degree required for moral responsibility. Nonetheless, those affected by situational factors are arguably less morally responsible than those who are not subject to similar situational factors. We further evaluate an understanding of reasons-responsiveness which relativizes reasons-responsiveness to agents’ circumstances. We argue that the situationist data do not warrant this kind of divergence from Fischer’s and Ravizza’s account. We conclude by discussing what situationist experiments tell us about our relationship to non-reasons. (shrink)

Call an argument a ‘happy sorites’ if it is a sorites argument with true premises and a false conclusion. It is a striking fact that although most philosophers working on the sorites paradox find it at prima facie highly compelling that the premises of the sorites paradox are true and its conclusion false, few (if any) of the standard theories on the issue ultimately allow for happy sorites arguments. There is one philosophical view, however, that appears to allow for at (...) least some happy sorites arguments: strict finitism in the philosophy of mathematics. My aim in this paper is to explore to what extent this appearance is accurate. As we shall see, this question is far from trivial. In particular, I will discuss two arguments that threaten to show that strict finitism cannot consistently accept happy sorites arguments, but I will argue that (given reasonable assumptions on strict finitistic logic) these arguments can ultimately be avoided, and the view can indeed allow for happy sorites arguments. (shrink)

Over the past few decades, significant advances have been made in public engagement with, and the democratization of, science and technology. Despite notable successes, such developments have often struggled to enhance public trust, avert crises of expertise and democracy, and build more socially responsive and responsible science and innovation. A central reason for this is that mainstream approaches to public engagement harbor what we call “residual realist” assumptions about participation and publics. Recent coproductionist accounts in science and technology studies offer (...) an alternative way of seeing participation as coproduced, relational, diverse, and emergent but have been somewhat reluctant to articulate what this means in practice. In this paper, we make this move by setting out a new framework of interrelating paths and associated criteria for remaking public participation with science and democracy in more experimental, reflexive, anticipatory, and responsible ways. This framework comprises four paths to: forge reflexive participatory practices that attend to their framings, emergence, uncertainties, and effects; ecologize participation through attending to the interrelations between diverse public engagements in wider systems; catalyze practices of anticipatory reflection to bring about responsible democratic innovations; and reconstitute participation as constitutive of systems of technoscience and democracy. (shrink)

In “Proposed Principles for International Bioethics Conferencing: Anti-Discriminatory, Global, and Inclusive” the authors offer a framework for assessing the ethics of international bioethics confe...

Since the work of Gödel and Cohen, which showed that Hilbert's First Problem was independent of the usual assumptions of mathematics, there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic study of several combinatorial principles that have proven effective at settling many of the important independent statements. Among the most prominent of these are the principles diamond and square discovered by Jensen. Simultaneously, attempts have been made to find suitable (...) natural strengthenings of ZFC, primarily by Large Cardinal or Reflection Axioms. These two directions have tension between them in that Jensen's principles, which tend to suggest a rather rigid mathematical universe, are at odds with reflection properties. A third development was the discovery by Shelah of "PCF Theory", a generalization of cardinal arithmetic that is largely determined inside ZFC. In this paper we consider interactions between these three theories in the context of singular cardinals, focusing on the various implications between square and scales, and on consistency results between relatively strong forms of square and stationary set reflection. (shrink)

This article reflects on the relevance and applicability of the Belmont Report nearly four decades after its original publication. In an exploration of criticisms that have been raised in response to the report and of significant changes that have occurred within the context of biomedical research, five primary themes arise. These themes include the increasingly vague boundary between research and practice, unique harms to communities that are not addressed by the principle of respect for persons, and how growing complexity and (...) commodification in research have shed light on the importance of transparency. The repercussions of Belmont's emphasis on the protection of vulnerable populations is also explored, as is the relationship between the report's ethical principles and their applications. It is concluded that while the Belmont Report was an impressive response to the ethical issues of its day, the field of research ethics involving human subjects may have outgrown it. (shrink)

© The Authors 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] Propositions, Trenton Merricks defends a certain vision of the metaphysics of propositions: propositions exist necessarily and they primitively and essentially represent the world as being a certain way. The book is compact but rich: it is packed with arguments, moves at a fast pace, yet is written with admirable clarity.While I am sympathetic to many of Merrick’s conclusions, (...) I found some of his arguments towards these conclusions lacking. In Section 1, I discuss his claim that arguments constituted by propositions cannot be logically valid. In Section 2, I discuss his argument against singular propositions as having the entities they are about as constituents, and in particular his commitment to necessarily existing singular propositions... (shrink)

Copredication occurs when a sentence receives a true reading despite prima facie ascribing categorically incompatible properties to a single entity. For example, ‘The red book is by Tolstoy’ can have a true reading even though it seems that being red is only a property of physical copies, while being by Tolstoy is only a property of informational texts. -/- A tempting strategy for resolving this tension is to claim that at least one of the predicates has a non-standard interpretation, with (...) the salient proposal involving reinterpretation via meaning transfer. For example, in ‘The red book is by Tolstoy’, one could hold that the predicate ‘by Tolstoy’ is reinterpreted (or on the more specific proposal, transferred) to ascribe a property that physical copies can uncontroversially instantiate, such as expresses an informational text by Tolstoy. On this view, the truth of the copredicational sentence is no longer mysterious. Furthermore, such a reinterpretation view can give a straightforward account of a range of puzzling copredicational sentences involving counting an individuation. -/- Despite these substantial virtues, we will argue that reinterpretation approaches to copredication are untenable. In §1 we introduce reinterpretation views of copredication and contrast them with key alternatives. In §2 we argue against a general reinterpretation theory of copredication on which every copredicational sentence contains at least one reinterpreted predicate. We also raise additional problems for the more specific proposal of implementing reinterpretation via meaning transfer. In §3 we argue against more limited appeals to reinterpretation on which only some copredicational sentences contain reinterpretation. In §4 we criticize a series of arguments in favour of reinterpretation theories. The upshot is that reinterpretation theories of copredication, and in particular, meaning transfer-based accounts, should be rejected. (shrink)

Since the work of Gödel and Cohen, which showed that Hilbert's First Problem was independent of the usual assumptions of mathematics, there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic study of several combinatorial principles that have proven effective at settling many of the important independent statements. Among the most prominent of these are the principles diamond and square discovered by Jensen. Simultaneously, attempts have been made to find suitable (...) natural strengthenings of ZFC, primarily by Large Cardinal or Reflection Axioms. These two directions have tension between them in that Jensen's principles, which tend to suggest a rather rigid mathematical universe, are at odds with reflection properties. A third development was the discovery by Shelah of "PCF Theory", a generalization of cardinal arithmetic that is largely determined inside ZFC. In this paper we consider interactions between these three theories in the context of singular cardinals, focusing on the various implications between square and scales, and on consistency results between relatively strong forms of square and stationary set reflection. (shrink)

In his seminal paper 'Assertion', Robert Stalnaker distinguishes between the semantic content of a sentence on an occasion of use and the content asserted by an utterance of that sentence on that occasion. While in general the assertoric content of an utterance is simply its semantic content, the mechanisms of conversation sometimes force the two apart. Of special interest in this connection is one of the principles governing assertoric content in the framework, one according to which the asserted content ought (...) to be identical at each world in the context set. In this paper, we present a problem for Stalnaker's meta-semantic framework, by challenging the plausibility of the Uniformity principle. We argue that the interaction of the framework with facts about epistemic accessibility - in particular, failures of epistemic transparency - cause problems for the Uniformity principle and thus for Stalnaker's framework more generally. (shrink)

This is a survey paper giving a self-contained account of Shelah's theory of the pcf function pcf={cf:D is an ultrafilter on a}, where a is a set of regular cardinals such that a

Logic and Philosophy of Logic

Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic

Model Theory in Logic and Philosophy of Logic

Direct download (4 more)  

 

Export citation  

 

Bookmark   32 citations  

In this paper we study the notion of $C^{}$ -supercompactness introduced by Bagaria in [3] and prove the identity crises phenomenon for such class. Specifically, we show that consistently the least supercompact is strictly below the least $C^{}$ -supercompact but also that the least supercompact is $C^{}$ -supercompact }$ -supercompact). Furthermore, we prove that under suitable hypothesis the ultimate identity crises is also possible. These results solve several questions posed by Bagaria and Tsaprounis.

Daniel Whiting’s excellent new book, The Range of Reasons (2022), makes a number of noteworthy contributions to the philosophical literature on reasons and normativity. A good deal has been written on normative reasons, and it is no easy thing to make novel and promising arguments. Yet, this is what Whiting manages to do. We are sympathetic to some of his ideas and critical of others. It makes sense for us to focus on the first half of his book, where Whiting (...) presents two accounts of normative reasons (the first superseded by, although possibly also compatible with, the second). We welcome this opportunity to clarify our own current views on the nature of normative reasons by contrasting them with Whiting’s views. (shrink)

Certain aspects of our situations often influence us in significant and negative ways, without our knowledge (call this claim “situationism”). One possible explanation of their influence is that they affect our abilities. In this paper, we address two main questions. Do these situational factors rid us of our abilities to act on our sufficient reasons? Do situational factors make it more difficult for us to exercise our abilities to act for sufficient reasons? We argue for the answer ‘sometimes’ to both (...) these questions. We then explore the consequences of this view for moral responsibility. (shrink)

Category mistakes are sentences such as ‘Colourless green ideas sleep furiously’ or ‘The theory of relativity is eating breakfast’. Such sentences are highly anomalous, and this has led a large number of linguists and philosophers to conclude that they are meaningless (call this ‘the meaninglessness view’). In this paper I argue that the meaninglessness view is incorrect and category mistakes are meaningful. I provide four arguments against the meaninglessness view: in Sect. 2, an argument concerning compositionality with respect to category (...) mistakes; in Sect. 3 an argument concerning synonymy facts of category mistakes; in Sect. 4 concerning embeddings of category mistakes in propositional attitude ascriptions; and in Sect. 5 concerning the uses of category mistakes in metaphors. Having presented these arguments, in Sect. 6 I briefly discuss some of the positive motivations for accepting the meaninglessness view and argue that they are unconvincing. I conclude that the meaninglessness view ought to be rejected. (shrink)

We prove that the statement "For every pair A, B, stationary subsets of ω 2 , composed of points of cofinality ω, there exists an ordinal α such that both A ∩ α and $B \bigcap \alpha$ are stationary subsets of α" is equiconsistent with the existence of weakly compact cardinal. (This completes results of Baumgartner and Harrington and Shelah.) We also prove, assuming the existence of infinitely many supercompact cardinals, the statement "Every stationary subset of ω ω + 1 (...) has a stationary initial segment.". (shrink)

This paper uses the resources of illocutionary logic to provide a new understanding of the Liar Paradox. In the system of illocutionary logic of the paper, denials are irreducible counterparts of assertions; denial does not in every case amount to the same as the assertion of the negation of the statement that is denied. Both a Liar statement, (a) Statement (a) is not true, and the statement which it negates can correctly be denied; neither can correctly be asserted. A Liar (...) statement, more precisely, an attempted Liar statement, fails to fulfill conditions essential to statements, but no linguistic rules are violated by the attempt. Ordinary language, our ordinary practice of using language, is not inconsistent or incoherent because of the Liar. We are committed to deny Liars, but not to accept or assert them. This understanding of the Liar Paradox and its sources cannot be fully accommodated in a conventional logical system, which fails to mark the distinction between sentences/statements and illocutionary acts of accepting, rejecting, and supposing statements. (shrink)

In this paper we consider whether L(R) has “enough information” to contain a counterexample to the continuum hypothesis. We believe this question provides deep insight into the difficulties surrounding the continuum hypothesis. We show sufficient conditions for L(R) not to contain such a counterexample. Along the way we establish many results about nonstationary towers, non-reflecting stationary sets, generalizations of proper and semiproper forcing and Chang's conjecture.

One of the most influential arguments in favour of perdurantism is the Argument from Vagueness. The argument proceeds in three stages: The first aims to establish atemporal universalism. The second presents a parallel argument in favour of universalism in the context of temporalized parthood. The third argues that diachronic universalism entails perdurantism. I offer a novel objection to the argument. I show that on the correct way of formulating diachronic universalism the principle does not entail perdurantism. On the other hand, (...) if diachronic universalism is formulated as Sider proposes, the argument fails to establish his principle, and thus perdurantism. (shrink)