Kant's theory of cognition centrally builds on his conception of self‐consciousness and the transcendental use of the phrase “I think”: the ability to add the phrase “I think” to a representation is a necessary condition of the ability to cognize objects. The paper argues that “I think”, rather than denoting the content of a predicative judgement, is typically an expression of the subject's thinking. It expresses a kind of self‐consciousness that, without assertively representing the subject itself, indicates that representational contents (...) are unified in a single consciousness of a single subject. Our aim is thus to develop and defend an expressivist interpretation of Kant's “I think”. (shrink)

One of the main controversies of the Logic Schools of the 12th century centered on the question: What follows from the impossible? In this paper arguments for two diametrically opposed positions are examined. The author of the ‘Avranches Text’ who probably belonged to the school of the Parvipontani defended the view that from an impossible proposition everything follows (‘Ex impossibili quodlibet’). In particular he developed a proof to show that by means of so-called ‘disjunctive syllogism’ any arbitrary proposition B can (...) be logically derived from a pair of contradictory propositions A and Not-A. The author of the Ars Meliduna instead argued that nothing follows from an impossible proposition (‘ex falso nihil sequitur’). This view is supported by various counterexamples which aimed to show that the admission of impossible premises would give rise to inconsistent conclusions. Upon closer analysis these inconsistencies do not, however, have the formal structure of a real contradiction like A and Not-A, but rather the structure of two rivalling conditionals like ‘If B then A’ and ‘If B then Not-A’. Hence these counterexamples rather have to be considered as refutations of the basic principles of ‘connexive logic’. (shrink)

What is an image? An image, it might be said, is a kind of amity between the medium and the model it assumes. The purpose of this relationship is to reproduce the model and to become similar to it. Such a definition invites – perhaps in a purely playful way – some preliminary considerations.

The intervention of the divine in human history, more precisely the transition from fiction to incarnation that is peculiar to the origins of Christianity, marks a turning-point in our understanding of the genealogical principle. With a Son of Man who is also Son of God and his Mother's Father, there is no paternity and, more generally, no genealogy that is not reversible. To this questioning of elementary kinship structures we should add the contesting of the hitherto accepted distribution of genders (...) and sexes. The superimposition of the Holy Family and the Trinity created an uncertain sex whose effect is to uncouple sex from its functions, in particular procreation. Hence a circulation and instability of sex. It is from this viewpoint that we should see the notion of an androgynous Christ and the Church Fathers' thinking on the resurrected body. (shrink)

The respectably legitimate offspring of an age-old affair between writing and picture-making, the calligramme — that is, “a poem in which the typographical layout creates a picture, generally related to the ‘subject’ of the text” (Dictionnaire des littératures, Larousse) — is often seen as an esoteric minority art of dubious reputation. Starting from an exclusively Western approach to the history of the calligramme, my aim is to demonstrate that this artform may in fact represent something more than simply (here I (...) deliberately use a metaphor from the far east, as a counterargument to my theme) the “Kyogen of the No theatre” — i.e., more than a lightweight interlude between more literary, aesthetic, even metaphysical preoccupations — more elevated, more serious, or, in general terms, more extended. Apart from the play and the pleasure of an approach that is creative in terms of letters and language, it contains serious elements related to the actual exercise of writing in our media civilization. (shrink)

We define classes Φnof formulae of first-order arithmetic with the following properties:(i) Everyφϵ Φnis classically equivalent to a Πn-formula (n≠ 1, Φ1:= Σ1).(ii)(iii)IΠnandiΦn(i.e., Heyting arithmetic with induction schema restricted to Φn-formulae) prove the same Π2-formulae.We further generalize a result by Visser and Wehmeier. namely that prenex induction within intuitionistic arithmetic is rather weak: After closing Φnboth under existential and universal quantification (we call these classes Θn) the corresponding theoriesiΘnstill prove the same Π2-formulae. In a second part we consideriΔ0plus collection-principles. We (...) show that both the provably recursive functions and the provably total functions ofare polynomially bounded. Furthermore we show that the contrapositive of the collection-schema gives rise to instances of the law of excluded middle and hence. (shrink)

This article discusses the history of the concepts of potential infinity and actual infinity in the context of Christian theology, mathematical thinking and metaphysical reasoning. It shows that the structure of Ancient Greek rationality could not go beyond the concept of potential infinity, which is highlighted in Aristotle's metaphysics. The limitations of the metaphysical mind of ancient Greece were overcome through Christian theology and its concept of the infinite God, as formulated in Gregory of Nyssa's theology. That is how the (...) concept of actual infinity emerged. However, Gregory of Nyssa's understanding of human rationality went still further. He said that access to the infinity of God was to be found only in an asymptotic ascension, as expressed in apophatic theology, and this view endangered the rationality of theology. Deeply influenced by the apophatic tradition, Nicholas of Cusa avoided this danger by showing that infinity could be accessed by symbolic representation and asymptotic mathematical reasoning. Thus, he made an immense contribution in making infinity rationally accessible. This endeavor was finally realized by Georg Cantor. This rational accessibility revealed discernible structures of infinity, such as the continuum hypothesis, and the cardinal numbers. However, the probable logical inconsistency of Georg Cantor's all-encompassing Absolute Infinity points to an intuitive understanding of infinity that goes beyond its rational structures – as in apophatic theology. (shrink)

Wissenschaft ist nach Aristoteles eine spezielle Form des Wissens, das seinerseits ein bestimmter mentaler Zustand, aber auch als Wissensgehalt der Gegenstand oder Inhalt epistemischer Zustände ist. Erkenntnistheoretische Priorität hat jedoch Wissen als Gehalt: Ob eine Person im Zustand des Wissens ist, hängt davon ab, ob ihr ein Wissensgehalt in bestimmter Form präsent ist.

Aristoteles hat seine Lehrschriften sicherlich sowohl als Vorlesungsmanuskripte für seine Schüler als auch für ein abstraktes Publikum und für die Nachwelt geschrieben. Denn wir finden sowohl Bezugnahmen auf seine Hörer als auch Bemerkungen, die einzelne seiner Thesen selbstbewusst im positiven Sinne mit der Leistung der Vorgänger vergleichen und in einen historischen Zusammenhang stellen, was nur sinnvoll ist, wenn der Vergleich von außen nachvollzogen warden konnte. Wieweit einzelne Schriften zu seinen Lebzeiten in Umlauf kamen, ist unbekannt.

Rudolf Carnap was born on May 18, 1891, and Hans Reichenbach on September 26 in the same year. They are two of the greatest philosophers of this century, and they are eminent representatives of what is perhaps the most powerful contemporary philosophical movement. Moreover, they founded the journal Erkenntnis. This is ample reason for presenting, on behalf of Erkenntnis, a collection of essays in honor of them and their philosophical work. I am less sure, however, whether it is a good (...) time for resuming their philosophical impact; their work still is rather part than historical basis of the present philosophical melting-pot. Their basic philosophical theses have currently, it may seem, not so high a standing, but their impact can be seen in numerous detailed issues; they have opened or pushed forward lively fields of research which are still very actively pursued not only within philosophy, but also in many neighboring disciplines. Whatever the present balance of opinions about their philosophical ideas, there is something even more basic in their philosophy than their tenets which is as fresh, as stimulating, as exemplary as ever. I have in mind their way of philosophizing, their conception of how to do philosophy. It is always a good time for reinforcing that conception; and if this volume would manage to do so, it would fully serve its purpose. (shrink)

The subject of this paper is a characterization of the $\Sigma_1$ -definable set functions of Kripke-Platek set theory with infinity and a uniform version of axiom of choice: $KP\omega+(uniform\;AC)$ . This class of functions is shown to coincide with the collection of set functionals of type 1 primitive recursive in a given choice functional and $x\mapsto\omega$ . This goal is achieved by a Gödel Dialectica-style functional interpretation of $KP\omega+(uniform\;AC)$ and a computability proof for the involved functionals.

The core idea of the ontological proof is to show that the concept of existence is somehow contained in the concept of God, and that therefore God’s existence can be logically derived—without any further assumptions about the external world—from the very idea, or definition, of God. Now, G.W. Leibniz has argued repeatedly that the traditional versions of the ontological proof are not fully conclusive, because they rest on the tacit assumption that the concept of God is possible, i.e. free from (...) contradiction. A complete proof will rather have to consist of two parts. First, a proof of premiseGod is possible. Second, a demonstration of the “remarkable proposition”If God is possible, then God exists. The present contribution investigates an interesting paper in which Leibniz tries to prove proposition. It will be argued that the underlying idea of God as a necessary being has to be interpreted with the help of a distinguished predicate letter ‘E’ as follows:\\). Proposition which Leibniz considered as “the best fruit of the entire logic” can then be formalized as follows:\) \rightarrow \, E)\). At first sight, Leibniz’s proof appears to be formally correct; but a closer examination reveals an ambiguity in his use of the modal notions. According to, the possibility of the necessary being has to be understood in the sense of something which possibly exists. However, in other places of his proof, Leibniz interprets the assumption that the necessary being is impossible in the diverging sense of something which involves a contradiction. Furthermore, Leibniz believes that an »impossible thing«, y, is such that contradictory propositions like \\) and \\) might both be true of y. It will be argued that the latter assumption is incompatible with Leibniz’s general views about logic and that the crucial proof is better reinterpreted as dealing with the necessity, possibility, and impossibility of concepts rather than of objects. In this case, the counterpart of turns out to be a theorem of Leibniz’s second order logic of concepts; but in order to obtain a full demonstration of the existence of God, the counterpart of, i.e. the self-consistency of the concept of a necessary being, remains to be proven. (shrink)

Buridan endorses the basic idea that q follows from p iff it is impossible that p is true but q is false. Since he also accepts the law that, if p is impossible, the conjunction (p ∧ q) must be impossible, he comes to regard the principle ‘Ex impossibili quodlibet’ (EIQ) as basically correct. However, his logic is based on a ‘nominalist’ view according to which propositions are tokens of spoken, written or thought language existing in space of time, and (...) the truth of such a proposition presupposes that it exists. This conception prompted Buridan to modify the definition of ‘consequence’, but none of his attempts was fully successful. Yet, a large part of his theory of consequences is based on the usual account of necessary truth-conservation. As regards principle EIQ, Buridan distinguishes two variants of impossibility. Proposition p is possible iff the state of affairs as described by p is possible; this doesn’t guarantee, however, that p is ‘possibly true’. E.g. ‘No proposition is negative’ is considered by Buridan as describing a possible state of affairs, but this proposition is not possibly true, because in order to be true, it would have to exist, and as soon as it comes into existence, it becomes false. Accordingly, EIQ requires that the antecedent p is really impossible and not only impossibly true. (shrink)

Analogical reasoning addresses the question how evidence from various phenomena can be combined and made relevant for theory development and prediction. In the first part of my contribution, I review some influential accounts of analogical reasoning, both historical and contemporary, focusing in particular on Keynes, Carnap, Hesse, and more recently Bartha. In the second part, I sketch a general framework. To this purpose, a distinction between a predictive and a conceptual type of analogical reasoning is introduced. I then take up (...) a common intuition according to which analogical inferences hold if the differences between source and target concern only irrelevant circumstances. I attempt to make this idea more precise by addressing possible objections and in particular by specifying a notion of causal irrelevance based on difference making in homogeneous contexts. (shrink)

The evidence of culture’s impact on corruption and its consequences is still inconclusive despite several investigations: Sometimes, theory is lacking and causes and consequences seem exchangeable. Based on psychological research on the distribution and use of power, we predicted that a steeper distribution of power induces more corruption and elaborated its negative consequences in a complex causal model. For measuring power distribution, pervading national culture, we augmented Hofstede’s ‘Power Distance’ with three additional indicators into a reversed, more reliable and valid (...) culture composite called “Power Balanced Freedom”. Instead of the usual regression and instrument approaches, which cannot estimate multiple causal chains including causal feedback, a non-recursive path analysis was employed with data from 85 nations. PBF predicted less national Corruption, with positive effects on Gross Domestic Product and Inequality Adjusted Human Development. The often expected reverse effect of GDP on Corruption was not significant. Contrary to influential authors from economics, culture variables are the most important predictors of corruption and its consequences. Nonetheless, our extended model supports the main thrust of their ideas and adds more precision. Our conceptual distinction of the uses of power and our empirical measure PBF reflect Kant’s ethical imperative: freedom and autonomy for everyone. Widely shared life chances as measured by IHDI reflect utilitarian, consequentialist ideas. These different ethical approaches are connected in the confirmed causal model, in line with Rawls’ first and second principle of justice. (shrink)

During the past years the project of ecumenical social ethics was initiated without the burden of dogmatic questions. Jointpositions in questionsrelevant to society could be formulated without a prior consensus in fundamental controversial theological issues. Consequently the question arises whether the wished and aspired joint proclamation of social ethics of the churches really rests on a consensus in fundamental issues of the Christian faith or whether public pressure and the changed normative situation cover up differences which could prove themselves to (...) be exclusive. There are agreements in three areas: in the understanding ofthe Gospel as foundational, in the biblical teaching ofman being created in the image of God as a fundamental article of theological anthropology and in a joint proclamation of the churches as an ecumenical task. Returning to a biblical perspective a consensus in the ethical demands of the Gospel andin the universal claim of biblical ethics can be established which does not exclude but rather include the differences between the traditional denaminational positions. This consensus can be called a »differentiated consensus« similar to the case of the »Joint Declaration on the Doctrine of Justification«. Thus ecumenical social ethics has been relieved from the pressure of having to fully agree in language, form and contents in all conceivable questions. (shrink)

Complex problem solving (CPS) and related topics such as dynamic decision-making (DDM) and complex dynamic control (CDC) represent multifaceted psychological phenomena. In a broad sense, CPS encompasses learning, decision-making, and acting in complex and dynamic situations. Moreover, solutions to problems that people face in such situations are often generated in teams or groups. In turn, this adds another layer of complexity to the situation itself because of the emerging issues that arise from the social dynamics of group interactions. This framing (...) of CPS means that it is not a single construct that can be measured by using a particular type of CPS task (e.g. minimal complex system tests), which is a view taken by the psychometric community. The proposed approach taken here is that because CPS is multifaceted, multiple approaches need to be taken to fully capture and understand what it is and how the different cognitive processes associated with it complement each other. (shrink)

Cognitive Action Theory of Reality presents an original and thought-provoking theory of consciousness. Adopting a panpsychist approach, the book argues that a primitive consciousness takes place in all material, assuming the observer's existence is the foundational premise underlying all further scientific inquiry. The human brain is treated as the ultimate measuring instrument, creating objective reality as an explanation for sensory stimulation in an internal mental model. The book presents a truly multi-disciplinary approach to the study of consciousness, drawing on the (...) author's knowledge of psychology, physics, computer science, and philosophy. (shrink)

If the universe is a machine, consciousness is not possible. If the universe is more than a machine, then physics is incomplete. Since we are both part of the universe and conscious, physics must be incomplete and the understanding required to construct conscious mechanisms must be sought through the advancement of physics not the continued application of inadequate concepts. In this paper I will show that an impediment to this advancement is the confusion arising through the use of terms such (...) as 'physical reality' to refer to an absolute a priori Kantian 'Ding an Sich' when they should both be recognized as referring to data structures holding the knowledge upon which we act and nothing more. Once this confusion has been clarified, I will go on to suggest that the cycle of activity updating physical reality becomes a candidate for a conscious process. I will show how implementing algorithms in modern computers can mimic this process but if actual consciousness is to be achieved the update activity must correspond to a cycle in time. Such cycles have been identified with Whitehead's 'actual occasions' and thus I will argue that fundamental events should replace fundamental particles as the building blocks of the universe if consciousness is to be explained. (shrink)