This book covers completeness of first-order logic, some model theory, Gödel's incompleteness theorems and related results, and a smattering of computability theory. The text is self-contained and provides full proofs of the main facts. Ideally, the reader of this work has already taken at least one introductory logic course; however, everything needed to understand the syntax and semantics of first-order logic is presented herein. Students from philosophy, linguistics, computer science, physics, and other related subjects will find this work useful and (...) enlightening. (shrink)

This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of ...

with the meaning function [[·]] appearing on both sides. (1) is commonly construed as a prescription for computing the meaning of a based on the parts of a and their mode of combination. As equality is symmetric, however, we can also read (1) from right to left, as a constraint on the meaning [[b]] of a term b that brings in the wider context where b may occur, in accordance with what Dag Westerst˚ahl has recently described as “one version of (...) Frege’s famous Context Principle”. (shrink)

Dag Prawitz’s theory of grounds proposes a fresh approach to valid inferences. Its main aim is to clarify nature and reasons of their epistemic power. The notion of ground is taken to denote what one is in possession of when in a state of evidence, and valid inferences are described in terms of operations that make us pass from grounds we already have to new grounds. Thanks to a rigorously developed proof-as-chains conception, the ground-theoretic framework permits Prawitz to overcome some (...) conceptual difficulties of his earlier proof-theoretic explanation. Though from different points of view, anyway, the two accounts share an issue of recognizability of relevant operational properties. (shrink)

Levinas did not present any new ethical theories; he did not even give any normative recommendations. But his phenomenological investigations help us to understand how the idea of ethics emerges and how we try to cope with it. The purpose of this paper is to suggest some implications from a reading of Levinas on how ethical challenges are handled within a management perspective. The paper claims that management, both in theory and in practice, is necessarily egocentric and thus ethically biased. (...) Therefore, ethics, defined as the idea that it is possible to do otherwise than pursue one's own interest, must have its source outside the scope of management. Levinas identifies this source as the call for responsibility from the Other, beyond the reach of managerial control. He also suggests how this idea of ethics is put into practice, especially in economic life: the existence of money makes it both possible and necessary to compare unique and incomparable others. Management tools may be used in the service of always more justice, as it also may be used for the opposite purpose. Instead of trying to draw a normative conclusion from Levinas, we may distinguish between two ways of experiencing reality: one through language and knowledge, covering both descriptive and normative knowledge, including ‘business ethics’, and the other through the particular events of encounters, from where this knowledge is continuously questioned through the call for responsibility, and thereby may provide possibilities for continuous improvements towards always more justice. (shrink)

Ethics in business and economics is often attacked for being too superficial. By elaborating the conclusions of two such critics of business ethics and welfare economics respectively, this article will draw the attention to the ethics behind these apparently well-intended, but not always convincing constructions, by help of the fundamental ethics of Emmanuel Levinas. To Levinas, responsibility is more basic than language, and thus also more basic than all social constructions. Co-operation relations in organizations, markets and value networks are generated (...) from personal relations and personal responsibilities. It is not sufficient to integrate ethics in an impersonal, rational system, neither in business organizations nor in the world economy. Ethics has its source not in rationality, but in the personal. (shrink)

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

Levinas did not present any new ethical theories; he did not even give any normative recommendations. But his phenomenological investigations help us to understand how the idea of ethics emerges and how we try to cope with it. The purpose of this paper is to suggest some implications from a reading of Levinas on how ethical challenges are handled within a management perspective. The paper claims that management, both in theory and in practice, is necessarily egocentric and thus ethically biased. (...) Therefore, ethics, defined as the idea that it is possible to do otherwise than pursue one's own interest, must have its source outside the scope of management. Levinas identifies this source as the call for responsibility from the Other, beyond the reach of managerial control. He also suggests how this idea of ethics is put into practice, especially in economic life: the existence of money makes it both possible and necessary to compare unique and incomparable others. Management tools may be used in the service of always more justice, as it also may be used for the opposite purpose. Instead of trying to draw a normative conclusion from Levinas, we may distinguish between two ways of experiencing reality: one through language and knowledge, covering both descriptive and normative knowledge, including business ethics, and the other through the particular events of encounters, from where this knowledge is continuously questioned through the call for responsibility, and thereby may provide possibilities for continuous improvements towards always more justice. (shrink)

_“Emotion as an element of contemporary Criticism in the intellectual Environment of the Weimar Republic – A contextual Reading of the Presentation of the Affective in Martin Heidegger and Carl Schmitt”_ This article examines a specific use of emotional concepts as well as a particular understanding of the affective in general in the work of Heidegger and Schmitt during the years 1919-1933. The general character of this idea of the affective is that it is developed as an element of a (...) critical engagement with discourses regarding institutional change. Thus, I will be reading the two thinkers in the light of institutional disputes present in the Weimar Republic. Heidegger is read in relation to the question of university reform, with which he was deeply involved in the 1920´s. Schmitt will be analyzed through the political situation of the newly established liberal democracy. In both cases, I will argue that a conception of the affective is developed that serves to attack a perceived relativism. This is seen in the fact that, for both thinkers, certain affective categories are linked to stable existential categories: being for Heidegger and the dichotomy between friend and foe for Schmitt. (shrink)

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...) introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence. (shrink)

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...) introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of p roofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence. (shrink)

The paper focuses on the following points:1. A survey of the characteristics of the philosophic book during the XIIIthcentury, with a special attention to the standard book-format developed for the Scholastic philosophy.2. The innovations introduced by Ramon Llull, going beyond the standard model of the Scholastic book. Llull is a merchant and, because of his education, he is not able to write a book of philosophy; but he has been inspired by God, who asked him to write a book which (...) will be able to convert all the World. This will change his life: the key for the conversion will not be an interpretation of the Bible, but an explaination of the potentials of any human languages. Inside the human language it is possible to find the evidence of the reality of God, and especially of the God of the Christians. The new book will explain this, spreading the inner power of language itself.3. The philosophic book of Llull as a multi-cultural linguistic laboratory; survey of the graphic features enabling this complex interaction among different languages and writing systems.4. The organization of Llull’s scriptorium.5. After the death of Llull: why did his method for global conversion did not work?6. The modern tradition: copying Llull / loving Llull / inventing Llull.7. The transformations of the book designed for the Ars combinatoria and his relationships with modern culture. Philosophy and science. Book and laboratory. Philologists do not like Llull’s friends, but probably he would have loved them. (shrink)

In der 1970 gegründeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien veröffentlicht. Gründungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), Günther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von Jürgen Mittelstraß mitherausgegeben.

Studien zum Entstehen der Philosophie Wittgensteins János Kristóf Nyíri. BEIM STERNENLICHT DER NICHTEXISTIERENDEN: ZUR IDEOLOGIEKRITISCHEN INTERPRETATION DES PLA- TONISIERENDEN ANTIPSYCHOLOGISMUS* ...

Ibn al-'Arabī (d. 1240) was one of the towering figures of Islamic intellectual history, and among Sufis still bears the title of al-shaykh al-akbar, or "the greatest master." Ibn al-'Arabī and Islamic Intellectual Culturetraces the history of the concept of "oneness of being" (wahdat al-wujūd) in the school of Ibn al- 'Arabī, in order to explore the relationship between mysticism and philosophy in Islamic intellectual life. It examines how the conceptual language used by early mystical writers became increasingly engaged over (...) time with the broader Islamic intellectual culture, eventually becoming integrated with the latter's common philosophical and theological vocabulary. It focuses on four successive generations of thinkers (Sadr al-Dīn al-Qūnawī, Mu'ayyad al-Dīn al-Jandī, 'Abd al-Razzāq al-Kāshānī, and Dāwūd al-Qaysarī), and examines how these "philosopher-mystics" refined and developed the ideas of Ibn al-'Arabī. Through a close analysis of texts, the book clearly traces the crystallization of an influential school of thought in Islamic history and its place in the broader intellectual culture. Offering an exploration of the development of Sufi expression and thought, this book will be a valuable resource for students and scholars of Islamic thought, philosophy, and mysticism. (shrink)

According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...) this notion. Another main part of the paper is concerned with a modification of this notion as it occurs in Michael Dummett’s book The Logical Basis of Metaphysics. The two notions are compared and there is a discussion of how they fare as a foundation for a theory of meaning. It is noted that Dummett’s notion has a simpler structure, but it is argued that it is less appropriate for the foundation of a theory of meaning, because the possession of a valid argument for a sentence in Dummett’s sense is not enough to be warranted to assert the sentence. (shrink)

This article explains and discusses the relationship between traditional legislative processes and the development of automated government decision-making systems. The juridical aspects of systems development should be regarded as invisible quasi-legislation. The author investigates and discusses possible ways of changing the legislative process with a view to increasing and improving political involvement in processes today often regarded as mere implementation, and thereby safeguard that important parts of the law of our computerised society is situated in the public domain.

Spinoza, conscientia ve conscius kavramları arasında anlamsal herhangi bir ayırım yapmayıp birini diğerinin yerine kullanmıştır. Ancak geleneksel felsefede conscientia kavramı “ahlaki duyarlılık” ya da “farkındalık” anlamına gelen bir “iç ses” ya da “vicdan” olarak kullanılmakta ve hem rasyonel hem de irrasyonel süreçleri ifade etmektedir. Diğer yandan aynı felsefi gelenekte conscius kavramı ise “bilinç” anlamında kullanılmakta ve rasyonel süreçlere dayalı zihinsel ya da psikolojik bir düşünümsel faaliyeti ifade etmektedir. Bu çalışma, öncelikle Spinoza’nın iki kavramı aynı anlamda kullanmasından hareketle “ahlaki duyarlılık”ın da (...) zihinsel bir eylem olan refleksif düşünce neticesinde oluştuğunu iddia etmektedir. Çalışmada bilincin fikirler arası ilişkiye dayanan düşünümsel bir faaliyet olarak anlaşıldığı yerde, “ahlaki farkındalık”ın zihinde fikirler arası ilişki neticesinde yeni bir fikir olarak meydana geldiği savunulmaktadır. İkinci olarak çalışmada Spinoza’nın bir “vicdan teorisi”nden ziyade, söz konusu farkındalıktan hareketle bir tür “ahlaki bilinç” teorisi geliştirdiği tespit edilmektedir. Bu iddia ve tespitlerin ana odağını ise Spinoza etiğinin temel kavramları olan “iyi” ve “kötü”nün zihinde birer duygu olarak meydana gelen “sevinç” ve “keder” fikrinden doğması oluşturmaktadır. Burada “sevinç” veya “keder” bedenin etkilenişleri neticesinde zihinde meydana gelen “birincil fikirler”; “iyi” veya “kötü” ise zihnin bu birincil fikirler üzerine tefekkürü neticesinde oluşturduğu “ikincil fikirler” olarak ele alınmaktadır. Makalede “ahlaki bilinç” teorisi, bu tarz ikincil fikirler olan “fikrin fikri”ne dayandırılarak oluşturulmaktadır. (shrink)