Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

If the computational theory of mind is right, then minds are realized by machines. There is an ordered complexity hierarchy of machines. Some finite machines realize finitely complex minds; some Turing machines realize potentially infinitely complex minds. There are many logically possible machines whose powers exceed the Church–Turing limit (e.g. accelerating Turing machines). Some of these supermachines realize superminds. Superminds perform cognitive supertasks. Their thoughts are formed in infinitary languages. They perceive and manipulate the infinite detail of fractal objects. They (...) have infinitely complex bodies. Transfinite games anchor their social relations. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds on Hintikka’s modal (...) approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

In this talk I present the main results from Anta (2021), namely, that the theoretical division between Boltzmannian and Gibbsian statistical mechanics should be understood as a separation in the epistemic capabilities of this physical discipline. In particular, while from the Boltzmannian framework one can generate powerful explanations of thermal processes by appealing to their microdynamics, from the Gibbsian framework one can predict observable values in a computationally effective way. Finally, I argue that this statistical mechanical schism contradicts the Hempelian (...) (1958) thesis that the predictive power of a scientific theory is directly proportional to its explanatory potential, and vice versa. (shrink)

The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...) which ascriptions like ‘Mary knows Smith’ are regarded as formally interesting in their own right, remaining neutral on their relation to ascriptions of propositional knowledge. The resulting logical framework, which is based on Hintikka’s modal approach to epistemic logic, provides a fresh perspective on various issues and notions at play in the philosophical debate on acquaintance. (shrink)

This paper argues for a Husserlian account of phenomenal intentionality. Experience is intentional insofar as it presents a mind-independent, objective world. Its doing so is a matter of the way it hangs together, its having a certain structure. But in order for the intentionality in question to be properly understood as phenomenal intentionality, this structure must inhere in experience as a phenomenal feature. Husserl’s concept of horizon designates this intentionality-bestowing experiential structure, while his concept of motivation designates the unique phenomenal (...) character of this structure as it is experientially lived through. The way experience hangs together is itself a phenomenal feature of experience. (shrink)

An aim of science is to find truths about reality. These truths are collected together to form systematic knowledge structures called theories. Theories are intended to create a truthful picture of the reality behind the study. Together with all the other fields of science we get a scientific picture or a world view. This scientific world view is open in the sense that not all truths are known by scientists and not all present day theories are true. So, there is (...) no reason to assume that any field of science has been or will be completed; science is essentially progressive, or an open ended approach. Science is not the only method of picturing, but the view that science is the best human method for knowledge acquisition is well justified. Knowledge is not all we humans are looking for; we need to make our lives meaningful. The meaningfulness may be achieved through science, art, or practical activity. It is interesting to compare literature and science. Both are expressed linguistically, but the aims of literature and science seem to be very different. We are looking for the theoretical interconnection between science and literature, but the proper dialogue can be found not through science, literature or philosophy, but through pedagogy. (shrink)

I have three main objectives in this essay. First, in chapter 2, I shall put forward and justify what I call worldlessness, by which I mean the following: All truths (as well as falsehoods) are wholly independent of any circumstances, not only time and place but also possible worlds. It follows from this view that whatever is actually true must be taken as true with respect to every possible world, which means that all truths are (in a sense) necessary. However, (...) the account I shall propound is different from what is known in the trade as necessitarianism, i.e. the view that there is only one possible world, viz. the actual one, for the doctrine of the worldlessness of truth values, despite its commitment to the necessity of truths and falsehoods, is quite compatible with the idea of there being other possible worlds. Another important issue in chapter 2, explored in particular in section 2.12, is the claim that there is no real change in the world. Secondly, in chapter 3 I consider the eminent traditional argument for determinism, deriving from Aristotle, namely, logical determinism, i.e. determinism justified by an appeal to the logical principle of bivalence (that all proper statements, including those concerning the future, are either true or false). In this connection I try to show that, (i), the formulation of the conclusion of this argument as "Whatever will happen will happen of necessity" is implausible, at least from the modern point of view, (ii), the formulation as "Whatever will happen will happen inevitably" is more to the point, and (iii), on the basis of the worldless and timeless aspect advocated in chapter 2, this latter formulation is quite harmless, essentially amounting to the trivial statement, "Whatever will happen will happen". Thirdly, in chapter 4 I study theological determinism, or determinism that arises from God's supposed providential control over everything that happens. In this connection, I shall survey some historical accounts of the relation between human free will and determinism (not only theological but also causal determinism); the philosophers the views of whom I shall attend to include Chrysippus, St. Augustine, Boethius and Aquinas. I shall in particular consider G.W. Leibniz' theodicean aspirations, viz. his solution to the problem of evil and, especially, his compatibilist attempts to reconcile human free will with the strictly deterministic flow of actual events. I think it is important to try to explicate Leibniz' ingenious account of these matters, since it seems that it has not been fully appreciated in the literature, not even by contemporary Leibniz scholars (such as B. Mates, R.C. Sleigh, C. Wilson, R.M. Adams and D. Rutherford). In providing the Leibnizian compatibilist solution of the problem of determinism and freedom in chapter 4, I shall utilize the approach of chapter 2. (shrink)

In Prior’s tense-logical analysis, we can avoid mentioning instants in our language by construing them as propositions of a special kind. Instead of qualifying instants by predicates, we may qualify propositions by modalities. Prior shows that by changing the informal interpretation of our modal-like language, we can similarly attempt to avoid ontological commitments to worlds and even to selves and other bona fide individuals. As he notes, the paraphrasing strategy works too generally to be of direct metaphysical use. I wish (...) to speak of several types of entities within one and the same language. This leads to the issue of cross-context identity: how to make sense of speaking of the same entity of one type relative to distinct entities of another type. My analysis employs the notion of world line. I discern a structure of mutually interrelated categories with three informal interpretations: tense, modal and egocentric. They correspond to different metaphysical views on the interrelations of time, logical alternatives and individuals. Prior’s dilemma regarding the possibility of modalizing, not only our talk concerning times and worlds, but even our discourse pertaining to the ‘real world of individuals’ does not vanish but reappears also in my setting. (shrink)

Frege has proposed to consider names as denoting objects, predicates as standing for concepts and sentences as denoting truth values. He was, however, aware that such denotation does not exhaust all what is to be said about meaning. Therefore he has urged that in addition to such denotation (Bedeutung) an expression has sense (Sinn). The sense is the "way of presentation" of denotation; hence the expressions Morning Star and Evening Star have identical denotations, but different senses. Carnap has proposed to (...) replace Frege's distinction between Sinn and Bedeutung by the distinction between intension and extension. Extension is, according to Carnap, what is shared by every two expressions which can be truthfully declared equivalent; where equivalence means a bit different things for different grammatical categories. In the formalism of the classical logic, the equivalence of two terms T1 and T2 is expressed by the formula T1=T2, that of two sentences ↔ ↔ S1 and S2 is by the formula S1↔ ↔S2, and that of two unary predicates P1 and P2 by the formula.. (shrink)

Responding to the myth of a purely sensuous “given”, we turn to phenomenology, to the structure of consciousness in an everyday perception of an everyday object. We first consider Brentano’s model of an act of consciousness: featuring the presentation of an object “intentionally” contained “in” the act, joined by the presentation of that object-presentation in “inner consciousness”. We then dig into Husserl’s intricate “semantic” theory of intentionality: featuring “noematic” meaning within a “horizon” of implicated meaning regarding the object of perceptual (...) consciousness. Brentanian inner consciousness morphs into “inner time consciousness” for Husserl, where noematic sense shapes more basic sensory elements of temporal experience. Drawing on these Brentanian and Husserlian analyses, we develop an enhanced account of how an object is “given” in perceptual acquaintance or “intuition”: by virtue of a structure of meaning entertained in the experience. This account we develop further in a “modal” model of the structure of consciousness in everyday perception: distinguishing fundamental factors of phenomenal intentional experience, including inner awareness, phenomenality, and spatiotemporal awareness. Within this model, we specify how the external object of perception is “constituted” in consciousness by virtue of ideal meaning, all within the real world wherein an intentional relation of acquaintance links the perceptual experience with its object. What is “given” in a familiar type of perceptual acquaintance turns out to be quite complex, embracing: the object perceived, the visual experience, its subject, the spatiotemporal context including consciousness and object, and the manifold of meaning shaping the “constitution” of the given object. Where we refer to historical figures, including Husserl, the aim is theoretical rather than exegetical, seeking to develop a contemporary theory of “the given” with roots in classical philosophical views. The resulting theory develops in a series of explorations of increasing complexity in the phenomenology and attendant ontology of “the given”. (shrink)

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...) within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons, they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How. (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

When the original Dutch version of this book was presented in 1971 to the University of Leiden as a thesis for the Doctorate in philosophy, I was prevented by the academic mores of that university from expressing my sincere thanks to three members of the Philosophical Faculty for their support of and interest in my pursuits. I take the liberty of doing so now, two and a half years later. First and foremost I want to thank Professor G. Nuchelmans warmly (...) for his expert guidance of my research. A number of my most im portant sources were brought to my attention by him. During the whole process of composing this book his criticism and encouragement were carried out in a truly academic spirit. He thereby provided working conditions that are a sine qua non for every author who is attempting to approach controversial matters in a scientific manner, conditions which, however, were not easily available at that time. In a later phase I also came into contact with Professors L. M. de Rijk and J. B. Ubbink, with both of whom I had highly stimulating discussions and exchanges of ideas. The present edition contains some entirely new sections, viz. 1-9, IV-29, V-9, V-20, VII-14 (iii), (iv), VII-17 (i), VIII-22, IX-17, IX-19, X-9 and XI-8. Section X-9 was inspired by a remark made by Professor A. (shrink)

This paper is concerned with the acquisition of certain aspects of the meaning of epistemic modal verbs. Epistemic modals encode the probability, predictability or certainty of the proposition embedded under the modal verb. The sentences in (1) are examples of epistemic modality1.

This is a study of the epistemology of indexical reference, Or its foundation in the intentionality of the speaker's awareness of the referent. Where the referent is the object of the speaker's acquaintance on that occasion, The sense expressed is the generic content of that awareness. This, Indexical sense determines indexical reference, But indexical sense works by appeal to the context of the speaker's awareness of the referent. It is discussed how, By virtue of indexical sense, Indexical reference is rigid, (...) I.E. Picks out the same referent in any possible world. (shrink)

Model-theoretic 1-types overa given first-order theory T may be construed as natural metalogical miniatures of G. W. Leibniz' ``complete individual notions'', ``substances'' or ``substantial forms''. This analogy prompts this essay's modal semantics for an essentiallyundecidable first-order theory T, in which one quantifies over such ``substances'' in a boolean universe V(C), where C is the completion of the Lindenbaum-algebra of T.More precisely, one can define recursively a set-theoretic translate of formulae N of formulae of a normal modal theory Tm based on (...) T, such that the counterpart `i' of a the modal variable `xi' of L(Tm) in this translation-scheme ranges over elements of V(C) that are 1-types of T with value 1 (sometimes called `definite' C-valued 1-types of T). (shrink)

Limited distribution phenomena related to negation and negative polarity are usually thought of in terms of affectivity where affective is understood as negative or downward entailing. In this paper I propose an analysis of affective contexts as nonveridical and treat negative polarity as a manifestation of the more general phenomenon of sensitivity to (non)veridicality (which is, I argue, what affective dependencies boil down to). Empirical support for this analysis will be provided by a detailed examination of affective dependencies in Greek, (...) but the distribution of any will also be shown to follow from (non)veridicality. (shrink)

Some fictionalist approaches to the notion of scientific model are based on the concept of game of make-believe developed by Kendall Walton, without proposing a similar interpretation of it. The distinction between authorized and unauthorized games can be one of the sources of those divergences. In relation to the distinction made by Walton, the de dicto and de re modalities of the fiction-operator reflect different epistemological engagements concerning objects which satisfy properties. This paper aims at following up on the proposals (...) formulated by Roman Frigg and Adam Toon by using some modal logic concepts, notably by defining the identities of properties in modal contexts in terms of world-lines. Applying a model to a target-system consists in transposing fictional truths into actual situations, through an extrapolation that goes beyond the games of make-believe. (shrink)

How to interpret singular terms in fiction? In this paper, we address this semantic question from the perspective of the Artifactual Theory of Fiction (ATF). According to the ATF, fictional characters exist as abstract artifacts created by their author, and preserved through the existence of copies of an original work and a competent readership. We pretend that a well-suited semantics for the ATF can be defined with respect to a modal framework by means of Hintikka’s world lines semantics. The question (...) of the interpretation of proper names is asked in relation to two inference rules, problematic when applied in intensional contexts: the Substitution of Identicals and Existential Generalization. The former fails because identity is contingent. The latter because proper names are not necessarily linked to well-identified individuals. This motivates a non-rigid interpretation of proper names in fiction, although cross-fictional reference (e.g. to real entities) is made possible by the interpretative efforts of the reader. (shrink)

The present study focuses on a grammatical category called evidentiality. The primary meaning of evidentiality is concerned with information source. That is, it expresses whether something has been seen, heard or inferred. The aim here is to conduct a conceptual study of evidentiality in which use is made of formal tools. The fundamental intuition is that the distinction between ‘evidence’as ‘proof’and ‘evidentiality’as ‘to do with proof’is a crucial one. Evidentiality is a dynamic notion to be analysed through the use of (...) knowledge by the agents, a knowledge in action, which involves an in-coming state and an out-coming state that is typical of the transmission of information. We propose our own approach in which the dynamics of knowledge in action is grasped in the context of a dynamic epistemic logic. (shrink)

Jaakko Hintikka points out the power of Skolem functions to affect both what there is and what we know. There is a tension in his presupposition that these functions actually extend the realm of logic. He claims to have resolved the tension by “reconstructing constructivism” along epistemological lines, instead of by a typical ontological construction; however, after the collapse of the distinction between first and second order, that resolution is not entirely satisfactory. Still, it does throw light on the conceptual (...) analysis Hintikka proposes. (shrink)

The frequently used term "certainty" plays in the human life an important role, especially in specifying the goals of human activities. The presented study distinguishes two different meanings of this term: the certainty as a state of the mind and the certainty of anything, i.e. the certainty connected with a set of specific conditions. A certainty in the former meaning is usually presented as an important component of some ideologies. As an explanatory model of the certainty of anything, there could (...) be applied the approaches developed in the sphere of intensional or modal logics, especially the concept of epistemic attitudes. The contemporary scientific and technological thinking usually justifies an acceptable model od epistemic attitudes by means of various measures based on the scheme of decreasing uncertainty or, as it is typical for information models, by means of decreasing entropy level. (shrink)