O presente artigo tem o escopo de analisar as influências deixadas por Hans Kelsen e sua Teoria Pura do Direito para a Hermenêutica Jurídica e as incertezas ainda presentes em sua clássica obra sobre o processo interpretativo. O positivismo kelseniano, reconhecido pela separação entre direito e moral, não se omitiu quanto à realidade da interpretação jurídica, e, sem desconsiderar suas bases teóricas, deixou diretrizes para a consolidação de uma teoria da interpretação. Kelsen desenvolveu o conceito de moldura normativa como um (...) limite para o intérprete autêntico da norma cuja subjetividade influenciaria o processo interpretativo, mas também viu possibilidades de interpretações fora desta moldura. O trabalho pretende entender estas possibilidades de interpretação, analisando Hans Kelsen e seus ensinamentos sobre interpretação jurídica. (shrink)

Shehtman introduced bimodal logics of the products of Kripke frames, thereby introducing frame products of unimodal logics. Van Benthem, Bezhanishvili, ten Cate and Sarenac generalize this idea to the bimodal logics of the products of topological spaces, thereby introducing topological products of unimodal logics. In particular, they show that the topological product of S4 and S4 is S4 ⊕ S4, i.e., the fusion of S4 and S4: this logic is strictly weaker than the frame product S4 × S4. Indeed, van (...) Benthem et al show that S4 ⊕ S4 is the bimodal logic of the particular product space Q × Q, leaving open the question of whether S4 ⊕ S4 is also complete for the product space R × R. We answer this question in the negative. (shrink)

Shehtman introduced bimodal logics of the products of Kripke frames, thereby introducing frame products of unimodal logics. Van Benthem, Bezhanishvili, ten Cate and Sarenac generalize this idea to the bimodal logics of the products of topological spaces, thereby introducing topological products of unimodal logics. In particular, they show that the topological product of S4 and S4 is S4 ⊗ S4, i.e., the fusion of S4 and S4: this logic is strictly weaker than the frame product S4 × S4. In this (...) paper, we axiomatize the topological product of S4 and S5, which is strictly between S4 ⊗ S5 and S4 × S5. We also apply our techniques to (1) proving a conjecture of van Benthem et al concerning the logic of products of Alexandrov spaces with arbitrary topological spaces; and (2) solving a problem in quantified modal logic: in particular, it is known that standard quantified S4 without identity, QS4, is complete in Kripke semantics with expanding domains; we show that QS4 is complete not only in topological semantics with constant domains (which was already shown by Rasiowa and Sikorski), but wrt the topological space Q with a constant countable domain. (shrink)

There is an intuition, notoriously difficult to formalise, that only some predicates express real properties. J. M. Dunn formalises this intuition with relevance logic, proposing a notion of relevant predication. For each first order formula Ax, Dunn specifies another formula that is intuitively interpreted as "Ax expresses a real property". Chapter I calls such an approach an object language approach, since the claim that Ax expresses a real property is rendered as a formula in the object language. On a metalanguage (...) approach, on the other hand, the claim that Ax expresses a real property would be metalinguistic, mentioning but not using the formula Ax. ;Our Introduction begins by investigating Dunn's motivation for relevant predication, and argues that it implicitly presupposes some interpretation of identity. Indeed, part of the dissertation's work is to use relevant predication as a key to a coherent account of relevant identity. ;Chapter I re-motivates relevant predication. We consider P. Geach's distinction between real and "Cambridge" change, and suggest that there is an underlying distinction between real and Cambridge predicates. We further argue that no classical object language approach can formalise this distinction. So we turn to relevance logic, remotivating relevant predication, with Geach's distinction in mind. ;In light of this new motivation, we argue that relevant prediction relies on a logically weak notion of identity, according to which "x = y" means "x and y share all relevant properties". Identity is taken up in a more technical setting in Chapters IV and V. ;Subsequent chapters investigate technical issues that flow from Chapter I. Chapter II investigates metalinguistic grammatical characterisations of relevant predication. Chapter III concerns the semantics of first order relevance logic. Chapter IV investigates the identity in R and its relationship to relevant predication. In particular, Chapter IV argues against introducing the axiom, $\to$ Ay), in relevance logic, since the resulting systems are unstable, in a sense motivated by the notion of relevant identity underlying Dunn's notion of relevant predication. Finally Chapter V investigates the possibility of a coherent theory of identity in R's modal relatives ${\bf R}\sp\square$ and E. (shrink)

Let ${{\mathcal L}^{\square\circ}}$ be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality □ and a temporal modality ◦, understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language ${{\mathcal L}^{\square\circ}}$ by interpreting ${{\mathcal L}^{\square\circ}}$ in dynamic topological systems, i.e., ordered pairs 〈X, f〉, where X is a topological space and f is a continuous function on X. Artemov, Davoren and Nerode have axiomatized a logic S4C, and have shown (...) that S4C is sound and complete for this semantics. S4C is also complete for continuous functions on Cantor space (Mints and Zhang, Kremer), and on the real plane (Fernández Duque); but incomplete for continuous functions on the real line (Kremer and Mints, Slavnov). Here we show that S4C is complete for continuous functions on the rational numbers. (shrink)

Shehtman introduced bimodal logics of the products of Kripke frames, thereby introducing frame products of unimodal logics. Van Benthem, Bezhanishvili, ten Cate and Sarenac generalize this idea to the bimodal logics of the products of topological spaces, thereby introducing topological products of unimodal logics. In particular, they show that the topological product of S4 and S4 is S4 \ S4, i.e., the fusion of S4 and S4: this logic is strictly weaker than the frame product S4 × S4. Indeed, van (...) Benthem et al. show that S4 \ S4 is the bimodal logic of the particular product space , leaving open the question of whether S4 \ S4 is also complete for the product space . We answer this question in the negative. (shrink)

Let $\mathcal{L}$ be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality $\square$ and a temporal modality $\bigcirc$ , understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language $\mathcal{L}$ by interpreting $\mathcal{L}$ in dynamic topological systems, i.e. ordered pairs $\langle X, f\rangle$ , where X is a topological space and f is a continuous function on X. Artemov, Davoren and Nerode have axiomatized a logic S4C, and have shown (...) that S4C is sound and complete for this semantics. Zhang and Mints have shown that S4C is complete relative to a particular topological space, Cantor space. The current paper produces an alternate proof of the Zhang-Mints result. (shrink)

TABLE OF CONTENTS Introduction: Pragmatist Perspectives on Science and Technology and Contemporary Dewey Studies Philipp Dorstewitz & Alexander Kremer... 5 I. Pragmatist Perspectives on Science and Technology Useful for What? Dewey's Call to Humanize Techno-Industrial Civilization Steven Fesmire... 11 Will Brain Science Understand and Modify Morality? A Neuropragmatic and Neuro-Ecological Approach to Neuroethics John R. Shook & James Giordano... 20 Undermining Dopamine Democracy through Education: Synthetic Situations, Social Media, and Incentive Salience Mark Tschaepe... 32 We Deweyan Creatures Tibor Solymosi... 41 (...) II. Contemporary Dewey Studies Democracy, Constitutionalism and Way of Life: a Deweyan reading of R. Dworkin J. Carlos Mougan... 61 Dewey's 'Experience and Nature' - A Tale of Two Paradigms Barry E. Duff... 68 Aesthetic Experience - A Pragmatist Perspective in Cognitive Aesthetics Dario Cecchi... 82 Dewey and the Art of Experience Barry Allen... 93 Miracle and the Miraculous: A Pragmatic Approach Ulf Zackariasson... 100. (shrink)

modality , understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language L by interpreting L in dynamic topological systems, i.e. ordered pairs X, f , where X is a topological space and f is a..

The simplest bimodal combination of unimodal logics \ and \ is their fusion, \, axiomatized by the theorems of \ for \ and of \ for \, and the rules of modus ponens, necessitation for \ and for \, and substitution. Shehtman introduced the frame product \, as the logic of the products of certain Kripke frames: these logics are two-dimensional as well as bimodal. Van Benthem, Bezhanishvili, ten Cate and Sarenac transposed Shehtman’s idea to the topological semantics and introduced (...) the topological product \, as the logic of the products of certain topological spaces. For almost all well-studies logics, we have \, for example, \. Van Benthem et al. show, by contrast, that \. It is straightforward to define the product of a topological space and a frame: the result is a topologized frame, i.e., a set together with a topology and a binary relation. In this paper, we introduce topological-frame products \ of modal logics, providing a complete axiomatization of \, whenever \ is a Kripke complete Horn axiomatizable extension of the modal logic D: these extensions include \ and \, but not \ or \. We leave open the problem of axiomatizing \, \, and other related logics. When \, our result confirms a conjecture of van Benthem et al. concerning the logic of products of Alexandrov spaces with arbitrary topological spaces. (shrink)

Frege’s distinction between sense (Sinn) and meaning (Bedeutung) is his most influential contribution to philosophy, however central it was to his own projects, and however he may have conceived its importance. Philosophers of language influenced by, or reacting against the distinction, and historians of philosophy commenting on it, have all contributed to the voluminous literature surrounding it.1 Nonetheless in this essay I hope to shed new light on the distinction by considering it in the context of the development of Frege’s (...) thought, and connecting it more intimately than is usually done with Frege’s interests in logic, especially his views on judgment, truth and inference, which were central to his own projects as he conceived them. (shrink)

Die Studie ist am Schnittpunkt von Geschichts-, Sprach- und Kulturwissenschaften angesiedelt und behandelt die Jahre 1893-1933. Anhand einschlägiger Alltagsquellen werden liberaljüdische, zionistische und antisemitische Einstellungen zu Sprache generell sowie zu den Einzelsprachen Deutsch, Jiddisch und Hebräisch im diskursiven Spannungsfeld von Angriff und Apologie untersucht. Dabei versucht die Untersuchung auch Antworten zu geben auf die Frage, wie das kulturell fruchtbare Verhältnis zwischen Juden und Deutschen letztlich in die Katastrophe der nationalsozialistischen Judenvernichtung münden konnte.

Kremer zeigt am Beispiel zwischenstaatlicher Herrschaftsausübung, wie Suárez vom Begriff des gerechten Friedens her seine Theorie des politischen Handelns unter der Perspektive des Heils entfaltet.

Miller's metaphysics, including his approach to God, is broad, deep, and original, with the potential to make a fruitful contribution to contemporary philosophy. Yet it has not received the critical attention it deserves. Miller's work deserves critical attention because of its thorough and original defense of three highly controversial positions: that existence is a real property of concrete individuals; that it is possible to prove, without assuming any principle of sufficient reason, that there is an uncaused cause of the universe; (...) and that the uncaused cause is the simple God of classical theism. Miller's position on existence is an important alternative in current analytical philosophy to what Miller calls the "Frege-Russell-Quine" theory, and the neo-Meinongian positions of Terence Parsons and Ed Zalta. Miller's argument for an uncaused cause of the universe has been described one of the most ambitious theistic arguments produced by a well-respected, contemporary, analytic philosopher. Analysis of Existing: Barry Miller's Approach to God is the first clear, systematic interpretation of Miller's theistic philosophy. (shrink)

Liberté de dire parce que tel est l'apanage de l'humain, et qu'il feint parfois curieusement de l'ignorer. Avec cet ouvrage, est recherchée et dégagée la profonde et permanente "intention de signification" qui, au coeur des sociétés, anime tout langage et toute pensée de la philosophie de l'esprit dans son travail authentique de cognition et de communication, parti du peu probable ou du probable pour envisager et actualiser le certain, édifiant l'action humaine pleinement réussie.

En quelques pages, la philosophe Angèle Kremer-Marietti décrypte l'originalité du grand phénoménologue se posant au-delà de la représentation, dans le monde immense d'un univers qui nous échappe dans son pur objet.

The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad scope. (...) We argue here, however, that its organization manifests certain structural problems, and we describe revisions which we believe are needed if the network is to be maximally successful in realizing its goals of supporting terminology integration. (shrink)

Fine and Kripke extended S5, S4, S4.2 and such to produce propositionally quantified systems , , : given a Kripke frame, the quantifiers range over all the sets of possible worlds. is decidable and, as Fine and Kripke showed, many of the other systems are recursively isomorphic to second-order logic. In the present paper I consider the propositionally quantified system that arises from the topological semantics for S4, rather than from the Kripke semantics. The topological system, which I dub , (...) is strictly weaker than its Kripkean counterpart. I prove here that second-order arithmetic can be recursively embedded in . In the course of the investigation, I also sketch a proof of Fine's and Kripke's results that the Kripkean system is recursively isomorphic to second-order logic. (shrink)

Where humans can manipulate and integrate the information they receive in subtle and ever-changing ways from context to context, computers need structured and context-free background information of a sort which ontologies can help to provide. A domain ontology captures the stable, highly general and commonly accepted core knowledge for an application domain. The domain at issue here is that of the life sciences, in particular molecular biology and bioinformatics. Contemporary life science research includes components drawn from physics, chemistry, mathematics, medicine (...) and many other areas, and all of these dimensions, as well as fundamental philosophical issues, must be taken into account in the construction of a domain ontology. Here we describe the basic features of domain ontologies in the life sciences and show how they can be used. (shrink)