Fregean Quantification Theory

Frege’s system of first-order logic is presented in a contemporary framework. The system described is distinguished by economy of expression and an unusual syntax.     

非严格弗雷格自由逻辑

莱曼(S.Lehmann)的1994年的论文从三值逻辑角度处理语言中的空词项。弗雷格认为句子的所指是真值,包含空词项的句子缺乏所指,而只有涵义,那么这样的句子不真也不假。莱曼的文章刻画了弗雷格这一思想,但有两点不尽人意之处:其一、对量词进行特殊处理,使得量词公式是二值的;其二,把包含空词项的复合句一概归于第三值。针对上述两点,本文以一度衍推系统为基础,在语义上,以偏解释函数为基础构造了一个非严格弗雷格中性自由逻辑表列系统,使得量词公式是三值的,同时使得一部分包含空词项的复合公式或真或假。     

Sameness of Fregean sense

This paper develops a criterion for sameness of Fregean senses. I consider three criteria: logical equivalence, intensional isomorphism, and epistemic equipollence. I reject the first two and argue for a version of the third.     

论广义弗雷格谜题

在过去50年中,语言哲学家提出了众多新指称理论,似乎我们对名字有了极好的理解,因为克里普克这样的哲学家让我们相信,名字没有涵义,只有指称。①然而,弗雷格1892年的论文《论涵义和所指》中提出的弗雷格之谜,却成了指称论天空上的一朵乌云。弗雷格之谜引起了许多哲学家     

Colour constancy and Fregean representationalism

All representationalists maintain that there is a necessary connection between an experience’s phenomenal character and intentional content; but there is a disagreement amongst representationalists regarding the nature of those intentional contents that are necessarily connected to phenomenal character. Russellian representationalists maintain that the relevant contents are composed of objects and/or properties, while Fregean representationalists maintain that the relevant contents are composed of modes of presentation of objects and properties. According to Fregean representationalists such as David Chalmers and Brad Thompson, the Fregean variety of the view is preferable to the Russellian variety because the former can accommodate purported counterexamples involving spectrum inversion without illusion and colour constancy while the latter cannot. I maintain that colour constancy poses a special problem for the Fregean theory in that the features of the theory that enable it handle spectrum inversion without illusion cannot be extended to handle colour constancy. I consider the two most plausible proposals regarding how the Fregean view might be developed in order to handle colour constancy—one of which has recently been defended by Thompson (Australas J Philos 87:99–117, 2009)—and argue that neither is adequate. I conclude that Fregean representationalism is no more able to accommodate colour constancy than is Russellian representationalism and, as such, ought to be rejected.     

An argument against Fregean that-clause semantics

I develop a problem for the Fregean Reference Shift analysis of that-clause reference. The problem is discussed by Stephen Schiffer in his recent book The Things We Mean (2003). Either the defender of the Fregean Reference Shift analysis must count certain counterintuitive inferences as valid, or else he must reject a plausible Exportation rule. I consider several responses. I find that the best response relies on a Kaplan-inspired analysis of quantified belief reports. But I argue that this response faces some serious problems.

Relativized Propositions and the Fregean Orthodoxy

This paper answer the question how propositions whose truth is relativized to times, places, asserters or assessers can, despite their relativity, be used to represent the world.     

Divine thoughts and Fregean propositional realism

Anderson and Welty have recently advanced an argument for the claim that the laws of logic are ontologically dependent upon a necessarily existent mind, i.e. God. In this paper I argue that a key premise of Anderson and Welty’s argument—viz., a premise which asserts that \(x\) is intrinsically intentional only if \(x\) is mind-dependent—is false, for on a broadly Fregean account of propositions, propositions are intrinsically intentional but not mind-dependent.     

Varieties of Three-Valued Heyting Algebras with a Quantifier

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q ₃ of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q ₃ and we construct the lattice of subvarieties (Q ₃ ) of the variety Q ₃ .