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)

Frege’s writings contain arguments for the thesis (i) that a thought expressed by a sentence S is a structured object whose composition pictures the composition of S, and for the thesis (ii) that a thought is an unstructured object. I will argue that Frege’s reasons for both (i) and (ii) are strong. Frege’s explanation of the difference in sense between logically equivalent sentences rests on assumption (i), while Frege’s claim that the same thought can be decomposed differently makes (ii) plausible. (...) Thoughts are supposed to do work that requires that they be structured and work that requires that they be unstructured. But this cannot be! While the standard response to this problem is to reject either (i) or (ii), I propose a charitable repair in the spirit of Frege’s theory that accepts both. The key idea can be found in Frege’s Basic Laws of Arithmetic(BL, GGA). Frege argues that the thought expressed by a sentence is determined by the truth-conditions that can be derived from the semantic axioms for the sentence constituents. The fact that the same axiomatic truth-condition can be derived in different ways from different semantic axioms suggests a Fregean solution of the dilemma: A thought is a type that is instantiated by all sequences of senses (decomposed thoughts) that have the same axiomatic truth-conditions. This allows for multiple decomposability of the same thought (for different decomposed thoughts can have the same axiomatic truth-conditions) and for a notion of containment (the decomposed thought contains those senses whose semantic axioms are needed in the derivation of the truth-conditions). My proposal combines the virtues of (i) and (ii) without inheriting their vices. (shrink)

We begin with a puzzle: why do some know-how attributions entail ability attributions while others do not? After rejecting the tempting response that know-how attributions are ambiguous, we argue that a satisfactory answer to the puzzle must acknowledge the connection between know-how and concept possession (specifically, reasonable conceptual mastery, or understanding). This connection appears at first to be grounded solely in the cognitive nature of certain activities. However, we show that, contra anti-intellectualists, the connection between know-how and concept possession can (...) be generalized via reflection on the cognitive nature of intentional action and the potential of certain misunderstandings to undermine know-how even when the corresponding abilities and associated propositional knowledge are in place. Such considerations make explicit the intimate relation between know-how and understanding, motivating a general intellectualist analysis of the former in terms of the latter. (shrink)

Suspended judgment poses a serious problem for Russellianism. In this paper I examine several possible solutions to this problem and argue that none of them is satisfactory. Then I sketch a new solution. According to this solution, suspended judgment should be understood as a sui generis propositional attitude. By this I mean that it cannot be reduced to, or explained in terms of, other propositional attitudes, such as belief. Since suspended judgment is sui generis in this sense, sentences that ascribe (...) this attitude to someone should not be analyzed in terms of other attitude ascriptions, such as belief ascriptions. Instead they should be understood as involving a semantically primitive predicate, corresponding to the state of suspended judgment. (shrink)

The author of the article seeks to find an answer to the question whether it is possible to determine a priori the truth value of the statement „M = N“ where „M“ and „N“ are proper names of the same particular. He analyses the argumentation of the conception defending the positive answer to the question and tries to present arguments in favour of the opposite view. Let us suppose that the individual I is named by „M“ at time t1 and (...) by „N“ at time t2. If the individual changes considerably during the interval or presents us from quite different sides at t1 and t2, respectively , we will be unable to find out a priori, without certain empirical knowledge, whether M = N, although there were any doubts about the identity of the baptized individual neither at t1 nor at t2. (shrink)