Many existence propositions in constructive analysis are implied by the lesser limited principle of omniscience LLPO; sometimes one can even show equivalence. It was discovered recently that some existence propositions are equivalent to Bouwer's fan theorem FAN if one additionally assumes that there exists at most one object with the desired property. We are providing a list of conditions being equivalent to FAN, such as a unique version of weak König's lemma. This illuminates the relation between FAN and LLPO. Furthermore, (...) we give a short and elementary proof of the fact that FAN is equivalent to each positive valued function with compact domain having positive infimum. (shrink)

Despite his predominance in twentieth-century philosophy, no intellectual biography of Martin Heidegger has yet appeared. This account of Heidegger's personal relations, originally published in German and extensively corrected by the author for this translation, enlarges our understanding of a complex figure. A well-known art historian and an intimate friend of Heidegger's, Heinrich Wiegand Petzet provides a rich portrait of Heidegger that is part memoir, part biography, and part cultural history. By recounting chronologically a series of encounters between the two friends (...) from their meeting in 1929 until the philosopher's death in 1976, as well as between Heidegger and other contemporaries, Petzet reveals not only new aspects of Heidegger's thought and attitudes toward the historical and intellectual events of his time but also the greater cultural and social context in which he articulated his thought. (shrink)

Working within Bishop’s constructive framework, we examine the connection between a weak version of the Heine–Borel property, a property antithetical to that in Specker’s theorem in recursive analysis, and the uniform continuity theorem for integer-valued functions. The paper is a contribution to the ongoing programme of constructive reverse mathematics.

Qu'Éclane soit le siège de l'évêché de Julien est un fait bien établi. Mais quelle était sa patrie d'origine? Cet article résume un certain nombre de suggestions faites au cours des derniers siècles et jette un oeil neuf sur les sources. Prenant en considération aussi bien le domaine des textes que ceux de l'histoire, de la géographie ou de l'ethnologie, l'auteur arrive à la conclusion qu'Éclane fut non seulement le siège de l'évêché de Julien mais également son lieu de naissance.

It is shown, with intuitionistic logic, that if every locally constant function from to has a property akin to constancy, then the fan theorem for -bars holds, and conversely.

It is shown that, relative to Bishop-style constructive mathematics, the boundedness principle BD-N is equivalent both to a general result about the convergence of double sequences and to a particular one about Cauchyness in a semi-metric space.

Our objectives in this article are to bring some theoretical order into developmental sequences and simultaneities in children’s ability to appreciate multiple labels for single objects, to reason with identity statements, to reason hypothetically, counterfactually, and with beliefs and desires, and to explain why an ‘implicit’ understanding of belief occurs before an ‘explicit’ understanding. The central idea behind our explanation is the emerging grasp of how objects of thought and desire relate to real objects and to each other. To capture (...) this idea we make use of the notion of discourse referents, as did Perner and Brandl (2005), to explain the developmental link between understanding beliefs and alternative naming. We present confirming evidence of the prediction from this analysis that children should have comparable problems with understanding identity statements. We explain the precociously correct answers in ‘implicit’ false belief tests based on indirect measures in the following way: From infancy children are able to keep track of other people’s experiences, to reason about counterfactual circumstances, and to reason about goal-directed (rational) action depending on given circumstances. Indirect tasks reduce the bias to use actual circumstances for reasoning about goal directed action compared to the traditional task, which leads to more correct answers. An emerging metarepresentational understanding helps overcome these biases and enables not only correct action prediction but also the explanation of erroneous actions. The common metarepresentational element explains why false belief tasks and the alternative naming task are mastered at the same time as children understand identity statements. (shrink)

Cet article présente une vue d'ensemble de l'histoire de la recherche sur la structure et le sujet de «De vera religione», ainsi que de nouvelles suggestions.

Nach Kant bleibt alles Denken auf das einzelne Subjekt des Denkens und seine Möglichkeiten zurückbezogen. Simon beschreibt Kants Werk als ein System, das den eigenen Denkansatz als einen Besonderen neben anderen begreift. Auch wenn das Subjekt anderes Denken nicht immer von sich aus versteht, bezieht es jenes als "fremde Vernunft" in seine Weltorientierung ein und erkennt es an. Damit ergibt sich die Notwendigkeit des Findens einer Sprache, in der im Ausgang vom eigenen Vorverständnis anderen etwas so gesagt werden kann, dass (...) es auch ihnen "etwas" bedeutet und in diesem Sinne als wahr erscheint. Von hier aus verändert sich dann der Begriff der Bedeutung und die Sprache der Philosophie. (shrink)

When do children become consciously aware of events in the world? Five possible strategies are considered for their usefulness in determining the age in question. Three of these strategies ask when children show signs of engaging in activities for which conscious awareness seems necessary in adults , and two of the strategies consider when children have the ability to have the minimal form of higher-order thought necessary for access consciousness and phenomenal consciousness, respectively. The tentative answer to the guiding question (...) is that children become consciously aware between 12 and 15 months. (shrink)

In most developmental studies the only error children could make on counterfactual tasks was to answer with the current state of affairs. It was concluded that children who did not show this error are able to reason counterfactually. However, children might have avoided this error by using basic conditional reasoning (Rafetseder, Cristi-Vargas, & Perner, 2010). Basic conditional reasoning takes background assumptions represented as conditionals about how the world works. If an antecedent of one of these conditionals is provided by the (...) task, then a likely conclusion can be inferred based only on background assumptions. A critical feature of counterfactual reasoning is that the selection of these additional assumptions is constrained by actual events to which the counterfactual is taken to be counterfactual. In contrast, in basic conditional reasoning one enriches the given antecedent with any plausible assumptions, unconstrained by actual events. In our tasks basic conditional reasoning leads to different answers from counterfactual reasoning. For instance, a doctor, sitting in the park with the intention of reading a paper, is called to an emergency at the swimming pool. The question, “If there had been no emergency, where would the doctor be?” should counterfactually be answered “in the park”. But by ignoring the doctor's intentions, and just reasoning from premises about the default location of a hospital doctor who has not been called out to an emergency, one might answer: “in the hospital”. Only by 6 years of age did children mostly give correct answers. (shrink)

Plato's famous dialogue, the Phaedrus, was variously subtitled in antiquity: "On Beauty", "On Love", "On the Psyche". It is also concerned with the art of rhetoric, of thought and communication. Pieper, noted for the grace and clarity of his style, gives an illuminating and stimulating interpretation of the dialogue. Leaving the more recondite scholarly preoccupations aside, he concentrates on the content, bringing the actual situation in the dialogue -- Athens and its intellectuals engaged in spirited debate -- alive. Equally alive (...) is the discussion of ideas, which are brought to bear on contemporary experience and made to prove the perennial validity of Socratic wisdom, and its power to excite the mind. The main thesis -- that in poetry and in love man is "beside himself", that is, divinely inspired -- is discussed with reference to modern poets, novelists, and modern psychology. (shrink)