We study logic translations from an abstract perspective, without any commitment to the structure of sentences and the nature of logical entailment, which also means that we cover both proof- theoretic and model-theoretic entailment. We show how logic translations induce notions of logical expressiveness, consistency strength and sublogic, leading to an explanation of paradoxes that have been described in the literature. Connectives and quantifiers, although not present in the definition of logic and logic translation, can be recovered by their abstract (...) properties and are preserved and reflected by translations under suitable conditions. (shrink)

In this essay we analyse and elucidate the method to establish and clarify the scope of logic theorems offered within the theory of institutions. The method presented pervades a lot of abstract model theoretic developments carried out within institution theory. The power of the proposed general method is illustrated with the examples of interpolation and definability, as they appear in the literature of institutional model theory. Both case studies illustrate a considerable extension of the original scopes of the two classical (...) theorems. Our presentation is rather narrative with the relevant logic and institution theory concepts introduced and explained gradually to the non-expert reader. (shrink)

The purpose of a logical framework such as LF is to provide a language for defining logical systems suitable for use in a logic-independent proof development environment. All inferential activity in an object logic is to be conducted in the logical framework via the representation of that logic in the framework. An important tool for controlling search in an object logic, the need for which is motivated by the difficulty of reasoning about large and complex systems, is the use of (...) structured theory presentations. In this paper a rudimentary language of structured theory presentations is presented, and the use of this structure in proof search for an arbitrary object logic is explored. The behaviour of structured theory presentations under representation in a logical framework is studied, focusing on the problem of “lifting” presentations from the object logic to the metalogic of the framework. The topic of imposing structure on logic presentations, so that logical systems may themselves be defined in a modular fashion, is also briefly considered. (shrink)

Książka stanowi wprowadzenie do twórczości Richarda Rorty'ego, a także próbę osadzenia jej na szerszym tle filozofii współczesnej, ze szczególnym uwzględnieniem filozofii postmodernistycznej. Obecne są w niej szersze analizy stanu kultury współczesnej, a także relacje z istotnych koncepcji obecnych we współczesnej humanistyce, bez których nie można zrozumieć ewolucji współczesnej humanistyki i specjalnej roli, jaką odegrała w niej filozofia Richarda Rorty'ego.

There is a long-lasting controversy concerning our mind and consciousness. The book proposes a connection between the mind the brain and the multiverse. We introduce the main philosophical ideas concerning mind and freedom. Explain the basic principles of computer science, artificial intelligence of brain research, quantum physics and quantum artificial intelligence. We indicate how we can provide an answer to the problem of the mind and consciousness by describing the nature of the physical world. Our proposed explanation includes the Everett (...) Many-worlds theory. The book tries to avoid any non-essential metaphysical speculations. The book is an essential compilation of knowledge in philosophy, computer science, biology, and quantum physics. It is written for readers without any requirements in mathematics, physics, or computer science. (shrink)

This history of Russian thought was first published in Polish in 1973 and subsequently appeared 2005 in a revised and expanded publication. The current volume begins with Enlightenment thought and Westernization in Russia in the 17<SUP>th century and moves to the religious-philosophical renaissance of first decade of the 20<SUP>th century. This book provides readers with an exhaustive account of relationships between various Russian thinkers with an examination of how those thinkers relate to a number of figures and trends in Western (...) philosophy and in the broader history of ideas. (shrink)

Strangers by Choice explores voluntary otherness as a philosophy of life. This philosophy is asocial in the sense that its followers tend to privilege separateness over belonging, and yet it does not lead to alienation or isolation from society. Building on Simmel's notion of the stranger, the author sheds light on the experience of spiritual idealists, both real and fictional, who maintain a distance from mainstream society in order to live by the laws of their transcendental homelands. Waśkiewicz addresses representations (...) of strangeness from a broad spectrum of Western culture, including Stoic philosophy, Augustine of Hippo, Henry David Thoreau, the physicist Richard Feynman, and finally Jean-Jacques Rousseau. Highlighting how these writers and thinkers have negotiated individuality and community, this interdisciplinary study contributes to debates on identity in both practical philosophy and the history of ideas. (shrink)

The paper consists of two parts, outlined in the title.I. In the historical science time appears as an element of the historian’s workshop. The historian collects source information, evaluates them and assigns respective dates. Only on the ground of thus “processed” sources may he reproduce the past: events and longer development processes, setting them in time. This dated time is understood colloquially as something objective, which runs one way and may be measured.II. A historian who studies the past reality depends (...) on the extent to which those sources are preserved. As a result of their interpretation, with the use of increasingly excellent research methods, he reproduces that reality. He must carry out an ongoing selection of historical facts found. This exposes him to temptations of such selection of those facts so as to adjust the historical knowledge to serve well the national interests, his own political opinions, etc. In this way the historian exerts influence on social awareness, which may consists of various myths and stereotypes, which sometimes lead to negative social behaviors: aggression, chauvinism, etc. Therefore, for researcher honesty’s sake and in the sense of moral responsibility, he must be careful to be as impartial as possible in his work. (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)

The volume contains Isaiah Berlin's letters to his Polish friend, Andrzej Walicki, and Walicki's detailed account of Berlin's role in his life. Berlin actively promoted Walicki's books on Russian intellectual history not only because of his own interest in the subject. Above all he wanted to promote Russian intellectual history as a separate, internationally recognized field of study and, therefore, warmly welcomed Walicki's firm intention to study it in a systematic way, with the aim of providing a comprehensive synthesis (...) of all important currents in pre-Revolutionary Russian thought. Already at their meeting Berlin discovered in Walicki a promising candidate to help him in laying foundations for Russian intellectual history as a legitimate part of the universal history of ideas; as a discipline rewarding in itself and particularly relevant for rediscovering the great traditions of the Russian intelligentsia and setting them against the stifling dogmas of Soviet totalitarianism. (shrink)

The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of every (...) science, (b) principles of correct formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (shrink)

Natural Deduction Natural Deduction is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and … Continue reading Natural Deduction →.

During the global financial crisis of 2007–2009 and the currentCovid-19 debacle, central banks acted quickly, boldly, and effectively. The paper argues that they did so thanks to the lessons learned from the past financial crises, which provided them with opportunities to reconsider their previous beliefs. A case in point is the banking crisis in the United States during the Great Depression of the 1930s that taught central banks to act rapidly and decisively in order to prevent an initial liquidity crisis (...) from escalating into a solvency crisis leading to bankruptcies of banks with potentially disastrous consequences for the entire economy. The paper revisits the consequences of the currency crises of the 1990s, which transformed exchange rate regimes across the world: the EMS one of 1992–1993 that accelerated the launch of the euro, and the Asian one of 1997–1998 resulted in the proliferation of floating exchange rates in emerging economies. (shrink)

I shall outline the topic from a historical perspective, placing the main emphasis on the hundred years’ period spanning 1870–1970.

The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described. The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction is (...) also given. These results are applied to compare the equational category N of Nelson algebras and some its subcategories with the equational category H of Heyting algebras. It is proved that the category N is topological over the category H. (shrink)

The objective of the paper is a presentation and an interpretation of Władysław Stróżewski’s views on aesthetics. Built upon the foundation provided by classical metaphysics, Stróżewski’s aesthetics is simultaneously a continuation of the tradition of phenomenological interpretation of art. Stróżewski extends Roman Ingarden’s aesthetic theory by including the idea of numinous concretion, largely inspired by the works of Rudolf Otto. As a result, this new phenomenological perspective transcends the narrowly understood ‘aesthetics’ of the work of art towards the inherent dimension (...) of the sacred. Moreover, Stróżewski’s scrutiny of the aspect of art that goes beyond the aesthetic reveals an important relationship obtaining between his insights and the theological aesthetics of Hans Urs von Balthasar. Thus Stróżewski’s ideas turn out to be of significance to contemporary aesthetic and theological debates. In particular, he shows the movement of beauty from aesthetic to transcendental, and ultimately towards the sacred, where numinosum is manifested as Mystery. (shrink)

This paper is concerned with n-localization property introduced by Newelski and Rosłanowski in [10] and getting it for CS iterations of forcing notions.

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)

We examine some extensions of the constructive propositional logic with strong negation in the setting of varieties of $\mathcal{N}$ -lattices. The main aim of the paper is to give a description of all pretabular, primitive and preprimitive varieties of $\mathcal{N}$ -lattices.

This collection of papers is written in the spirit of what is nowadays called 'Logical Philosophy.' The topics addressed include: skepticism and the criterion of truth, situational semantics, computational aspects of possible worlds semantics and question-answer systems, occurrent beliefs, the logical omniscience paradox, paraconsistency, and models of explanatory procedures. (Series: Development in Humanities - Vol. 12).