Call the idea that states of perceptual awareness have intentional content, and in virtue of that aim at or represent ways the world might be, the ‘Content View.’ I argue that though Kant is widely interpreted as endorsing the Content View there are significant problems for any such interpretation. I further argue that given the problems associated with attributing the Content View to Kant, interpreters should instead consider him as endorsing a form of acquaintance theory. Though perceptual acquaintance is controversial (...) in itself and in attribution to Kant, it promises to make sense of central claims within his critical philosophy. (shrink)

It is a commonly held view that Frege's doctrine of senses and references is not compatible with the idea that there are de re beliefs. The present paper is meant to challenge that view. Moreover, it seeks to show that, instead of forcing Frege's semantic framework to answer questions raised by twentieth-century philosophy of language, we could try to find other questions to which it might be an answer. It is argued that the proper treatment of Frege's views requires the (...) acknowledgement of the central role of individualistic epistemology in his thought. Once this is recognized, Frege's doctrine of senses and references can be considered a theory, or at least a sketch of a theory, of cognition, which has interesting connections with Kant's and Husserl's views. (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...) categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

Iterated conditionals of the form If p, then if q, r are an important topic in philosophical logic. In recent years, psychologists have gained much knowledge about how people understand simple conditionals, but there are virtually no published psychological studies of iterated conditionals. This paper presents experimental evidence from a study comparing the iterated form, If p, then if q, r with the “imported,” noniterated form, If p and q, then r, using a probability evaluation task and a truth-table task, (...) and taking into account qualitative individual differences. This allows us to critically contrast philosophical and psychological approaches that make diverging predictions regarding the interpretation of these forms. The results strongly support the probabilistic Adams conditional and the “new paradigm” that takes this conditional as a starting point. (shrink)

In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of its (...) cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic categories of expressions of L. From this postulate, three principles of compositionality follow: one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism partial algebra of L into algebraic models of L: syntactic, intensional, and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science. (shrink)

I attempt to explain Frege's handling of the Julius Caesar issue in terms of his more general philosophical commitments. These only became fully explicit in his middle-period writings, but his earlier moves are best explained, I suggest, if we suppose them to be implicit in his earlier thinking. These commitments conditionally justify Frege in rejecting Hume's Principle as either a definition or axiom but in accepting Axiom V. However, the general epistemological picture they constitute has serious problems in accounting for (...) how knowledge is possible at all of such propositions as that Julius Caesar is not a number. (shrink)

We analyze the developments in mathematical rigor from the viewpoint of a Burgessian critique of nominalistic reconstructions. We apply such a critique to the reconstruction of infinitesimal analysis accomplished through the efforts of Cantor, Dedekind, and Weierstrass; to the reconstruction of Cauchy’s foundational work associated with the work of Boyer and Grabiner; and to Bishop’s constructivist reconstruction of classical analysis. We examine the effects of a nominalist disposition on historiography, teaching, and research.

The idea underlying the Begriffsschrift account of identities was that the content of a sentence is a function of the things it is about. If so, then if an identity a=b is about the content of its contained terms and is true, then a=a and a=b have the same content. But they do not have the same content; so, Frege concluded, identities are not about the contents of their contained terms. The way Frege regarded the matter is that in an (...) identity the terms flanking the symbol for identity do not have their ordinary contents, but instead have themselves as their contents. In ?Uber Sinn und Bedeutung? Frege became convinced that if an identity a=bis about the signs aand b, then it expresses no proper knowledge. So, since it is evident that many such identities do express proper knowledge, Frege concluded that identities are not about their contained signs. So he became convinced that his Begriffsschrift account was incorrect. What was the error in the argument that led Frege to that account? It was thinking that the content of a sentence is a function of the contents of its constituent signs, that is, the things it is about. (shrink)

Frege holds the distinction between complete (saturated) and incomplete (unsaturated) things to be a basic distinction of logic. Many disagree. In this paper I will argue that one can defend Frege's distinction against criticism if one takes, inspired by Frege, a wh -question to be the paradigm incomplete expression.

The theory of so-called‘mental images’, which is put forward again in contemporary cognitive psychology, is criticized by way of elaborating the distinctly different intentional structures of the mental activities of‘remembering something’and‘representing something pictorially’(by means of a painting, photo, sculpture, etc.) It is suggested that psychology in its concept and theory formation could use profitably phenomenological-descriptive analyses of the different forms of intentionality as exemplified in the paper.

Frege's philosophical writings, including the "logistic project," acquire a new insight by being confronted with Kant's criticism and Wittgenstein's logical and grammatical investigations. Between these two points a non-formalist history of logic is just taking shape, a history emphasizing the Greek and Kantian inheritance and its aftermath. It allows us to understand the radical change in rationality introduced by Gottlob Frege's syntax. This syntax put an end to Greek categorization and opened the way to the multiplicity of expressions producing their (...) own intelligibility. This article is based on more technical analyses of Frege which Claude Imbert has previously offered in other writings. (shrink)

In this essay, I discuss some observations by Peirce which suggest he had some idea of the substantive metalogical differences between logics which permit both quantifiers and relations, and those which do not. Peirce thus seems to have had arguments?which even De Morgan and Frege lacked?that show the superior expressiveness of relational logics.

: Frege's philosophical writings, including the "logistic project," acquire a new insight by being confronted with Kant's criticism and Wittgenstein's logical and grammatical investigations. Between these two points a non-formalist history of logic is just taking shape, a history emphasizing the Greek and Kantian inheritance and its aftermath. It allows us to understand the radical change in rationality introduced by Gottlob Frege's syntax. This syntax put an end to Greek categorization and opened the way to the multiplicity of expressions producing (...) their own intelligibility. This article is based on more technical analyses of Frege which Claude Imbert has previously offered in other writings (see references). (shrink)

In this paper some of the history of the development of arithmetic in set theory is traced, particularly with reference to the problem of avoiding the assumption of an infinite set. Although the standard method of singling out a sequence of sets to be the natural numbers goes back to Zermelo, its development was more tortuous than is generally believed. We consider the development in the light of three desiderata for a solution and argue that they can probably not all (...) be satisfied simultaneously. (shrink)