Is the history of philosophy primarily a contribution to PHILOSOPHY or primarily a contribution to HISTORY? This paper is primarily contribution to history (specifically the history of New Zealand) but although the history of philosophy has been big in New Zealand, most NZ philosophers with a historical bent are primarily interested in the history of philosophy as a contribution to philosophy. My essay focuses on two questions: 1) How did New Zealand philosophy get to be so good? And why, given (...) that is so good (a point I am at pains to establish), has it apparently had so slight a cultural impact within New Zealand itself? Did we get the wrong Anderson – the uninspiring William, who was Professor at Auckland, rather than his talented younger brother John, who had such a huge cultural influence as Professor of Philosophy at Sydney? Perhaps but that can only be part of the story since we managed to attract even bigger stars, (notably Karl Popper) as well as breeding bigger talents of our own (Prior, Baier, Bennett, Mulgan, Hursthouse, Waldron and many more). Do we export our best talent? Sometimes – but the stars that stay and the stars who arrive don’t seem to have much impact in New Zealand itself however brightly they shine in the international philosophical firmament. Is it too esoteric? Perhaps, but esoteric philosophy can still have a cultural impact, witness, Moore, Popper and the younger Anderson. Is it, like many of New Zealand’s cultural products (from romance novels to movies), primarily intended for an international audience? That’s a large part of the answer but only a part. Another part of the answer is that philosophy HAS had a cultural impact but that impact is not readily apparent. For NZ philosophers have been less keen to push their ideological barrows and more keen to produce critical thinkers, and critical thinkers don’t all think alike. The logician George Hughes was apparently a life-changing teacher not because he had a nostrum but because he taught people to think. As one of his students said ‘the only ism you believe in is the syllogism’. On the whole the history of New Zealand Philosphy is a ‘From Log Cabin to White House’ tale, ‘From colonial obscurity through struggle and adversity to philosophical excellence’. But there are shadows in the picture. Some departments have nearly come to grief through bureaucratic and political misadventures, and it is hard to resist the suspicion that there is often an element of hostility to philosophers on the part of both university bureaucrats and fellow-academics. I speculate as to why this is the case (we are too argumentative and don’t confine our argumentative tendencies to the cloister) but conclude with some upbeat reflections. on the future of New Zealand Philosophy. (shrink)

In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which each predicate pertains to a different perspective. This phenomenon has been shown to be problematic for (at least certain versions of) relativism. My main aim is to further the discussion by showing that the phenomenon extends to other perspectival expressions than predicates (...) of taste and by proposing a general solution to the problem raised by it on behalf of the relativist. The core claim of the solution (" multiple indexing ") is that utterances of sentences containing perspectival expressions should be evaluated with respect to (possibly infinite) sequences of perspective parameters. (shrink)

It is demonstrated that Hamblin's 15 tense theorem does not only hold for temporal logic with linear time but also for branching time. Furthermore three other theorems with finitely many tenses are shown.

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

In this book, William Brant inquires how violence is reduced. Social causes of violence are exposed. War, sexual domination, leadership, propagandizing and comedy are investigated. Legal systems are explored as reducers and implementers of violence and threats.

We present the logic $${\mathsf {LCB}}$$ LCB which is expressed in a propositional language constantly enriched by new atomic expressions. Our formal framework is the propositional doxastic logic $${\mathsf {KD45}}$$ KD 45 with the belief operator $${\mathcal {B}}$$ B, extended by the $${\mathcal {C}}$$ C operator, to be read it changes that.... We describe the changing beliefs of an agent who uses progressively expanding language. The approach presented here allows us to weaken pragmatic objections to the so-called principle of negative (...) retrospection accepted in $${\mathsf {KD45}}$$ KD 45 and the problem of logical omniscience. In what follows, we present the expanding propositional language used in our formalism, interpreted using an epistemic version of Kripke semantics. Next, we give a syntactic characterization of logic $${\mathsf {LCB}}$$ LCB and prove the soundness and completeness of $${\mathsf {LCB}}$$ LCB in respect to our semantics. Finally, we compare the idea of expanding language with the notion of agent awareness and we relate our formalism to two epistemic temporal logics. (shrink)

The logic of change formulated by K. Świętorzecka, has its motivation coming from the Aristotelian theory of substantial change which is undrstood as a transformation consisting in the disappearing and becoming of individual substances. The transition: becoming/disapearing (and conversely) is expressed in by the primitive operator C, to be read: it changes that …, and it is mapped by the progressively expanding language. We are interested in attributive changes of individual substances. We consider a formalism with two non-normal and not (...) mutually definable operators of possible and necessary change, inspired by Aristotelian distinction of accidental and essential attributes. From we adopt the idea that temporal concepts are defined via change operators, and the idea of an expanding language. In what follows, We axiomatise our new logic and describe its semantics, giving the proof of its completeness. We compare our formalism with selected modal logics. (shrink)

Self-consciousness in non-human animals is a complex phenomenon which raises both conceptual and methodological problems. First, what do we mean by the concept of ‘self-consciousness’? Secondly, what is the best experimental approach to self-consciousness? This paper gives a short overview of the concept of self-consciousness in section 1. We can understand the concept of self-consciousness as capturing the ability of subjects to consciously think about themselves as themselves. If this is accurate, then it is prudent to look at a broad (...) bundle of abilities which are related to this ability. The paper then focuses on advantages and problems of the multipronged approach, a kind of empirical approach which uses several different test criteria to determine whether a subject is self-conscious or not. Section 2 briefly contrasts this kind of approach with other possibilities. The main disparity is to singlepronged approaches, which have been discussed and dismissed in greater detail elsewhere. Section 3 discusses the advantages of a multipronged approach, whereas section 4 is dedicated to the discussion of some of its problems. (shrink)

The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put (...) emphasis on some selected topics. Even these could not be roverrd completely, but for each topic I have attempted to present a detailed and precise t’Xposition of several basic results including some which are non-trivial. The roots of some of the central ideas in the volume go back to J. Luka siewicz’s seminar on mathematicallogi. (shrink)

The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem''s modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap''s display logic by introduction rules for the existential and the universal quantifier. These rules for x and x are analogous to the display introduction rules for the modal operators and and do not themselves allow the Barcan formula or its converse to (...) be derived. En route from the minimal modal predicate logic to full first-order logic, axiomatic extensions are captured by purely structural sequent rules. (shrink)

We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates a number of default-beliefs of object-level formulas. We extend this framework by proposing a mechanism to reflect these defaults down. Such a reflection is seen as essentially having a temporal flavour: defaults derived at the meta-level (...) are projected as facts in a next object level state. In this way, we obtain temporal models for default reasoning in meta-level formalisms which can be conceived as labeled branching trees. Thus, descending the tree corresponds to shifts in time that model downward reflection, whereas the branching of the tree corresponds to ways of combining possible defaults. All together, this yields an operational or procedural semantics of reasoning by default, which admits one to reason about it by means of branching-time temporal logic. Finally, we define sceptical and credulous entailment relations based on these temporal models and we characterize Reiter extensions in our semantics. (shrink)

Anderson-like ontological proofs, studied in this paper, employ contingent identity, free principles of quantification of the 1st order variables and classical principles of quantification of the 2nd order variables. All these theories are strongly complete wrt. classes of modal structures containing families of world-varying objectual domains of the 1st order and constant conceptual domains of the 2nd order. In such structures, terms of the 1st order receive only rigid extensions, which are elements of the union of all 1st order domains. (...) Terms of the 2nd order receive extensions and intensions. Given a family of preselected world-varying objectual domains of the 2nd order, non-rigid extensions of the 2nd order terms belong always to a preselected domain connected with a given world. Rigid intensions of the 2nd order terms are chosen from among members of a conceptual domain of the 2nd order, which is the set of all functions from the set of worlds to the union of all 2nd order preselected domains such that values of these functions at a given world belong to a preselected domain connected with this world. (shrink)

Arguably, there is no substantial, general answer to the question of what makes for the approximate truth of theories. But in one class of cases, the issue seems simply resolved. A wide class of applied dynamical theories can be treated as two-component theories—one component specifying a certain kind of abstract geometrical structure, the other giving empirical application to this structure by claiming that it replicates, subject to arbitrary scaling for units etc., the geometric structure to be found in some real-world (...) dynamical phenomenon. In such a case, a theory is approximately true just if the one geometric structure approximately replicates the other (and if problems remain here, they are problems in geometry, of specifying suitable metric approximation relations, not conceptual problems). This article amplifies and defends this simple approach to approximate truth for dynamical theories. (shrink)

In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...) start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

Charles Peirce incorporates modality into his Existential Graphs by introducing the broken cut for possible falsity. Although it can be adapted to various modern modal logics, Zeman demonstrates that making no other changes results in a version that he calls Gamma-MR, an implementation of Jan Łukasiewicz's four-valued Ł-modal system. It disallows the assertion of necessity, reflecting a denial of determinism, and has theorems involving possibility that seem counterintuitive at first glance. However, the latter is a misconception that arises from overlooking (...) the distinction between the intermediate truth values that are assigned to possibly true propositions as either X-contingent or Y-contingent. Any two propositions having the same ITV are possible together, while any two propositions having different ITVs, including those that are each other's negation, are possible individually yet not possible together. Porte shows that Ł-modal can be translated into classical logic by defining a constant for each ITV such that its implication of another proposition asserts the latter's possibility, while its conjunction with another proposition asserts the latter's necessity. These are expressed in the Alpha part of EG without broken cuts, simplifying derivations and shedding further light on Łukasiewicz's system, as long as graphs including either of the constants are properly interpreted. Ł-modal and Gamma-MR thus capture the two-sided nature of possibility as the limit between truth and falsity in Peirce's triadic conception. (shrink)

This approach does not define a probability measure by syntactical structures. It reveals a link between modal logic and mathematical probability theory. This is shown (1) by adding an operator (and two further connectives and constants) to a system of lower predicate calculus and (2) regarding the models of that extended system. These models are models of the modal system S₅ (without the Barcan formula), where a usual probability measure is defined on their set of possible worlds. Mathematical probability models (...) can be seen as models of S₅. (shrink)

De re modality is eliminable if there is an effective translation of all wffs into non-de re equivalents. We cannot have logical equivalence unless 'logic' has odd theses, but we can have material equivalence by banning all essences, something the nonde re facts let us do, or by giving everything such humdrum essences as self-identity and banning the more interesting ones. Eliminability cannot be got from weaker assumptions, nor independent ones of even modest generality. The net philosophical import is that, (...) quite apart from the merits of essentialism, de re language has scant utility. (shrink)

In this paper, I present and motivate a modal set theory consistent with the idea that there is only one size of infinity.

Planning problems arise in law when an individual (or corporation)wants to perform a sequence of actions that raises legal issues. Manylawyers make their living planning transactions, and a system thathelped them to solve these problems would be in demand.The designer of such a system in a common-law domain must addressseveral difficult issues, including the open-textured nature of legal rules,the relationship between legal rules and cases, the adversarial nature ofthe domain, and the role of argument. In addition, the system's design isconstrained (...) by the fact that the intended users are lawyers, and its operation and output must be convenient for lawyers to use.In this article, I describe a system called CHIRON that I have developed to explore solutions to these issues. This system develops simple plans from representations of statutes and cases in the domain of United States personal income tax planning. (shrink)

In various arguments, Descartes relies on the principles that conceivability implies possibility and that inconceivability implies impossibility. Those principles are in tension with another Cartesian view about the source of modality, i.e. the doctrine of the free creation of eternal truths. In this paper, I develop a ‘two-modality’ interpretation of the doctrine of eternal truths which resolves the tension and I discuss how the resulting modal epistemology can still be relevant for the contemporary discussion.

The paper considers the role of modality in the rational reconstruction of standpoints and arguments. The paper examines in what conditions modal markers can act as argumentative indicators and what kind of cues they provide for the reconstruction of argument. The paper critically re-examines Toulmin’s hypothesis that the meaning of the modals can be analyzed in terms of a field-invariant argumentative force and field-dependent criteria in the light of the Theory of Relative Modality developed within linguistic semantics, showing how this (...) theory can provide a more adequate model for exploiting the modals as indicators. The resulting picture confirms Toulmin’s intuition only in part: on the one hand the modals are always relational in nature and dependent on a contextual conversational background of propositions; on the other hand only epistemic-doxastic modals directly express a speech-act level inferential relation between a set of premises and a standpoint. Other modalities express relations (e.g. causal or final relations) better seen as part of the content of the argument whose argumentative relevance depends on the argumentation scheme employed. Thus non-epistemic modals function as argumentative indicators only indirectly. (shrink)

This paper discusses a new aporia, the aporia of future directed beliefs. This aporia contains three propositions: (1) It is possible that there is someone who is infallible that believes something about the future that is not historically settled, (2) it is necessary that someone is infallible if and only if it is necessary that everything she believes is true, and (3) it is necessary that all our beliefs are historically settled. Every claim in this set is intuitively plausible, and (...) there are interesting arguments for or against each of them. Nevertheless, {(1), (2), (3)} entails a contradiction. Consequently, at least one of the sentences in this set must be false. I consider some possible solutions to the problem and discuss some arguments for and against these solutions. Five solutions, in particular, stand out. Three solutions reject (1), one solution rejects (2), and one solution rejects (3). No solution is without problems, and it is not obvious which one we should choose. Yet, we have to give up at least one sentence in {(1), (2), (3)}. This is the nature of an aporia. (shrink)

In this paper I show that one version of motivational internalism follows from the so-called ideal observer theory. Let us call the version of the ideal observer theory used in this essay (IOT). According to (IOT), it is necessarily the case that it ought to be that A if and only if every ideal observer wants it to be the case that A. We shall call the version of motivational internalism that follows from (IOT) (moral) conditional belief motivational internalism (CBMI). (...) According to (CBMI), it is necessarily the case that, for every x: if x were an ideal observer, it would be the case that x believes that it ought to be that A only if x wants it to be the case that A. Given that it is necessarily true that no ideal observer has any false beliefs, (IOT) entails (CBMI). Or, so I shall argue. (shrink)

The Moral Law is fulfilled iff everything that ought to be the case is the case, and The Good is realised in a possible world w at a time t iff w is deontically accessible from w at t. In this paper, I will introduce a set of temporal modal deontic systems with propositional quantifiers that can be used to prove some interesting theorems about The Moral Law and The Good. First, I will describe a set of systems without any (...) propositional quantifiers. Then, I will show how these systems can be extended by a couple of propositional quantifiers. I will use a kind of TxW semantics to describe the systems semantically and semantic tableaux to describe them syntactically. Every system will include a constant · that stands for The Good. ‘·’ is read as ‘The Good is realised’. All systems that contain the propositional quantifiers will also include a constant '*' that stands for The Moral Law. '*' is read as ‘The Moral Law is fulfilled’. I will prove that all systems (without the propositional quantifiers) are sound and complete with respect to their semantics and that all systems (including the extended systems) are sound with respect to their semantics. It is left as an open question whether or not the extended systems are complete. (shrink)

In this paper, I will develop a new theory of the nature of happiness, or “perfect happiness.” I will examine what perfect happiness is and what it is not and I will try to answer some fundamental questions about this property. According to the theory, which I shall call “the fulfillment theory,” perfect happiness is perfect fulfillment. The analysis of happiness in this paper is a development of the old idea that happiness is getting what you want and can be (...) classified as a kind of desire-satisfaction theory. According to the fulfillment theory of happiness, it is necessarily the case that an individual x is perfectly happy if and only if all x’s wants are fulfilled. The interpretation of this basic definition is important, since the consequences of the particular version defended in this essay are radically different from the consequences of many other popular theories of happiness. The fulfillment theory is also quite different from most other desire-satisfaction theories of happiness. We will see that it has many interesting consequences and that it can be defended against some potentially serious counterarguments. The upshot is that the analysis of (perfect) happiness developed in the present paper is quite attractive. (shrink)

In this paper, I will develop a set of boulesic-doxastic tableau systems and prove that they are sound and complete. Boulesic-doxastic logic consists of two main parts: a boulesic part and a doxastic part. By ‘boulesic logic’ I mean ‘the logic of the will’, and by ‘doxastic logic’ I mean ‘the logic of belief’. The first part deals with ‘boulesic’ concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of boulesic expression: ‘individual x wants it to be (...) the case that’ and ‘individual x accepts that it is the case that’. The second part deals with ‘doxastic’ concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of doxastic expression: ‘individual x believes that’ and ‘it is imaginable to individual x that’. Boulesic-doxastic logic investigates how these concepts are related to each other. Boulesic logic is a new kind of logic. Doxastic logic has been around for a while, but the approach to this branch of logic in this paper is new. Each system is combined with modal logic with two kinds of modal operators for historical and absolute necessity and predicate logic with necessary identity and ‘possibilist’ quantifiers. I use a kind of possible world semantics to describe the systems semantically. I also sketch out how our basic language can be extended with propositional quantifiers. All the systems developed in this paper are new. (shrink)

In this paper, I develop a new set of doxastic logical systems and I show how they can be used to solve several well-known problems in doxastic logic, for example the so-called problem of logical omniscience. According to this puzzle, the notions of knowledge and belief that are used in ordinary epistemic and doxastic symbolic systems are too idealised. Hence, those systems cannot be used to model ordinary human or human-like agents' beliefs. At best, they can describe idealised individuals. The (...) systems in this paper can be used to symbolise not only the doxastic states of perfectly rational individuals, but also the beliefs of finite humans. Proof-theoretically, I will use a tableau technique. Every system is combined with predicate logic with necessary identity and ‘possibilist’ quantifiers and modal logic with two kinds of modal operators for relative and absolute necessity. The semantics is a possible world semantics. Finally, I prove that every tableau system in the paper is sound and complete with respect to its semantics. (shrink)

The principal aim of this essay is to discuss some logical features of the so-called Classical model of cognitive architecture as it is advocated by J. Fodor and Z. Pylyshyn in their much discussed article 'Connectionism and Cognitive Architecture: A Critical Analysis'. It is pointed out that their structural assumptions have consequences of a logical kind which call into question the view that the Classical architecture (in their sense) can be employed to model human cognition. It seems that the consequences (...) have escaped Fodor and Pylyshyn's notice, or else they have failed to appreciate them, since some of their claims evidently conflict with them. It is also investigated whether the human mind can be characterized as being logical in some weaker sense of logic. Furthermore, it is argued that J. H. Fetzer's view that it is a semiotic system is more realistic than the Classical model, but the distinction he suggests between human cognition and other kinds may be problematic. (shrink)

The canonical version of possible worlds semantics for story prefixes is due to David Lewis. This paper reassesses Lewis's theory and draws attention to some novel problems for his account.

Many people hold that there is a distinctive notion of metaphysical necessity. In this paper I explain why I am skeptical about the view. I examine the sorts of considerations that are adduced for it, and argue that they meet equal and opposite considerations.

The essay introduces a non-Diodorean, non-Kantian temporal modal semantics based on part-whole, rather than class, theory. Formalizing Edmund Husserl’s theory of inner time consciousness, §3 uses his protention and retention concepts to define a relation of self-awareness on intentional events. §4 introduces a syntax and two-valued semantics for modal first-order predicate object-languages, defines semantic assignments for variables and predicates, and truth for formulae in terms of the axiomatic version of Edmund Husserl’s dependence ontology (viz. the Calculus [CU] of Urelements) introduced (...) by The Ontology of Intentionality I & II. It then uses the §3 results to define the modalities of truth, and §5 extends the semantics to identity claims. §6 defines and contrasts synthetic a priori truths to analytic a priori truths, and §7 compares Brentano School noetic semantic and Leibnizian possible-world semantic perspectives on modality. The essay argues that the modal logics it defines semantically are two-valued, first-order versions of the type of language which Husserl viewed as the language of any ontology of experience (i.e. of any science), and conceived as the logic of intentionality. (shrink)

This essay examines some of the arguments in David Deutsch's book The Fabric of Reality , chief among them its case for the so-called many-universe interpretation of quantum mechanics (QM), presented as the only physically and logically consistent solution to the QM paradoxes of wave/particle dualism, remote simultaneous interaction, the observer-induced 'collapse of the wave-packet', etc. The hypothesis assumes that all possible outcomes are realized in every such momentary 'collapse', since the observer splits off into so many parallel, coexisting, but (...) epistemically non-interaccessible 'worlds' whose subsequent branchings constitute the lifeline-or experiential world-series- for each of those proliferating centres of consciousness. Although Deutsch concedes that his 'multiverse' theory is counter-intuitive, he none the less takes it to be borne out beyond question by the sheer observational/predictive success of QM and the conceptual dilemmas that supposedly arise with alternative (single-universe) accounts. Moreover, he claims the theory resolves a range of longstanding philosophical problems, notably those of mind/body dualism, the various traditional paradoxes of time, and the freewill/determinism issue. The essay suggests on the contrary, that Deutsch unwittingly transposes into the framework of presentday quantum debate speculative themes from the history of rationalist metaphysics, often with bizarre or philosophically dubious results, and that he rules out at least one promising rival account, namely Bohm's 'hidden variables' theory. It goes on to consider reasons for resistance to that theory among proponents of the 'orthodox' (Copenhagen) doctrine, and for the strong anti-realist, at times even irrationalist bias that has characterized much of this discussion since Bohr's debates with Einstein about quantum non-locality, observer-intervention, and the limits of precise measurement. Finally, the contrast is pointed out between Deutsch's ontologically extravagant use of the many-worlds hypothesis (akin to certain ideas advanced by speculative metaphysicians from Leibniz down) and those realist modes of counterfactual reasoning- e.g. in Kripke and the early Putnam- which deploy similar arguments to very different causal-explanatory ends. (shrink)

We give complete sequent-like tableau systems for the modal logics KB, KDB, K5, and KD5. Analytic cut rules are used to obtain the completeness. Our systems have the analytic superformula property and can thus give a decision procedure. Using the systems, we prove the Craig interpolation lemma for the mentioned logics.

The concept of God is studied using the ontological argument of Anselm of Canterbury that proves God’s existence using a syllogism based on ontology. Unlike metaphysical arguments that demonstrate the existence of God through the study of being and its attributes, the ontological argument aims to reach this same goal based on a concept of God by means of the idea of an entity “greater than anything that can be conceived”. Descartes’ influence highlighted some of the philosophical difficulties with the (...) inherent dualism implicit in ontology. Logic does not say whether ideas are true or false, as Logic is concerned with right or wrong inference. We take a non-dualist approach in contrast to some of the approaches reviewed. To investigate belief and faith, a modal logical formalization is used, especially modal logic S5, which we find appropriate for presenting arguments. While mathematics and logic can convince, they do not help one to believe in God. This can make us think that reason is not enough to accept God, one must have faith to have access to Him. The relation between reason and faith needs clarification, and the ontological argument requires an unsustainable dualism. (shrink)

The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

The claim that truth is mind dependent has some initial plausibility only if truth bearers are taken to be mind dependent entities such as beliefs or statements. Even on that assumption, however, the claim is not uncontroversial. If it is spelled out as the thesis that “in a world devoid of mind nothing would be true”, then everything depends on how the phrase ‘true in world w’ is interpreted. If ‘A is true in w’ is interpreted as ‘A is true (...) of w’ (i.e. ‘w satisfies A’s truth conditions’, the claim need not be true. If on the other hand it is interpreted as ‘A is true of w and exists in w’ then the claim is trivially true, though devoid of any antirealistic efficacy. Philosophers like Heidegger and Rorty, who hold that truth is mind dependent but reality is not, must regard such principles as “A if and only if it is true that A” as only contingently true, which may be a good reason to reject the mind dependence of truth anyway. (shrink)

The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a language of thought analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.