: 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)

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)

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)

This paper examines Russell's substitutional theory of classes and relations, and its influence on the development of the theory of logical types between the years 1906 and the publication of Principia Mathematica (volume I) in 1910. The substitutional theory proves to have been much more influential on Russell's writings than has been hitherto thought. After a brief introduction, the paper traces Russell's published works on type-theory up to Principia. Each is interpreted as presenting a version or modification of the substitutional (...) theory. New motivations for Russell's 1908 axiom of infinity and axiom of reducibility are revealed. (shrink)

In part one of this paper we shall elucidate an operational concept of logical simplicity as it seems to function in natural science. Although this is a tentative and exploratory formulation, its novelty, relative to the great European philosophical tradition, seems to require a preliminary warning about misunderstandings.In Part Two we shall apply the formulation to social inquiry and make a positive suggestion for further development of the proposal.

In this article I try to show the philosophical continuity of Russell's ideas from his paradox of classes to Principia mathematica. With this purpose, I display the main results (descriptions, substitutions and types) as moments of the same development, whose principal goal was (as in his The principles) to look for a set of primitive ideas and propositions giving an account of all mathematics in logical terms, but now avoiding paradoxes. The sole way to reconstruct this central period in Russell (...) is to resort to unpublished manuscripts, which show the publications of these years to be the extremities of one same iceberg. Thus the logical problems (doubts about propositions, matrices and functions) are parallel to the ontological (the searching for genuine logical subjects) and methodological ones (the status of eliminative reduction). Paradoxes were the cause that the kind of (constructive) definition already applied by Russell, as an inheritance of Moorean analysis, obtained a new trait: ontological elimination, which, beginning with a ?no classes theory? and the theory of descriptions, led to a new theory of judgment (already present in manuscripts from 1906), ?incomplete symbols, and logical constructions. (shrink)

Søren Kierkegaard 's account of faith in Philosophical Fragments claims that the historical Incarnation is necessary for faith, but that historical evidence for the Incarnation is neither necessary nor sufficient for faith. It has been argued that the defence of these two claims gives rise to a faith /history problem for Kierkegaard and that it is incoherent to defend an account of faith which affirms both the necessity of the historical Incarnation and rejects the necessity and sufficiency of the historical (...) evidence for the Incarnation. I argue that this problem can be solved by applying Eleonore Stump's account of divine–human union. I argue that the Incarnation is necessary because it allows us to enjoy a kind of mutual empathy with Christ which is the basis of divine–human union and that the historical evidence is neither necessary nor sufficient since faith is grounded in a second-person experience of Christ. I claim that this solves the faith /history problem and offers a way of defending Kierkegaard 's account of faith as coherent. (shrink)

There is a structural similarity between an influential argument of Berkeley 's against causal realism and a traditional, and recently revived, argument against the correspondence theory of truth. Both arguments chide the realist for positing a relation between his conceptions of reality and a world independent of those conceptions. Man could have no epistemic access to such a relation, it is said, for, by the realist's own admission, he has access to only one of the relata - his conceptions. I (...) claim that the relation in question need be no more than that alleged by the biological and behavioral sciences to hold between organisms and their environments. And when studied as such, it reveals ways whereby the realist may claim to know of an outward correspondence solely on the basis of characteristics of one of the relata - his conceptions. (shrink)