Natural modalities are often analysed from an abstract point of view where they are associated with putative laws of nature. However, the way possibilities are represented in physics is more complex. Lagrangian mechanics, for instance, involves two different layers of modalities: kinematical and dynamical possibilities. This paper examines the status of these two layers, both in the classical and quantum case. The quantum case is particularly problematic: we identify four possible interpretive options. The upshot is that a close inspection of (...) the way possibilities are represented in physics could lead to new ways of thinking about natural modalities. (shrink)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can be treated (...) as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (shrink)

In this paper I develop an argument against a type of Non-Analytic Normative Naturalism. This argument, the Normative Property Dualism Argument, suggests that, if Non-Analytic Normative Naturalists posit that normative properties are identical to natural properties and that such identities are a posteriori, they will be forced to posit that these properties which are both normative and natural have higher-order normative properties of their own.

Computer assisted theorem proving is an increasingly important part of mathematical methodology, as well as a long-standing topic in artificial intelligence (AI) research. However, the current generation of theorem proving software have limited functioning in terms of providing new proofs. Importantly, they are not able to discriminate interesting theorems and proofs from trivial ones. In order for computers to develop further in theorem proving, there would need to be a radical change in how the software functions. Recently, machine learning results (...) in solving mathematical tasks have shown early promise that deep artificial neural networks could learn symbolic mathematical processing. In this paper, I analyze the theoretical prospects of such neural networks in proving mathematical theorems. In particular, I focus on the question how such AI systems could be incorporated in practice to theorem proving and what consequences that could have. In the most optimistic scenario, this includes the possibility of autonomous automated theorem provers (AATP). Here I discuss whether such AI systems could, or should, become accepted as active agents in mathematical communities. (shrink)

The topic of this dissertation is the nature of linguistic competence, the capacity to understand and produce sentences of natural language. I defend the empiricist account of linguistic competence embedded in the connectionist cognitive science. This strand of cognitive science has been opposed to the traditional symbolic cognitive science, coupled with transformational-generative grammar, which was committed to nativism due to the view that human cognition, including language capacity, should be construed in terms of symbolic representations and hardwired rules. Similarly, linguistic (...) competence in this framework was regarded as being innate, rule-governed, domain-specific, and fundamentally different from performance, i.e., idiosyncrasies and factors governing linguistic behavior. I analyze state-of-the-art connectionist, deep learning models of natural language processing, most notably large language models, to see what they can tell us about linguistic competence. Deep learning is a statistical technique for the classification of patterns through which artificial intelligence researchers train artificial neural networks containing multiple layers that crunch a gargantuan amount of textual and/or visual data. I argue that these models suggest that linguistic competence should be construed as stochastic, pattern-based, and stemming from domain-general mechanisms. Moreover, I distinguish syntactic from semantic competence, and I show for each the ramifications of the endorsement of a connectionist research program as opposed to the traditional symbolic cognitive science and transformational-generative grammar. I provide a unifying front, consisting of usage-based theories, a construction grammar approach, and an embodied approach to cognition to show that the more multimodal and diverse models are in terms of architectural features and training data, the stronger the case is for the connectionist linguistic competence. I also propose to discard the competence vs. performance distinction as theoretically inferior so that a novel and integrative account of linguistic competence originating in connectionism and empiricism that I propose and defend in the dissertation could be put forward in scientific and philosophical literature. (shrink)

Unentwegt werden neue technische Produkte gestaltet. Doch was macht die technische Gestaltung aus? Wie lässt sich ihr Gegenstand - (noch) nicht existierende Artefakte - adäquat auf den Begriff bringen? Michael Kuhn begreift technische Ideen vor ihrer Realisierung als Fiktionen. Er bietet eine fiktionstheoretische Rekonstruktion der Gestaltungstätigkeit und entwickelt hieraus eine Ethik der Gestaltung. Der stark interdisziplinäre Zugang zwischen Technikphilosophie und Ingenieurwissenschaften liefert neue Erkenntnisse für beide Fachrichtungen und stellt wertvolle Grundlagen bereit.

Conceptual engineering is the practice of revising concepts to improve how people talk and think. Its ability to improve talk and thought ultimately hinges on the successful dissemination of desired conceptual changes. Unfortunately, the field has been slow to develop methods to directly test what barriers stand in the way of propagation and what methods will most effectively propagate desired conceptual change. In order to test such questions, this paper introduces the masked time-lagged method. The masked time-lagged method tests people's (...) conceptual understanding at two different points in time without their knowledge of being tested, allowing us to measure conceptual revision in action. Using a masked time-lagged design on a content internalist framework, we attempted to revise PLANET and DINOSAUR in online participants to match experts' concepts. We successfully revised PLANET but not DINOSAUR, demonstrating some of the difficulties conceptual engineers face. Nonetheless, this paper provides conceptual engineers, regardless of framework, with the tools to tackle questions related to implementation empirically and head-on. (shrink)

The question whether the notion of rigidity can be extended in a fruitful way beyond singular terms has received a standard answer in the literature, according to which non-singular terms designate kinds, properties or other abstract singular objects and generalized rigidity is the same thing as singular term rigidity, but for terms designating such objects. I offer some new criticisms of this view and go on to defend an alternative view, on which non-singular terms designate extensions in general, and generalized (...) rigidity is identity of extension across possible worlds. I develop some fundamental positive considerations that make this view virtually inevitable as a view of generalized rigidity, emphasizing its exclusive ability to offer a purely logical justification of the necessity of several kinds of statements that go beyond true identity statements between rigid singular terms. (shrink)

Most contemporary analytic philosophers of language and mind accept the view that there is a wide class of terms, “natural kind terms”, which includes names of substances (the most common example is “water”), of species of animals, and of many other kinds of things in nature, whose meaning and reference is determined in the way explained by the theory developed in the 1970s by Saul Kripke and Hilary Putnam. The theory is often referred to as “the Kripke-Putnam theory” and is (...) supposed to have such achievements as the overthrow of the earlier dominant Fregean theory of word-meanings (dubbed “descriptivism” by Kripke) as determined by the concepts in our minds, providing support for the “externalist” approach to linguistic meanings (in line with Putnam’s claim that “"Meanings" just ain’t in the head”), and the discovery that there is a wide class of truths (such as that water is H20) that are both a posteriori and necessary. Although the priority in the development of this theory belongs to Kripke, it could hardly gain such a wide acceptance without contributions by Putnam, which turned out to be very influential. However, the habitual idea of “the Kripke-Putnam theory”, as one theory, tends to play down the differences between Putnam’s and Kripke’s approaches and to hush up the fact that in his late works, of 1983 and 1990, Putnam revised and abandoned pretty much of his “Kripkean” views of 1970-ies; in particular, repudiated the pride of Kripke’s theory, the idea of necessary a posteriori truths. This article makes critical analysis and evaluation of Putnam’s ideas and arguments usually credited as important contributions to “the Kripke-Putnam theory”, and highlights the main points of the revision in late Putnam’s works. The case is made that Putnam's famous argument for externalism about meanings, the Twin-Earth thought experiment, is question-begging, fails to do justice to likely changes in the meanings of words with the development of knowledge, and conflicts with the linguistic practice in the relevantly similar case of “jade”. Putnam's argument for externalism from the division of linguistic labour is not cogent too, because “semantic deference” is itself a matter of what is there in “heads” - of some (non-expert) heads deferring to other (recognised as expert) heads. Eventually, on close inspection and in the light of Putnam's later reexplanation and revision, his account of meaning and reference turns out to be a sophisticated variety of conceptualism/internalism. (shrink)

The standard view of the value of death is the Deprivation Approach, according to which a person's death is bad for her insofar as she would have been better off without it. On the face of it, the Deprivation Approach sits much better with our normative intuitions about death than does the Epicurean view that death is never bad for the deceased. However, this issue is more complex and nuanced than it might appear.

This paper examines ‘The Natures of Conceptual Change’, the Notre Dame lectures given by Kuhn in 1980. In particular, I aim to examine the content of these lectures which was not published before. This exegetical task will shed light on the sources of the notion of taxonomy used in these lectures for the first time with the explicit philosophical purposes. It also will shed new light on Kuhn's position regarding the causal theory of reference. Reviewing these archival materials paves the (...) way for intertextual comparisons, as Kuhn included part of these lectures in the texts published later and in the book Plurality of Worlds: an Evolutionary Theory of Scientific Development. In recent years, the publication of Kuhn's archival material and the research on these texts increased in quantity and quality. Faced with this encouraging landscape, a comparative examination of the different unpublished texts is crucial to refining both our research tools on Kuhn's intellectual biography and the philosophical work inspired by his proposal. (shrink)

Serious actualists take it that all properties are existence entailing. I present a simple puzzle about sentence tokens which seems to show that serious actualism is false. I then consider the most promising response to the puzzle. This is the idea that the serious actualist should take ordinary property-talk to contain an implicit existential presupposition. I argue that this approach does not work: it fails to generalise appropriately to all sentence types and tokens. In particular, it fails to capture the (...) right distinctions we ought to make between what I call _typographical sentence types_—an interesting and previously undiscussed class of fine-grained sentence types which are partially individuated by their typography, or how they look when written out. (shrink)

There are some names which cannot be spoken and others which cannot be written, at least on certain very natural ways of conceiving of them. Interestingly, this observation proves to be in tension with a wide range of views about what names are. Prima facie, this looks like a problem for predicativists. Ultima facie, it turns out to be equally problematic for Millians. For either sort of theorist, resolving this tension requires embracing a revisionary account of the metaphysics of names. (...) Revisionary Millianism, I argue, offers some important advantages over its predicativist competitor. (shrink)

The article discusses Saul Kripke’s influential theories of a posteriori necessary truths and natural kinds. With respect to the statements of identity involving proper names, it is argued that although their truth is a posteriori and necessary in the specific sense of counterfactual invariance, this is of no significance for substantial philosophical issues beyond the philosophy of language, because this counterfactual invariance is a trivial consequence of the use of proper names as rigid designators. The case is made that the (...) expansion of the realm of necessary a posteriori truths to the statements of theoretical identity that involve “natural kind terms”, as well as the Kripkean essentialist theory of natural kinds, have no weighty argumentative support and fit badly both with science and language practice. This sets the stage for the development of an appropriately sophisticated “descriptivist” account of meaning and reference that would be better suited for a widened range of Kripke-Putnam style thought experiments. The general outlines of such a descriptivist account are provided. (shrink)

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

How should we understand the Confucian doctrine of the rectification of names (zhengming): what does it mean that an object’s name must be in accordance with its reality, and why does it matter? The aim of this paper is to answer this question by advocating a novel interpretation of the later Confucian, Xunzi’s account of the doctrine. Xunzi claims that sage-kings ascribe names and values to objects by convention, and since they are sages, they know the truth. When we misuse (...) names, we are departing from a sagely convention of naming. As sagely convention determines moral truth, departure from the linguistic convention of the sages is a departure from moral truth. On my interpretation of Xunzi, the rectification of names is not a doctrine about what is true, but a doctrine about how we aim at truth. We are aiming at descriptive truth when our language conforms to the correct name of an object according to what I call ‘Confucian conventionalism’. When we correctly aim at descriptive truth we can aim at moral truth. Therefore, I claim that the doctrine of the rectification of names is concerned with discerning the literal accordance of language with an object (what is descriptively, linguistically true), to determine what is normatively, or morally, true. According to Xunzi, moral truth is grounded in linguistic truth. (shrink)

This article provides an account of moral obligations that we have towards present generations, which require us to produce outcomes that are similar to those we would be required to produce if we had moral obligations to future generations. Discharging these duties enables us to secure the kinds of goods for future generations that we intuitively think we ought to provide in the absence of an answer to the non-identity problem. In this sense, the non- identity problem is avoided rather (...) than solved. Nevertheless, a significant upshot of this account is that it provides a basis for practical action in the face of theoretical uncertainty. (shrink)

The first work to offer a comprehensive pragmatist anthropology focusing on sensibility, habits, and human experience as contingently yet irreversibly enlanguaged.

David Lewis’ contemplations regarding divine foreknowledge and free will, along with some of his other more substantial work on modal realism and his counterpart theory can serve as a springboard to a novel solution to the foreknowledge and metaphysical freedom puzzle, namely a proposal that genuine metaphysical freedom is compatible with determinism, which is quite different from the usual compatibilist focus on the compatibility between determinism and moral responsibility. This paper argues that while Lewis opens the doors to such a (...) possibility, in order to fully elucidate a genuinely metaphysical compatibilist account, Lewis’ own counterpart theory must be abandoned in favour of an account of trans-world identity that is theoretically framed by a modified version of Robert Nozick’s closest continuer theory. (shrink)

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

In this paper, I present a two-pronged argument devoted to defending the type-identity theory of mind against the argument presented by Kripke in _Naming and Necessity_. In the first part, the interpersonal case, I show that since it is not possible to establish the metaphysical conditions for phenomenal identity, it is not possible to argue that there can be physical differences between two subjects despite their phenomenal identity. In the second part, the intrapersonal case, I consider the possibility of imagining (...) one and the same individual having the same phenomenal state while counterfactually being in very different physical states. I argue that this case should respect Kripke’s implicit theory of personal identity—but this proves to be a very difficult task to accomplish, thus preventing the argument from getting off the ground. Therefore, I maintain, that the type-identity theory is still the better option to solve the mind–body problem. (shrink)

I exploit parallel considerations in the philosophy of mind and metaethics to argue that the reasoning employed in an important argument for panpsychism overgeneralizes to support an analogous position in metaethics: panmoralism. Next, I raise a number of problems for panmoralism and thereby build a case for taking the metaethical parallel to be a reductio ad absurdum of the argument for panpsychism. Finally, I contrast panmoralism with a position recently defended by Einar Duenger Bohn and argue that the two suffer (...) from similar problems. I conclude by drawing some general lessons for panpsychism. (shrink)

In developing a theory of consciousness, one of the main problems has to do with determining what distinguishes conscious states from non-conscious ones—the delimitation problem. This paper explores the possibility of solving this problem in terms of self-awareness. That self-awareness is essential to understanding the nature of our conscious experience is perhaps the most widely discussed hypothesis in the study of consciousness throughout the history of philosophy. Its plausibility hinges on how the notion of self-awareness is unpacked. The idea that (...) consciousness involves self-awareness has been understood in two different ways: either as awareness of oneself—the subject of experience—or as awareness of the conscious episode itself. In this paper I argue (i) that every experience concerns the subject in a very specific way, involving what I will call ‘perspectival de se representation’, and (ii) that there is no need to appeal to the experience itself in order to characterize the awareness within that experience. The view I articulate explains the subjective nature of experience without over-intellectualizing it, accommodates the phenomenology of experience, and dispels any doubt about the need to find the self in introspection. (shrink)

Referring to ‘God,’ either directly or indirectly, has been problematic since God is obviously not reducible to a simple description. We assume that ‘God’ can refer to something but finding which mechanism is most promising will help us figure out how we can refer to Him successfully. I argue that the causal theory of reference, with Meghan Sullivan’s theory of semantic inspiration, and the everyday judgments of ‘God’ lead us to conclude that the reference to God is direct.

Doxastic distinctions help us define the basis and biases in belief–formation. Empirical and extra-empirical justification play an important role in determining doxastic distinctions. When we distinguish the different types of beliefs, we understand that there are basically three kinds of beliefs, namely, verifiable, falsifiable, and unfalsifiable beliefs. Empirical justification provides the basis for establishing the veracity of verifiable and falsifiable beliefs. Extra-empirical justification provides the basis for establishing the veracity of unfalsifiable or irrefutable beliefs. Verifiable or falsifiable beliefs that are (...) reductive require the mandatory acceptance of their truth. However, unfalsifiable beliefs which are non-reductive require the volitional acceptance of their truth. Because there is both empirical and extra-empirical justification in belief-formation, we can accept beliefs with or without, against, or regardless of empirical evidence. Unfalsifiable beliefs do not mean that these beliefs are unjustifiable; it simply means that these beliefs are not empirically justifiable. Understanding the basis and biases of belief-formation is to be aware of how we come to know what we believe. As empirical basis allows us to hold beliefs based on either the principle of confirmation or falsification. Extra-empirical basis, namely phenomenological conjectures, allows us to hold beliefs founded on existential assertions. The intent of this paper is to present doxastic distinctions to help us understand the basis and biases associated with belief-formation. As long as epistemic claims are accepted, and their content is considered believable, the means used to arrive at those beliefs must also be respected. Every doxastic distinction not only provides the basis for belief-formation but also defines the role and limits of both empirical and extra-empirical justification in belief-formation. When we recognize the different types and different ways of justifying beliefs: we understand why we can accept beliefs with or without evidence; against or regardless of empirical justification, and know when to define beliefs as Plato argued as justified true belief and when to define beliefs as justified belief-decisions. Keywords: beliefs, justified true belief; justified belief-decisions, empirical and extra-empirical. (shrink)

Neo-Russellians like Salmon and Braun hold that: the semantic contents of sentences are structured propositions whose basic components are objects and properties, names are directly referential terms, and a sentence of the form ‘n believes that S’ is true in a context c iff the referent of the name n in c believes the proposition expressed by S in c. This is sometimes referred to as ‘the Naive Russellian theory’. In this talk, I will discuss the Naive Russellian theory primarily (...) in connection with a problem known as Schiffer’s puzzle. Schiffer first presented the puzzle as an argument against the Naive Russellian theory. Schiffer’s argument proceeds in two steps. In step one, Schiffer argues that the Naive Russellian theory is committed to two principles regarding de re belief; the special-case consequence and Frege’s constraint. Then, in step two, Schiffer argues that the special-case consequence is not consistent with Frege’s constraint. Salmon and Braun reply to Schiffer’s argument that although the Naive Russellian theory is committed to Frege’s constraint, it is not committed to the special-case consequence. However, in this paper, I will argue with a new Schiffer-case that even if the Naive Russellian theory is not committed to the special-case consequence, it is still not consistent with Frege’s constraint. Concluding, I will discuss the possibility to reject Frege’s constraint within the Naive Russellian theory. (shrink)

The paper aims to show that, if S5 is the logic of metaphysical necessity, then no state of affairs in any possible world constitutes any non-trivial evidence for or against the existence of the traditional God. There might well be states of affairs in some worlds describing extraordinary goods and extraordinary evils, but it is false that these states of affairs constitute any (non-trivial) evidence for or against the existence of God. The epistemological and metaphysical consequences for philosophical theology of (...) assuming that S4 or Kσρ is the logic of metaphysical necessity are equally untenable. S4 guarantees that God does not exist if there is the slightest evidence against the existence of God. And Kσρ guarantees that God might survive the loss or acquisition of any essential property at all. (shrink)

State of art paper on the topic laws of nature, around the problem of identification what is to be a law of nature. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: the simple regularity theory, from Hume; the Mill-Ramsey-Lewis best systems theory; the Dretske-Tooley-Armstrong theory of laws as relations among universals; Ellis’s essentialist theory; Cartwright’s theory of laws as ceteris paribus laws; the anti-reductionist theories of Lange, Maudlin and Carroll, the anti-realist theories of Mumford, (...) van Fraassen and Giere; etc. (shrink)

The paper attempts a novel defense of the main claim of Wittgenstein's Private Language Argument, i.e. that 'inner' ostensive definition is impossible. Part 1 traces Wittgenstein's target to the idea that 'ostensive definition' is a mental act, an idea that makes it tempting to think that its objects might just as well be private as public. Part 2 discusses a recent interpretation and defence of Wittgenstein's position due to Stroud and McGinn. On their view, private ostensive definition establishes no pattern (...) of use because it fails to specify the type of inner episode that is being ostended. But not explicitly specifying a type is harmless so long as the ostension in fact brings it about that the subject's usage is sensitive to it. Part 3 proposes a new argument. Private ostensive definition does sustain a pattern of use, but that use is semantically indeterminate: nothing in it (or in the subject's mind) settles which of two alternative schemes of reference applies. The conclusion discusses Wittgenstein's best-known remarks on the subject from the perspective of this new argument. (shrink)

I bring a new thesis of historical holism to bear on the well-known Mencius-Xunzi dispute about xing/性. The significance of doing so seems bi-directional: in the first direction, i.e. applying the...

The problem of the many seems to problematize the platitude that we can think about particular things in the world. How is it that, given how very many cat-like candidates there are, we often manage to think and talk about a particular cat? I argue that this challenge stems from an under-examined assumption about the relationship between metaphysics and intentionality. I explore and develop a way of characterizing what it is to think and talk about the world, according to which (...) an abundant ontology poses no obstacle to our ability to think and talk about particular things. (shrink)

European Journal of Philosophy, Volume 30, Issue 3, Page 1010-1027, September 2022.

It has been suggested that intuitions supporting the nonvacuity of counterpossibles can be explained by distinguishing an epistemic and a metaphysical reading of counterfactuals. Such an explanation must answer why we tend to neglect the distinction of the two readings. By way of an answer, I offer a generalized pattern for explaining nonvacuity intuitions by a stand-and-fall relationship to certain indicative conditionals. Then, I present reasons for doubting the proposal: nonvacuists can use the epistemic reading to turn the table against (...) vacuists, telling apart significant from spurious intuitions. Moreover, our intuitions tend to survive even if we clear-headedly intend a metaphysical reading. -/- . (shrink)

In this study two strands of inferentialism are brought together: the philosophical doctrine of Brandom, according to which meanings are generally inferential roles, and the logical doctrine prioritizing proof-theory over model theory and approaching meaning in logical, especially proof-theoretical terms.

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

This paper is a contribution to a discussion in philosophy of technology by focusing on the epistemological status of the example. Of the various developments in the emerging, inchoate field of philosophy of technology, the “empirical turn” stands out as having left the most enduring mark on the trajectory contemporary research takes. From a historical point of view, the empirical turn can best be understood as a corrective to the overly “transcendentalizing” tendencies of “classical” philosophers of technology, such as Heidegger. (...) Empirically oriented philosophy of technology emphasizes actual technologies through case-study research into the formation of technical objects and systems and how they, for example, transform our perceptions and conceptions or pass on and propagate relations of power. This paper explores the point of convergence of classical and contemporary approaches by means of the notion of the “example” or “paradigm.” It starts with a discussion of the quintessential modern philosopher of technology, Martin Heidegger, and his thinking about technology in terms of the ontological difference. Heidegger’s framing of technology in terms of this difference places the weight of intelligibility entirely on the side of being, to such an extent that his examples become heuristic rather than constitutive. The second part of the paper discusses the methodological and epistemological import of the “example” and the form of intelligibility it affords. Drawing on the work of Wittgenstein, Foucault, and Agamben, we argue that the example offers an alternative way of understanding the study of technologies from that of empirical case studies. (shrink)

A sentence like every circle is blue might be understood in terms of individuals and their properties or in terms of a relation between groups. Relatedly, theorists can specify the contents of universally quantified sentences in first-order or second-order terms. We offer new evidence that this logical first-order vs. second-order distinction corresponds to a psychologically robust individual vs. group distinction that has behavioral repercussions. Participants were shown displays of dots and asked to evaluate sentences with each, every, or all combined (...) with a predicate. We find that participants are better at estimating how many things the predicate applied to after evaluating sentences in which universal quantification is indicated with every or all, as opposed to each. We argue that every and all are understood in second-order terms that encourage group representation, while each is understood in first-order terms that encourage individual representation. Since the sentences that participants evaluate are truth-conditionally equivalent, our results also bear on questions concerning how meanings are related to truth-conditions. (shrink)

Philosophical treatments of natural kinds are embedded in two distinct projects. I call these the philosophy of science approach and the philosophy of language approach. Each is characterized by its own set of philosophical questions, concerns, and assumptions. The kinds studied in the philosophy of science approach are projectible categories that can ground inductive inferences and scientific explanation. The kinds studied in the philosophy of language approach are the referential objects of a special linguistic category—natural kind terms—thought to refer directly. (...) Philosophers may hope for a unified account addresses both sets of concerns. This paper argues that this cannot be done successfully. No single account can satisfy both the semantic objectives of the philosophy of language approach and the explanatory projects of the philosophy of science approach. After analyzing where the tensions arise, I make recommendations about assumptions and projects that are best abandoned, those that should be retained, and those that should go their separate ways. I also recommend adopting the disambiguating terminology of “scientific kinds” and “natural kinds” for the different notions of kinds developed in these different approaches. (shrink)

In uttering negative existential sentences, we do not mention but use an empty singular term. A pretense account explains the use in terms of pretense. I argue that our understanding of negative existential statements can be successfully explained by Crimmins’ theory of shallow pretense if it is supplemented and reconstructed properly. First, I explain the notion of shallow pretense and supplement Crimmin’s theory with an Evansian account that we immediately grasp the phenomenology of what is pretended without a conscious effort (...) to imagine the condition under which what is pretended can be true. Thus, shallow pretense does not consist in the counterintuitive meta-representation of the fact of pretense. Second, against the objection to Crimmins’ distinction between utterance truth-condition and modal content that it is ad hoc, I argue that there is good reason to hold the distinction for the semantics of belief reports. Finally, I argue that the distinction has a merit of explaining our intuition about the epistemic possibility associated with our use of an empty singular term. (shrink)

This dissertation is an investigation into the relation between mind and language from different perspectives, split up into three interrelated but still, for the most part, self-standing parts. Parts I and II are concerned with the question how thought is affected by language while Part III investigates the scope covered by mind and language respectively. Part I provides a reconstruction of Ludwig Wittgenstein’s famous Private Language Argument in order to apply the rationale behind this line of argument to the relation (...) between mind and language. This argumentative strategy yields the conclusion that reasoning – an important type of thought – is constitutively dependent on language possession and is therefore not available to non-linguistic creatures. This result is achieved by considering the preconditions for reasoning – given that it is a rule-governed activity – and eliminating competitors to language for providing reasoners with what it takes to reason. Part II provides a critical outlook on the wide and highly heterogeneous field of linguistic relativity theories. It is argued that no kind of linguistic relativity whatsoever follows from the conclusion of Part I – i.e., the claim that reasoning is constitutively dependent on having a language. While Part II does not provide a conclusive argument against the linguistic relativity hypothesis, it is argued that endorsement of linguistic relativity theories often rests on a mistaken assumption to the effect that language and culture are interwoven in a way which makes it impossible to separate culture and language, as well as their respective studies. This assumption is undermined by providing examples of languages which clearly predate their culture or do not even have a culture at all. So, the assumption that language and culture are inextricably intertwined is refuted by way of counterexample. Part III provides an in-depth examination of the Principle of Expressibility – prominently endorsed and formulated by John Searle – which claims that whatever can be thought can also be said. The domains of what can be thought and of what can be said are considered in set theoretic terms in order to determine whether one is contained in the other, so that everything we can think can also be adequately communicated. After thorough study of interpretative issues regarding the Principle of Expressibility and consideration of the most pressing potential counterexamples to the principle, we can conclude that we have good reason to believe in the truth of the Principle of Expressibility. In conclusion, the achieved results are related back to prominent positions in the discussion about thought and language which already make their appearance in the very beginning of this investigation. The final chapter of this dissertation reminds us that eminent figures in philosophy have often taken a wrongheaded perspective on the relation between language and thought, so that language has frequently appeared to be an impediment to thought. We can, however, confidently conclude that language, on the contrary, is by far our most apt means for thought and that reasoning would not even be possible without the resources language provides. (shrink)

This paper deals with the identity problems of fictional objects, focusing on Anthony Everett's and Stuart Brock's leading criticisms against fictional creationism, the view that fictional objects are abstract objects created by our acts involving literary practices. My primary aim is to argue that creationism based on referentialism has enough resources to individuate fictional objects and hence can address the alleged identity problems: every alleged problematic case regarding the identity of fictional objects is well explained in terms of the notions (...) of authorial intention, gappy proposition, inadvertent creation, and reference shift. (shrink)

In recent literature on the metaphysics of consciousness, and in particular on the prospects of physicalism, there are two interesting strands of discussion. One strand concerns the so-called ‘thesis of revelation’, the claim that the essences of phenomenal properties are revealed in experience. The other strand concerns the intuition of dualism, the intuition that consciousness is nonphysical. With a particular focus on the former, this paper advances two main arguments. First, it argues that the thesis of revelation is intuitive; it (...) is part of our ordinary, implicit conception of experience. Second, it brings the two strands of discussion together and puts forward a rational explanation of the intuition of dualism in terms of the intuitiveness of the thesis of revelation. (shrink)

Linnaean-style, rank-based codes of taxonomic nomenclature provide stability to the relation between taxon names and their referents through the device of nomenclatural types. The practice of using types to tether names to taxa is uncontroversial and well-understood. But the nature of the relation between types, names, and taxa continues to be a topic of philosophical debate. A particularly contested issue is whether it is necessary for taxa that have a type specimen to contain their type specimen. Jerzy Brzozowski has recently (...) offered a novel account of taxon names that, he claims, shows that the relation between a type specimen and the (sub)species it belongs to is contingent (Brzozowski in Hist Philos Life Sci 42(3):1–25, 2020). I argue that this is mistaken. While Brzozowski’s contribution helps to advance the debate by bringing concepts from the philosophy of reference to bear on taxonomic naming practices, his new account of taxon names fails to support his central argument. Indeed, I show that the philosophical concepts he introduces into the debate cement the view that it is necessary for a (sub)species with a type specimen to contain it. (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)

The problem of skepticism is often understood as a paradox: a valid argument with plausible premises whose conclusion is that we lack justification for perceptual beliefs. Typically, this conclusion is deemed unacceptable, so a theory is offered that posits conditions for justification on which some premise is false. The theory defended here is more general, and explains why the paradox arises in the first place. Like Strawson’s (Introduction to logical theory, Wiley, New York, 1952) “ordinary language” approach to induction, the (...) theory posits something built into the very notion of justification: it is loaded with a bias towards the proposition that we are not massively deceived. Beyond the paradox, remaining skeptical problems consist of metaphysical and practical questions: whether we are massively deceived, or why we should use our loaded notion rather than some other. Such challenges have profound epistemological significance, but they are not problems that an a priori theory of justification can solve. (shrink)

"Ontology" focuses on three ways ground and ontology are said to relate. One way involves ground's ability to provide a safe and sane way of admitting certain kinds of things in our theories. Another way involves ground's ability to show how we should measure ontological simplicity. And a third way involves ground's ability to restrict what things or kinds of things can depend on other things or kinds.

In De Trinitate 10, Augustine offers an argument that seemingly proceeds from certain premises about self-knowledge to the conclusion that the mind is incorporeal. Although the argument has sometimes been compared to later Cartesian arguments, it has received relatively little philosophical attention. In this paper, I offer a detailed analysis and original interpretation of Augustine's argument and argue that it is not vulnerable to some of the main objections which have been raised against it. I go on to argue that (...) while an important part of Augustine's argument does face several hitherto neglected objections, Augustine's ultimate case for the incorporeality of the mind is somewhat different and more successful than one might initially think. (shrink)

Political realists’ rejection of the so-called ‘ethics first’ approach of political moralists, has raised concerns about their own source of normativity. Some realists have responded to such concerns by theorizing a distinctively political normativity. According to this view, politics is seen as an autonomous, independent domain with its own evaluative standards. Therefore, it is in this source, rather than in some moral values ‘outside’ of this domain, that normative justification should be sought when theorizing justice, democracy, political legitimacy, and the (...) like. For realists the question about a distinctively political normativity is important, because they take the fact that politics is a distinct affair to have severe consequences for both how to approach the subject matter as such and for which principles and values can be justified. Still, realists have had a hard time clarifying what this distinctively political normativity consists of and why, more precisely, it matters. The aim of this paper is to take some further steps in answering these questions. We argue that realists have the choice of committing themselves to one of two coherent notions of distinctively political normativity: one that is independent of moral values, where political normativity is taken to be a kind of instrumental normativity; another where the distinctness still retains a justificatory dependence on moral values. We argue that the former notion is unattractive since the costs of commitment will be too high, and that the latter notion is sound but redundant since no moralist would ever reject it. Furthermore, we end the paper by discussing what we see as the most fruitful way of approaching political and moral normativity in political theory. (shrink)