On the Proof Theory of the Modal mu-Calculus

We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to derive the truth of a greatest fixed point from the truth of each of its (infinitely many) approximations. Then we recall a second infinitary calculus which is based on non-well-founded trees. In this system proofs are finitely branching but may contain infinite branches as long as some greatest fixed point is unfolded infinitely often along every branch. The main contribution of our paper is a translation from proofs in the first system to proofs in the second system. Completeness of the second system then follows from completeness of the first, and a new proof of the finite model property also follows as a corollary. Presented by Heinrich Wansing     

Complexity of the Universal Theory of Modal Algebras

Studia Logica - We apply the theory of partial algebras, following the approach developed by Van Alten (Theor Comput Sci 501:82–92, 2013), to the study of the computational...     

Object Theory and Modal Meinongianism

In this paper, we compare two theories, modal Meinongianism (MM) and object theory (OT), with respect to several issues that have been discussed recently in the literature. In particular, we raise some objections for MM, undermine some of the objections that its defenders raise for OT, and we point out some virtues of the latter with respect to the former.     

A Model Theory of Modal Reasoning

This paper presents a new theory of modal reasoning, i.e. reasoning about what may or may not be the case, and what must or must not be the case. It postulates that individuals construct models of the premises in which they make explicit only what is true. A conclusion is possible if it holds in at least one model, whereas it is necessary if it holds in all the models. The theory makes three predictions, which are corroborated experimentally. First, conclusions correspond to the true, but not the false, components of possibilities. Second, there is a key interaction: it is easier to infer that a situation is possible as opposed to impossible, whereas it is easier to infer that a situation is not necessary as opposed to necessary. Third, individuals make systematic errors of omission and of commission. We contrast the theory with theories based on formal rules.     

Consistency Theory for the General Nonparametric Classification Method

Psychometrika - Parametric likelihood estimation is the prevailing method for fitting cognitive diagnosis models—also called diagnostic classification models (DCMs). Nonparametric concepts...     

Spinoza's Proof of Necessitarianism

This paper consists of four sections. The first section considers what the proof of necessitarianism in Spinoza's system requires. Also in the first section, Jonathan Bennett's (1984) reading of lpl6 as involving a commitment to necessitarianism is presented and accepted. The second section evaluates Bennett's suggestion how Spinoza might have been led to conclude necessitarianism from his basic assumptions. The third section of the paper is devoted to Don Garrett's (1991) interpretation of Spinoza's proof. I argue that Bennett's and Garrett's interpretations of Spinoza's necessitarianism have shortcomings which justify an attempt to offer an alternative proof. In the proof given in the fourth section, it is argued that Spinoza derived necessitarianism from the conjunction of the following principles: (i) necessary existence of the substances; (ii) substance-property ontology; (iii) superessentialism; and (iv) the 'no shared attribute'thesis.     

Spinoza's theory of knowledge

This paper is a discussion of which kinds of knowledge Spinoza himself employs in developing the system of the Ethics. The problem is raised by Professor D. Savan and further discussed by G. H. R. Parkinson. The thesis is (1) that no occurrence of the first kind of knowledge is to be found in the Ethics (against Parkinson), (2) that the main part of the analysis in the Ethics is conducted on the level of the second kind of knowledge (in agreement with Parkinson), and (3) that the third kind of knowledge occurs frequently and plays a most important role in the Ethics (in part against Parkinson). The relation between knowledge and language, the distinction between two types of imagination, or two ways of imagining things, the translation of knowledge of modes of extension into knowledge of the mind, and the relation between the second and third kind of knowledge are main parts of the argument. The third kind of knowledge derives its significance in the Ethics from the definitions and axioms, particularly in Part 1. These definitions and axioms form the basis of the whole system of the Ethics, and at least some of them, it is suggested, belong to the third kind of knowledge.     

Proof Theory for Functional Modal Logic

We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \(\mathord {\sim }\mathord {\Box }A\equiv \mathord {\Box }\mathord {\sim }A\). We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory.     

Ethical Theory,Completeness &; Consistency

This paper argues that many leading ethical theories are incomplete, in that they fail to account for both right and wrong. It also argues that some leading ethical theories are inconsistent, in that they allow that an act can be both right and wrong. The paper also considers responses on behalf of the target theories.     

Spinoza's Essentialist Model of Causation

Spinoza is most often seen as a stern advocate of mechanistic efficient causation, but examining his philosophy in relation to the Aristotelian tradition reveals this view to be misleading: some key passages of the Ethics resemble so much what Suárez writes about emanation that it is most natural to situate Spinoza's theory of causation not in the context of the mechanical sciences but in that of a late scholastic doctrine of the emanative causality of the formal cause; as taking a look at the seventeenth‐century philosophy of mathematics reveals, this is in consonance also with Spinoza's geometrical cast of mind. Against this background, I examine Spinoza's essentialist model of causation according to which each thing has a formal character determined by the thing's essence and what follows from that essence. In the case of real things this essential causal architecture results in efficacy, i.e. in bringing about real effects, the key idea being that without the essential, formally structured causal thrust there would be no efficacy in the first place. I also explain how this model accounts for efficient causation taking place between finite things.     

Spinoza's Thinking Substance and the Necessity of Modes

How should ‘the physical’ be defined for the purpose of formulating physicalism? In this paper I defend a version of the via negativa according to which a property is physical just in case it is neither fundamentally mental nor possibly realized by a fundamentally mental property. The guiding idea is that physicalism requires functionalism, and thus that being a type identity theorist requires being a realizer‐functionalist. In §1 I motivate my approach partly by arguing against Jessica Wilson's no fundamental mentality constraint. In §2 I set out my preferred definition of ‘the physical’ and make my case that physicalism requires functionalism. In §3 I defend my proposal by attacking the leading alternative account of ‘the physical,’ the theory‐based conception. Finally, in §4 I draw on my definition, together with Jaegwon Kim's account of intertheoretic reduction, to defend the controversial view that physicalism requires a priori physicalism.     

Consciousness in Spinoza's Philosophy of Mind

Spinoza's philosophy of mind is thought to lack a serious account of consciousness. In this essay I argue that Spinoza's doctrine of ideas of ideas has been wrongly construed, and that once righted it provides the foundation for an account. I then draw out the finer details of Spinoza's account of consciousness, doing my best to defend its plausibility along the way. My view is in response to a proposal by Edwin Curley and the serious objection leveled against it by Margaret Wilson and Jonathan Bennett.     

斯宾诺莎对圣经的历史批判与诠释

斯宾诺莎的<神学政治论>,在圣经诠释历史上堪称是里程碑式的著作.他通过质疑作为真理之标准与公众法律之来源的圣经,倡导思想、言说与著述的自由.他对圣经研究最具原创性的贡献,并不在于其探求真理所坚持的理性主义标准,而在于对圣经文本自身及其内容所进行的历史理解.本文将简介斯宾诺莎对圣经诠释的历史批判方法,并兼及述评.