The formalist point of view maintains that formal derivations underlying proofs, although usually not carried out in practice, contribute to the confidence in mathematical theorems. Opposing this opinion, the main claim of the present paper is that such a gain of confidence obtained from any link between proofs and formal derivations is, even in principle, impossible in the present state of knowledge. Our argument is based on considerations concerning length of formal derivations. Thanks to Jody Azzouni for enlightening discussions concerning (...) the subject of this paper and to anonymous referees whose important remarks permitted us to correct the arguments and improve presentation. The remaining flaws remain, of course, solely the responsibility of the author. This research was partially supported by NSERC discovery grant and by the Research Chair in Distributed Computing at the Université du Québec en Outaouais. CiteULike Connotea Del.icio.us What's this? (shrink)

Musik stellt heute soziale Beziehungen her, die kein Eigentum mehr verlangen. Aber sie kann trotzdem nicht systemunabhängig agieren, ohne selbst Teil einer kapitalen Verwertungslogik zu sein. Dieser unauflösbare Konflikt ist die Basslinie für einen Mix, den Andrzej Steinbach und Achim Szepanski in Ultrablack of Music: Feindliche Übernahme vorlegen. Steinbach montiert drei unterschiedliche Texte: Eine TV-Talkshow als Kammerspiel, eine Namensliste aller RAF-Mitglieder in Form einer Partitur und einen Computercode einer zerhackten McKinsey Werbung. 1971 hatte der WDR die Sendung "Ende offen: (...) Pop und Co - die andere Musik zwischen Protest und Kommerz!" ausgestrahlt, bei der Nikel Pallat, Mitglied der Band Ton Steine Scherben, eine Axt unter seiner Jacke hervorholte und mehrmals mit voller Kraft auf den Tisch einschlug. Er ging dabei nicht kaputt, aber die Geste war unmissverständlich. (shrink)

This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only on which of thefollowing formulas are theses of all logics from this group:,,, ⌜∨ ☐q⌝,and for any n > 0 a formula ⌜ ∨ ⌝, where has not the atom ‘q’, and and have no common atom. We generalize Pollack’s result from [12],where (...) he proved that all modal logics between S1 and S5 have the same theseswhich does not involve iterated modalities. (shrink)

This is the second, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics can be divided into certain groups. Each such group depends only on which of the following formulas are theses of all logics from this group:,,, ⌜∨☐q⌝, and for any n > 0 a formula ⌜ ∨ ⌝, where has not the atom ‘q’, and and have no common atom. We generalize Pollack’s result (...) from [1], where he proved that all modal logics between S1 and S5 have the same theses which does not involve iterated modalities. (shrink)

This book presents the theory of the validity of legal norms, aimed at the practice of law, in particular the jurisdiction of the constitutional courts. The postpositivist concept of the validity of statutory law, grounded on a critical analysis of the basic theories of legal validity elaborated up to now, is introduced. In the first part of the book a contemporary German nonpositivist conception of law developed by Ralf Dreier and Robert Alexy is analysed in order to answer the question (...) whether the juristic concept of legal validity should include moral standards or criteria. In the second part, a postpositivist concept of legal validity and an innovative model of validity discourse, based on the juristic presumption of the validity of legal norms, are proposed. The book is a work on analytical legal theory, written from a postpositivist, detached point of view. (shrink)

Visages de l'histoire. Essais de l'entour de la méthodologie et d'histoire de l'historiographie.

Commentary by the translator on the publication of HLA Hart, ‘The New Challenge to Legal Positivism ’ 36 Oxford Journal of Legal Studies 459.

The article attempts to characterize three key doctrinal controversies in the Carolingian Renaissance, namely: the disputes over the Eucharist, the so-called trina deitas, and predestination. The core of the article is an exposition of the controversy concerning predestination, whose main protagonist is Gottschalk of Orbais. The article discusses four crucial issues related to the problem: (i) the concept of God, (ii) the understanding of grace, nature and free will, (iii) the relation of foreknowledge to predestination, and (iv) the doctrine of (...) redemption, i.e., specifically the relationship betweenjustice and mercy. The article is largely an attempt at an interpretation of the texts of the epoch, mainly those of Gottschalk of Orbais and his adversary, Hincmar of Reims. The conclusions point to difficulties in the issues discussed and outline what attempts at solving this problem have taken place in the coming centuries. (shrink)

The author reflects on the Warsaw Uprising and its effects on his contemporaries and subsequent generations. The Uprising has evoked conflicting emotions, the hottest debates whether it was justified in light of the ensuing losses and the destruction of Warsaw. A frequently-asked question is whether it was worth sacrificing so many people for an obviously lost cause.The Warsaw Uprising also functions as a national legend of selflessness, sacrifice, solidarity, and courage, its protagonists displaying uncommon determination and perseverence in their struggle (...) to free their country. A legend which successive generations of Poles have kept alive despite the years that have elapsed. (shrink)

The Philosophy of Hermann Cohen: An Attempt to SystematizeThe article adressess the problem of evolution of Hermann Cohen’s thinking. In the first part, the evolution is shown in the historical-problematic context and the main idea is to show the basic concepts organizing the author’s most important books. Part two is an attempt to capture the motives of his understanding of philosophy and the central concept is the logic of validity Geltungslogik. As a result it is shown that throughout his whole (...) life Cohen struggled with the problem of such an understanding of philosophy. (shrink)

In this paper, we want to present the genesis of Stanisław Leśniewski’s mereology. Although ‘mereology’ comes from theword ‘part’, mereology arose as a theory of collective classes. That is why we present the differences between the concepts of being a distributive class and being a collective class. Next, we present Leśniewski’s original mereology from 1927, but with a modern approach. Leśniewski was inspired to create his concept of classes and their elements by Russell’s antinomy. To face it, Leśniewski had to (...) define the concept of being an element of based on the concept of being part of. Leśniewski showed that in his theory, there is no equivalent to Russell’s antinomy. We will show that his solution has nothing to do with the original approach because, in both cases, we are talking about objects of a different kind. Russell’s original antinomy concerned distributive classes, and Leśsniewski’s considerations concerned collective classes. (shrink)

We will present an elementary theory in which we can speak of mereological sets composed of distributive classes. Besides the concept of a distributive class and the membership relation , it will possess the notion of a mereological set and the relation of being a mereological part. In this theory we will interpret Morse’s elementary set theory (cf. Morse [11]). We will show that our theory has a model, if only Morse’s theory has one.

In introductory logic courses the authors often limit their considerations to the truth-value operators. Then they write that conditionals and biconditionals of natural language ("if" and "if and only if") may be represented as material implications and equivalences ("⊃" and "≡"), respectively. Yet material implications are not suitable for conditionals. Lewis' strict implications are much better for this purpose. Similarly, strict equivalences are better for representing biconditionals (than material equivalences). In this paper we prove that the methods from standard first (...) courses in logic can be used for testing arguments with strict implications, strict equivalences and other operators which may represent connectives from natural language. (shrink)

The protagonist of Thomas Mann’s short story "The Clown" cannot became an artist because he hasn’t got enough talent. He is also unable to live among people as an ordinary citizen because his social competencies haven’t been completely developed. That is why he can be regarded as a literary figure who tries to leave the real world and to penetrate the literary world. The devil who appears in Charles Gounod’s opera "Faust" based on Johann Wolfgang Goethe’s drama "Faust" and who (...) is watching the protagonist from the stage during the opera performance seems to be the only person who can help him to find his existential space. (shrink)

In the vast literature on architectural theory and practice, the ways in which architectural knowledge is actually taught, debated, and understood are too often ignored. The essays collected in this groundbreaking volume address the current state of architecture as an academic and professional discipline. The issues considered range from the form and content of architectural education to the architect's social and environmental obligations and the emergence of a new generation of architects. Often critical of the current paradigm, these essays offer (...) a provocative challenge to accepted assumptions about the production, dissemination, and reception of architectural knowledge. Contributors: Sherry Ahrentzen, U of Wisconsin-Milwaukee; Stanford Anderson, MIT; Carol Burns, Harvard U; Russell Ellis, UC Berkeley; Thomas Fisher, U of Minnesota; Linda Groat, U of Michigan; Kay Bea Jones, Ohio State U; David Leatherbarrow, U of Pennsylvania; A. G. Krishna Menon, TVB School of Habitat Studies, India; Garth Rockcastle, U of Minnesota; Michael Stanton, American U, Beirut; Sharon E. Sutton, U of Washington; David J. T. Vanderburgh, Université Catholique de Louvain, Belgium; and Donald Watson, Rensselaer Polytechnic Institute. (shrink)

We present the first effectively presentable fully abstract model for Starkʼs Reduced ML, a call-by-value higher-order programming language featuring integer-valued references. The model is constructed using techniques of nominal game semantics. Its distinctive feature is the presence of carefully restricted information about the store in plays, combined with conditions concerning the participantsʼ ability to distinguish reference names. We show how it leads to an explicit characterization of program equivalence.

The article presents a proposal of explanation what practical rationality is, how it works and what are its criteria. In order to define practical rationality, the author starts from the general characteristics of reason, and then in the realm or reason activity distinguishes practical rationality from theoretical rationality. The necessary conditions of practical rationality are presented, as well as its standing between freedom and values. Next, the sources and nature of practical reasons are characterized, as well as their relation to (...) values and desires. The problem of practical syllogism is briefly commented on. In the final part of the article the author proposes five criteria of practical rationality. (shrink)

The article is an attempt to systematize views on the subject of history of philosophy. Starting point of the analysis are the conceptions occurring in the post-Kantian philosophy, where significant differences in understanding the history of philosophy reveals themselves. History of philosophy may be understood as doxography, as a history of concepts, as history of idea, as a history of problems or, finally, as a philosophical history of philosophy. Author presents main assumptions of each of before mentioned approaches, pointing to (...) the special value of history of philosophy treated as a history of problems and philosophical history of philosophy. Additionally author appeals to Polish researchers of that problem being Kazimierz Twardowski, Zbigniew Kuderowicz or Mieczysław Gogacz. Separate position in presented analysis takes hermeneutics and her characteristic criticism of the position presented by Wilhelm Dilthey. (shrink)

Computable limits and colimits are “recursive counterparts” of the suitable classical concepts from category theory. We present mainly some interesting problems related to computable products. Moreover, some “computable counterparts” of well-known classical facts from category theory are given. MSC: 03D45, 18A30.