The aim of this paper is to sketch a theory of musical experience which takes the empirical research seriously without abandoning or neglecting music’s transcendental features. The tension between the recent empirical approach, as represented particularly by Huron’s ITPRA theory, and the transcendental fact that music as an instance of art is something one can understand and, moreover, can understand oneself through, should be overcome by elaborating on the concept of emotion and the role it can play in musical understanding. (...) This will be done against the narrower background of the pragmatists’ theories of meaning, as represented by the semantic work of Meyer and Brandom, and their broader link to the philosophy of Hegel and the great systems of German idealism. (shrink)

The objective of this paper is to analyze the broader significance of Frege’s logicist project against the background of Wittgenstein’s philosophy from both Tractatus and Philosophical Investigations. The article draws on two basic observations, namely that Frege’s project aims at saying something that was only implicit in everyday arithmetical practice, as the so-called recursion theorem demonstrates, and that the explicitness involved in logicism does not concern the arithmetical operations themselves, but rather the way they are defined. It thus represents the (...) attempt to make explicit not the rules alone, but rather the rules governing their following, i.e. rules of second-order type. I elaborate on these remarks with short references to Brandom’s refinement of Frege’s expressivist and Wittgenstein’s pragmatist project. (shrink)

Reviewing the beginnings and the further development of logicistic idea I am mainly focusing on the tradition of Frege and Russell, i. e. the tradition which was in the closest relationship with the enterprise of modern logic. I am trying to assess its connections to other „logistic“ programs such as Dedekind’s structuralism or Peano‘s axiomatism, to underline its specific features and the share in the success of modern logical semantics, including both its substantial contribution and limitations.

The article deals with Cantor's argument for the non-denumerability of reals somewhat in the spirit of Lakatos' logic of mathematical discovery. At the outset Cantor's proof is compared with some other famous proofs such as Dedekind's recursion theorem, showing that rather than usual proofs they are resolutions to do things differently. Based on this I argue that there are "ontologically" safer ways of developing the diagonal argument into a full-fledged theory of continuum, concluding eventually that famous semantic paradoxes based on (...) diagonal construction are caused by superficial understanding of what a name is. (shrink)

The article deals with the evolution of the foundations of arithmetic: from the auspicious beginnings with Frege and Dedekind through the cataclysm of Russell’s antinomy to the late writings of Hilbert and the work of Paul Lorenzen . The proposed historical and dialectic reconstruction does not consist in ad hoc attempts to overcome formal difficulties of the systems in question. It rather shows how Frege’s and Dedekind’s original intentions are to be understood and can partly be justified. For this, Gödel’s (...) famous results are of great importance. (shrink)

The article deals with the evolution of the foundations of arithmetic: from the auspicious beginnings with Frege and Dedekind through the cataclysm of Russell’s antinomy to the late writings of Hilbert and the work of Paul Lorenzen. The proposed historical and dialectic reconstruction does not consist in ad hoc attempts to overcome formal difficulties of the systems in question. It rather shows how Frege’s and Dedekind’s original intentions are to be understood and can partly be justified. For this, Gödel’s famous (...) results are of great importance. (shrink)

The article deals with Cantor’s diagonal argument and its alleged philosophical consequences such as that there are more reals than integers and, hence, that some of the reals must be independent of language because the totality of words and sentences is always count-able. My claim is that the main flaw of the argument for the existence of non-nameable objects or truths lies in a very superficial understanding of what a name or representation actually is.

V článku nejprve rekapituluji postoje, které k modalitám zaujali zakladatelé moderní logiky a analytické filosofie, preferující logickou či epistemickou redukci, poté přecházím k jejich soudobým metafyzickým oponentům, vycházejícím z novoleibnizovské ontologie možných světů, poukazuji na nevyjasněné předpoklady některých z jejich „argumentů“, k nimž pak – a k filosofické analýze možnosti vůbec – připojuji několik obecně-kritických tezí založených na Wittgenstein-Carnapově pojetí možného jako smysluplného.

[The continuum in the mirror of analytical philosophy].

This paper aims to shed light on the broader significance of Frege’s logicism against the background of discussing and comparing Wittgenstein’s ‘showing/saying’-distinction with Brandom’s idiom of logic as the enterprise of making the implicit rules of our linguistic practices explicit. The main thesis of this paper is that the problem of Frege’s logicism lies deeper than in its inconsistency : it lies in the basic idea that in arithmetic one can, and should, express everything that is implicitly presupposed so that (...) nothing is left unsaid. This, in fact, is the target of Wittgenstein’s critique. Rather than the Tractatus, with its claim that logicism attempts to say something that can only be shown, it is the Philosophical Investigations, with its argument by regress against the thesis that every rule which one can follow must be of an explicit nature, that is of real significance here. (shrink)

This is the first part of the essay devoted to the story of logicism, in particular to its Fregean version. Reviewing the classical period of Fregean studies, we first point out some critical moments of Frege‘s argumentation in the Grundla­gen, in order to be able later to differentiate between its salvageable and defec­tive features. We work on the presumption that there are no easy, catego­rical an­swers to questions like “Is logicism dead?“: Wittgenstein’s cri­tique of the foundational program as well as (...) the remarkable neo-Fregean dis­cov­eries of Boolos and Wright have to be confronted with the effects which the logi­cistic idea actually had on logico­matemati­cal practice. But that is another story, a sequel to this es­say, the purpose of which is systematic rather than criti­cal. (shrink)

This is the first part of the essay devoted to the story of logicism, in particular to its Fregean version. Reviewing the classical period of Fregean studies, we first point out some critical moments of Frege‘s argumentation in the Grundla­gen, in order to be able later to differentiate between its salvageable and defec­tive features. We work on the presumption that there are no easy, catego­rical an­swers to questions like “Is logicism dead?“: Wittgenstein’s cri­tique of the foundational program as well as (...) the remarkable neo-Fregean dis­cov­eries of Boolos and Wright have to be confronted with the effects which the logi­cistic idea actually had on logico­matemati­cal practice. But that is another story, a sequel to this es­say, the purpose of which is systematic rather than criti­cal. (shrink)