Refine
Document Type
- Working Paper (5)
- Part of a Book (2)
- Doctoral Thesis (2)
- Article (1)
Language
- English (5)
- German (4)
- Portuguese (1)
Has Fulltext
- yes (10)
Keywords
- Logik (10) (remove)
Institute
- Informatik (4)
- Philosophie (2)
Bruno Besana's article 'Badiou's Pasolini: The Problem of Subtractive Universalism' also deals with Pasolini's script about Saint Paul, but from the perspective of Alain Badiou's theoretical essay "Saint Paul and the Foundation of Universalism" and of Badiou's different thoughts on Pasolini, on the logic of emergence of novelty, and on its thwarted relation with universalism. Two main points appear in Besana's comparative reading. First, the idea that radical novelty or change can only be built in a 'subtractive manner', i.e. via the appearance of something that, by its sole presence, erodes the consistency upon which the present is structured. This is developed through Pasolini's ideas of 'inactuality' and 'forza del passato' and by Badiou's concept of 'event'. Second, a fundamental paradox inherent to the logic of change: change is only possible if it is organized in a set of coherent consequences, but the organized mode (for instance, the party) of such consequences inevitably reduces change to a constant compromise with the present.
Es ist wiederholt die These vorgebracht worden, die Grundmuster der europäischen Metaphysik entsprängen den grammatischen Grundmustern der zur Darstellung dieser Metaphysik verwendeten Sprache, allgemeiner des indoeuropäischen Sprachtyps. Was ist z. B. das Sein anderes als eine abstrakte Fiktion, ermöglicht durch die Nominalisierung des Hilfsverbs? Weder findet sich in jeder Sprache ein solches Hilfsverb noch muß überall, wo es vorhanden ist, auch Nominalisierung möglich sein. Ist somit die Rede vom Sein, Ontologie, nicht – unbeschadet der Gründe, um derentwillen diese Rede geübt wird – eine bloße Irreführung durch die Mittel unserer Sprache? Und ferner: Ist nicht die im Wort "Ontologie" erwähnte Logik von eben demselben Sprachbau abhängig (wenn schon nicht von der menschlichen Psyche)? Wir analysieren doch das Urteil in Subjekt, Prädikat und Kopula, S ist P; und auch hier taucht in verräterischer Weise das Hilfsverb auf. Philosophie? Philosophie der Logik? "Die Philosophie ist ein Kampf gegen die Verhexung unseres Verstandes durch die Mittel unserer Sprache." Mit diesen berühmten Worten leitete L. Wittgenstein eine Entwicklung ein ("Wir führen die Wörter von ihrer metaphysischen, wieder auf ihre alltägliche Verwendung zurück.") die E. Tugendhat 1976 schließlich so zusammenfaßte: "Ich kenne keine befriedigende Antwort auf die Frage, wie die sprachanalytische Philosophie von der empirischen Sprachwissenschaft zu unterscheiden ist." Hat das nicht zur Konsequenz, daß am Ende die logisch-philosophischen Probleme – einschließlich aller die Philosophie der Logik betreffenden –, die doch apriori sich aus der Bewußtseinshelle des Menschen herzustellen scheinen, in einer empirischen Disziplin, der Linguistik, aposteriori also, ihre genugtuende Beantwortung finden? Dieser Frage wollen wir nachgehen. Zunächst ist hier kurz zu umreißen, wie sich dem unbefangenen Betrachter die Beziehung von Logik und Linguistik gegenwärtig darstellt.
Liebe, Situation, Sprache
(2013)
Qualitatives Denken : John Deweys Erfahrungsbegriff zwischen Erkenntnislehre und Kunsttheorie
(2005)
Inhalt: Vorwort S. 4 Einleitung: John Deweys Radikalität. Eine Erinnerung S. 10 Erstes Kapitel: Implosionen des Empirismus 1.1 Rorty als Apologet und Kritiker Deweys S. 42 1.2 Darwin als Anstoß der Philosophie S. 58 1.3 Die Naturalisierung der menschlichen Intelligenz S. 64 1.4 Brandoms Pragmatismus: Phänomenalismus in Bezug auf Wahrheit S. 75 1.5 Peirce und Dewey als Antipoden? S. 85 Zweites Kapitel: Der Mythos des Gegebenen 2.1 Sellars’ Attacke gegen den Empirismus S. 93 2.2 Inferentialismus und Handlungstheorie S. 101 2.3 Common Sense als Kritik S. 105 Drittes Kapitel: Nach dem Ende der Gewißheit 3.1 Der Dualismus von Theorie und Praxis S. 112 3.2 Raum der Gründe und Raum der Handlungen S. 116 3.3 Qualitatives Denken S. 127 Viertes Kapitel: McDowell und Dewey über Erfahrung und Natur Zur Rehabilitierung des Erfahrungsbegriffs S. 145 4.1 Kohärenz und Kausalität in Davidsons Kritik des Empirismus S. 151 4.2 Die Konstruktion der zweiten Natur S. 160 4.3 Physiologie des Verstehens: Deweys Kritik am Behaviorismus S. 168 Fünftes Kapitel: Erfahrung als Kunst 5.1 Erfahrungen und eine Erfahrung S. 185 5.2 Die kommunikative Dimension expressiven S. 198 Verhaltens 5.3 Hermeneutische Aspekte einer expressiven Theorie der Erfahrung S. 212 Literaturnachweis S. 233 Lebenslauf S. 240 Erklärung S. 242
A logical framework consisting of a polymorphic call-by-value functional language and a first-order logic on the values is presented, which is a reconstruction of the logic of the verification system VeriFun. The reconstruction uses contextual semantics to define the logical value of equations. It equates undefinedness and non-termination, which is a standard semantical approach. The main results of this paper are: Meta-theorems about the globality of several classes of theorems in the logic, and proofs of global correctness of transformations and deduction rules. The deduction rules of VeriFun are globally correct if rules depending on termination are appropriately formulated. The reconstruction also gives hints on generalizations of the VeriFun framework: reasoning on nonterminating expressions and functions, mutual recursive functions and abstractions in the data values, and formulas with arbitrary quantifier prefix could be allowed.
The interactive verification system VeriFun is based on a polymorphic call-by-value functional language and on a first-order logic with initial model semantics w.r.t. constructors. It is designed to perform automatic induction proofs and can also deal with partial functions. This paper provides a reconstruction of the corresponding logic and semantics using the standard treatment of undefinedness which adapts and improves the VeriFun-logic by allowing reasoning on nonterminating expressions and functions. Equality of expressions is defined as contextual equivalence based on observing termination in all closing contexts. The reconstruction shows that several restrictions of the VeriFun framework can easily be removed, by natural generalizations: mutual recursive functions, abstractions in the data values, and formulas with arbitrary quantifier prefix can be formulated. The main results of this paper are: an extended set of deduction rules usable in VeriFun under the adapted semantics is proved to be correct, i.e. they respect the observational equivalence in all extensions of a program. We also show that certain classes of theorems are conservative under extensions, like universally quantified equations. Also other special classes of theorems are analyzed for conservativity.
The interactive verification system VeriFun is based on a polymorphic call-by-value functional language and on a first-order logic with initial model semantics w.r.t. constructors. This paper provides a reconstruction of the corresponding logic when partial functions are permitted. Typing is polymorphic for the definition of functions but monomorphic for terms in formulas. Equality of terms is defined as contextual equivalence based on observing termination in all contexts. The reconstruction also allows several generalizations of the functional language like mutual recursive functions and abstractions in the data values. The main results are: Correctness of several program transformations for all extensions of a program, which have a potential usage in a deduction system. We also proved that universally quantified equations are conservative, i.e. if a universally quantified equation is valid w.r.t. a program P, then it remains valid if the program is extended by new functions and/or new data types.
O presente texto lida com a forma do juízo em Hölderlin e Hegel, focalizando principalmente seus momentos de divisão e unificação. Inicialmente, unificação e divisão são aqui tratadas a partir de temáticas desenvolvidas em torno do amor no séc. XVIII. O juízo é analisado basicamente no âmbito da Ciência da lógica, de Hegel, de prefácios do romance Hyperion e do texto "Juízo e Ser", de Hölderlin. A análise visa expor as passagens entre esses momentos do juízo nos textos supracitados, as quais mobilizam relações entre singular, particular e geral. Considerando essas relações, propõe-se uma interpretação do romance acima mencionado.
Es werden ontologische Antinomien, semantische Antinomien und die Sätze von Tarski, Gödel, Rosser und Church miteinander verglichen. Der Vergleich verläuft in zwei Schritten: Abstrakte Formulierungen der Sätze von Tarski, Gödel, Rosser und Church ermöglichen eine direkte Gegenüberstellung mit der Lügner-Antinomie und der Antinomie von Grelling. Der Beweis des Unvollständigkeitssatzes wird dabei mit und ohne Verwendung des Fixpunktsatzes betrachtet und die Rolle des Fixpunktsatzes analysiert. Parallel zur Antinomie von Richard werden abstrakte Sätze für Terme anstelle von Formeln gebildet. Hieraus erhält man wiederum einen Unvollständigkeitssatz. Im zweiten Schritt werden ontologische und semantische Antinomien gegenübergestellt. Es wird der Begriff einer Diagonalstruktur entwickelt, auf den beide Antinomietypen bezogen werden. Im Fall von ontologischen Antinomien werden die Antinomien von Cantor, Russell und Burali-Forti behandelt.