This article proposes an analysis of the collaborative monitoring of an entrepreneurial project, namely a school store, at the primary school level. The concept of “double credibility” serves as an analytical standpoint to look at the collaboration between a teacher and a researcher whose common aim is to teach pupils how to be enterprising through the school store. The concept of “double credibility” entails that the common project of the research partners must be both credible for research and practice. Three (...) negotiation processes of the partners’ points of view are more specifically analyzed. This allows to highlight the common and specific concerns that each partner bring into play to maintain the “double credibility” of the project, all with a view to allow pupils to learn through the school store. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

In our contemporary world, the rights of nature have become an important legal device for environmental protection. Some of the most influential rights of nature frameworks can be found in non-Western contexts and have been strongly influenced by ecocentric accounts of nature. This article addresses the question of whether rights of nature can be implemented in Western contexts as well, focusing in particular on Europe. It first examines ecocentric justifications of the rights of nature and discusses two possible non-ecocentric alternatives. (...) Second, two models for implementing rights of nature—the nature’s rights model and the legal personhood model—are compared to demonstrate how different combinations of elements from both models can fit different socio-cultural contexts, including Western ones. (shrink)

Any intermediate propositional logic can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert’s $\varepsilon $ -calculus. The first and second $\varepsilon $ -theorems for classical logic establish conservativity of the $\varepsilon $ -calculus over its classical base logic. It is well known that the second $\varepsilon $ -theorem fails for the intuitionistic $\varepsilon $ -calculus, as prenexation is impossible. The paper investigates the effect of adding critical $\varepsilon $ - (...) and $\tau $ -formulas and using the translation of quantifiers into $\varepsilon $ - and $\tau $ -terms to intermediate logics. It is shown that conservativity over the propositional base logic also holds for such intermediate ${\varepsilon \tau }$ -calculi. The “extended” first $\varepsilon $ -theorem holds if the base logic is finite-valued Gödel–Dummett logic, and fails otherwise, but holds for certain provable formulas in infinite-valued Gödel logic. The second $\varepsilon $ -theorem also holds for finite-valued first-order Gödel logics. The methods used to prove the extended first $\varepsilon $ -theorem for infinite-valued Gödel logic suggest applications to theories of arithmetic. (shrink)

Theodor Adorno is a widely-studied figure, but most often with regard to his work on cultural theory, philosophy and aesthetics. The Sociology of Theodor Adorno provides the first thorough English-language account of Adorno's sociological thinking. Matthias Benzer reads Adorno's sociology through six major themes: the problem of conceptualising capitalist society; empirical research; theoretical analysis; social critique; the sociological text; and the question of the non-social. Benzer explains the methodological and theoretical ideas informing Adorno's reflections on sociology and illustrates Adorno's (...) approach to examining social life, including astrology, sexual taboos and racial prejudice. Benzer clarifies Adorno's sociology in relation to his work in other disciplines and the inspiration his sociology took from social thinkers such as Marx, Weber, Durkheim, Kracauer and Benjamin. The book raises critical questions about the viability of Adorno's sociological mode of procedure and its potential contributions and challenges to current debates in social science. (shrink)

We are highly tuned to each other's visual attention. Perceiving the eye or hand movements of another person can influence the timing of a saccade or the reach of our own. However, the explanation for such spatial orienting in interpersonal contexts remains disputed. Is it due to the social appearance of the cue—a hand or an eye—or due to its social relevance—a cue that is connected to another person with attentional and intentional states? We developed an interpersonal version of the (...) Posner spatial cueing paradigm. Participants saw a cue and detected a target at the same or a different location, while interacting with an unseen partner. Participants were led to believe that the cue was either connected to the gaze location of their partner or was generated randomly by a computer (Experiment 1), and that their partner had higher or lower social rank while engaged in the same or a different task (Experiment 2). We found that spatial cue‐target compatibility effects were greater when the cue related to a partner's gaze. This effect was amplified by the partner's social rank, but only when participants believed their partner was engaged in the same task. Taken together, this is strong evidence in support of the idea that spatial orienting is interpersonally attuned to the social relevance of the cue—whether the cue is connected to another person, who this person is, and what this person is doing—and does not exclusively rely on the social appearance of the cue. Visual attention is not only guided by the physical salience of one's environment but also by the mental representation of its social relevance. (shrink)

European Journal of Philosophy, EarlyView.

Was macht das Besondere der menschlichen Lebensform aus? Wie können wir es verstehen, dass unsere Art wie alle anderen natürlich evolviert ist und dennoch als einzige Art die Fähigkeit entwickelt hat, unter dem Anspruch der Freiheit und in reflexiver Distanz zu handeln, damit aber die Umwelt auf eine Welt hin zu transzendieren? Jung argumentiert, dass sich diese Fragen nur beantworten lassen, wenn man philosophische, evolutionstheoretische und kognitionswissenschaftliche Ansätze aufeinander bezieht. Der Schlüssel hierfür ist der Begriff der Bedeutung. Alle Lebewesen erfassen (...) ihre Umwelt im praktischen Umgang mit ihr als bedeutsam. Auch der Geist des Menschen ist essentiell verkörpert und basiert auf erlebten Bedeutsamkeiten. Die Fähigkeit zur symbolischen Artikulation und kulturellen Weiterentwicklung solcher Lebensbedeutungen erlaubt es ihm aber auch, die lokale Umwelt zu transzendieren und dabei Werte, Normen und objektive Geltungsansprüche zu entwickeln. Eine zeitgemäße Anthropologie muss in der Lage sein, diese qualitativen Besonderheiten des menschlichen Geistes als Resultate von Naturprozessen verständlich zu machen. Sie verbindet methodischen Naturalismus mit Offenheit für die Transzendenz des Geistes über die Umwelt. Damit leistet der Autor einen wichtigen Beitrag zu einem nichtreduktionistischen Verständnis des Menschen, das Leib und Geist nicht dualistisch trennt, sondern ihre spannungsvolle Einheit sichtbar macht. (shrink)

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...) allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

A new computationalist view of the mind that takes into account real-world issues of embodiment, interaction, physical implementation, and semantics.

Assuming an essential difference between scientific data and phenomena, this paper argues for the view that we have to understand how empirical findings get transformed into scientific phenomena. The work of scientists is seen as largely consisting in constructing these phenomena which are then utilized in more abstract theories. It is claimed that these matters are of importance for discussions of theory choice and progress in science. A case study is presented as a starting point: paleomagnetism and the use of (...) paleomagnetic data in early discussions of continental drift. Some general features of this study are presented in formalized language. It is suggested that the presentation given is particularly suited for a semantic conception of theories. Even though the construction of scientific phenomena is the main topic of this paper, the view presented here is more adapted to realism than social constructivism. (shrink)

Statman and Orevkov independently proved that cut-elimination is of nonelementary complexity. Although their worst-case sequences are mathematically different the syntax of the corresponding cut formulas is of striking similarity. This leads to the main question of this paper: to what extent is it possible to restrict the syntax of formulas and — at the same time—keep their power as cut formulas in a proof? We give a detailed analysis of this problem for negation normal form , prenex normal form and (...) monotone formulas. We show that proof reduction to NNF is quadratic, while PNF behaves differently: although there exists a quadratic transformation into a proof in PNF too, additional cuts are needed; the elimination of these cuts requires nonelementary expense in general. By restricting the logical operators to {,,,}, we obtain the type of monotone formulas. We prove that the elimination of monotone cuts can be of nonelementary complexity . On the other hand, we define a large class of problems where cut-elimination of monotone cuts is only exponential and show that this bound is tight. This implies that the elimination of monotone cuts in equational theories is at most exponential. Particularly, there are no short proofs of Statman's sequence with monotone cuts. (shrink)

In this article, I draw on the Mesoamerican institution of community offices (cargo) to support the view that political authority should be based on both political legitimacy and political expertise. I argue that the Mesoamerican tradition of cargos allows for a notion of political expertise that one acquires by rendering a service to one’s community. This expertise could be made a prerequisite for political representation without being vulnerable to several charges that have been levelled against epistocracy.

This volume explores the relation between legal reasoning and logic from both a historical and a systematic perspective. The topics addressed include, among others, conditional legal acts, disjunctions in legal acts, presumptions and conjectures, conflicts of values, Jørgensen´s Dilemma, the Rhetor´s Dilemma, the theory of legal fictions and the categorization of contracts. The unifying problematic of these contributions concerns the conditional structures and, more particularly, the relationship between legal theory and legal reasoning in the context of conditions.

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...) be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)

The article investigates the role of symbolic means of knowledge representation in concept development using the historical example of medieval diagrams of change employed in early modern work on the motion of fall. The parallel cases of Galileo Galilei, Thomas Harriot, and René Descartes and Isaac Beeckman are discussed. It is argued that the similarities concerning the achievements as well as the shortcomings of their respective work on the motion of fall can to a large extent be attributed to their (...) shared use of means of knowledge representation handed down from antiquity and the Middle Ages. While the interpretation of medieval diagrams was unproblematic in the scholastic context from which they arose, in the early modern context, which was characterized by the confluence of natural philosophy and practical mathematics, it became ambiguous. It was the early modern mathematicians’ work within this contradictory framework that brought about a new conceptualization of motion which, in particular, eventually led to an infinitesimal concept of velocity. In this process, the diagrams themselves remained largely unchanged and thus functioned as a catalyst for concept development. (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k : Is (...) there is a proof of length ≤ l ?" When restricted to proofs with universal or existential cuts, this problem is shown to be (1) undecidable for linear or tree-like LK-proofs (corresponds to the undecidability of second order unification), (2) undecidable for linear LKB-proofs (corresponds to the undecidability of semi-unification), and (3) decidable for tree-like LKB -proofs (corresponds to a decidable subprob- lem of semi-unification). (shrink)

It is shown how the schema of equivalence can be used to obtain short proofs of tautologies A , where the depth of proofs is linear in the number of variables in A .

The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (1) can (...) be computed from the calculus. (shrink)

How can we understand the intensifying interactions of science and society? The answers are found in part in the interdisciplinary field called science studies. This field provides us with a rich inventory of analytical approaches. It helps us explore science as a practice, a subsystem, a culture, and an institution. Its observation is that science today is part and parcel of what has come to be known as "knowledge society." Nine exemplary studies that inquire into, or are themselves examples of (...) the dynamics of scientific knowledge are included in this book. They cover issues as diverse as eugenics, climate research, and the role of historiography, and make use of different tools such as evolutionary reasoning, metaphor, and bibliometrics. Finally, they ponder the need for science to go public as well as for society to regulate knowledge and restructure universities as the building blocks of our science system. The message is that science studies can and should assume an active role in observing, reflecting, and communicating the intricate encounters of science and society today. Sabine Maasen teaches sociology at Basel University, Switzerland. Matthias Winterhager is senior researcher and coordinator of bibliometric studies at the Institute for Science and Technology Studies, University of Bielefeld, Germany. (shrink)

Der vorliegende Band diskutiert die Geschichts- und Sprachphilosophie Giambattista Vicos, primär in Bezug auf die Rechtslehre. Dabei wird Vico sowohl als Denker seines Zeitalters als auch in der Auseinandersetzung mit Autoren wie Suárez, Bacon, Descartes etc. gelesen und es ergeben sich immer wieder Bezüge zu aktuellen Debatten.

François Jacob, biologiste français et Prix Nobel, a souligné dans les années 1970 que les sciences, les technologies et leur cortège expérimental font intervenir " un jeu des possibles " et constituent pour cette raison " une machine à fabriquer de l'avenir ". Autrement dit, les activités scientifiques, médicales ou encore artistiques exigent que soient instaurés des dispositifs qui à la fois concrétisent et contrôlent la génération de connaissances nouvelles et de pratiques originales. Ce livre vise à explorer les articulations (...) multiples entre les activités créatives et leurs limites constitutives. Les articles posent la question des limites de la créativité à partir de perspectives philosophiques et sociologiques tout en se référant à des études de cas qui sont à l'interface entre sciences, arts et normes sociotechniques. Le livre est le résultat d'une recherche sur la créativité menée à l'IRIST (Institut de Recherches Interdisciplinaires sur les Sciences et la Technologie) à l'Université de Strasbourg. (shrink)

Multi-time wave functions are wave functions for multi-particle quantum systems that involve several time variables. In this paper we contrast them with solutions of wave equations on a space–time with multiple timelike dimensions, i.e., on a pseudo-Riemannian manifold whose metric has signature such as \ or \, instead of \. Despite the superficial similarity, the two behave very differently: whereas wave equations in multiple timelike dimensions are typically mathematically ill-posed and presumably unphysical, relevant Schrödinger equations for multi-time wave functions possess (...) for every initial datum a unique solution on the spacelike configurations and form a natural covariant representation of quantum states. (shrink)

I develop a ‘duty-plus’ approach to supererogation based on a simple intuition: if I am required to do x or y, doing x and y is a candidate for, though not necessarily, supererogation. This is an appealing view to take, located midway between two extreme positions, supererogationism and rigorism. I give a precise statement of the view through the notion of disjunctive duties, and discuss the commitments a duty-plus theorist should make, independent from the Kantian context in which this position (...) is often discussed. I also advocate the novel claim that we should take supererogation as a property of sets of actions, rather than single actions. The latter view suffers from problems in cases of concurrent acts and accumulative supererogation. (shrink)

Die Beiträge zur Altertumskunde enthalten Monographien, Sammelbände, Editionen, Übersetzungen und Kommentare zu Themen aus den Bereichen Klassische, Mittel- und Neulateinische Philologie, Alte Geschichte, Archäologie, Antike Philosophie sowie Nachwirken der Antike bis in die Neuzeit. Dadurch leistet die Reihe einen umfassenden Beitrag zur Erschließung klassischer Literatur und zur Forschung im gesamten Gebiet der Altertumswissenschaften.

Science is among the most crucial factors for the functioning of modern democracies, yet we tend to conceive of the science-system as mainly driven by its own internal logic and connected with the rest of society via input-output-relations. But does that mean that science is independent from the political system and the cultural life-form into which it is embedded, or is science intrinsically related to democracy? While authors like Hilary Putnam and Philip Kitcher have already tackled these questions, an important (...) part of the problem has hitherto been largely neglected: how is science related to the worldviews one may justifiably hold in a pluralistic society? Arguing with Dewey’s emphasis on the irreducible multitude of human experience, the paper defends a conception of wide “democratic experimentalism” (Frega), in which compatibility with science is crucial for the rational acceptability of worldviews and religions, but scientism is vigorously rejected. (shrink)

This paper presents a translation which allows one to describe constructive provability within classical first-order logic.

English summary: The validity of human rights is today internationally recognised across nations and cultures. The question as to whether and how their validity can be justified is - on the other hand - a bone of contention. Is this based on legal positivism alone? Or can human rights be understood as moral rights amenable to a kind of justification capable of convincing the skeptic? If so, can such arguments be derived from the tradition of natural law or be defended (...) by means of the laws of reason? Does this require anthropological or metaphysical assumptions - or do discourse-theoretical premises suffice? This volume, which specifically latches onto the traditions of legal positivism, natural and rational law, systematically juxtaposes these questions in a bid for reconciliation. German description: Die Geltung von Menschenrechten ist heute international und kulturubergreifend anerkannt. Die Frage, ob und wie sich ihre Geltung begrunden lassen kann, ist dagegen umstritten: Beruht ihre Geltung lediglich auf positivem Recht? Oder kann man Menschenrechte als moralische Rechte verstehen, die einer Art von Begrundung zuganglich sind, die auch den Skeptiker uberzeugen kann? Wenn ja, lassen sich solche Argumente aus der naturrechtlichen Tradition gewinnen oder mit Mitteln des modernen Vernunftrechts verteidigen? Muss dabei auf anthropologische oder metaphysische Annahmen rekurriert werden, oder reichen diskurstheoretische Pramissen aus? Der Band knupft gezielt an die Traditionen des Rechtspositivismus, des Naturrechts und des Vernunftrechts an, stellt systematische Positionen zu diesen Fragen einander gegenuber und sucht, sie miteinander zu vermitteln. Mit Beitragen von: Arno Anzenbacher, Franz-Josef Bormann, Adela Cortina, Thomas Gutmann, Matthias Hoesch, Stefan Kadelbach, Sebastian Laukotter, Georg Lohmann, Georg Mohr, Florian Rodl, Oliver Sensen, Margit Wasmaier-Sailer, Fabian Wittreck. (shrink)