Originally published: New York: Random House, 1972.

Edith Wyschogrod presents the first full-length study in English of the important contemporary French philosopher Emmanuel Levinas. It is a revision of the author’s earlier study and includes discussions of his recent writings as well as current scholarship. Dr. Wyschogrod’s extensive discussion of Levinas's relation to Judaism, especially his use of literature from the Torah and other religious writings, will be of interest to religious scholars. The author compares Levinas’s thought with that of his contemporaries, most notably Jacques Derrida (...) and Husserl. (shrink)

Diotima’s speech claims that philosophy ranks among the erōtica. The standard reading of this holds that erōs manifests in philosophical activity. This is puzzling. Eros has a reputation for overpowering the psyche, making reasoning impossible. The major interpretive discussion of this puzzle suggests that Diotima must therefore accept either non-rationalist philosophizing or rationalist erōs. This paper argues for an alternative. The “ancillary activities view” posits that the erōtica do not manifest erōs but are activities undertaken to achieve its telos. On (...) this view, love’s relationship to philosophy is as un-mysterious as wanting something and doing what it takes to get it. (shrink)

Cette édition des Principes de la philosophie du droit, fondée sur un établissement critique du texte original, est la plus complète à ce jour : elle propose, dans une traduction nouvelle, ce texte majeur de la philosophie juridique et politique moderne publié en 1820. Sont en outre offertes au lecteur les traductions des annotations manuscrites portées par Hegel sur son exemplaire personnel, des extraits des cours prononcés durant les années où il rédigeait son ouvrage et de son dernier cours fait (...) la veille de sa mort, ainsi que les précieuses "Additions" rédigées par Eduard Gans à partir de cahiers d'étudiants ayant assisté aux cours de Hegel. (shrink)

The Turkish translation of Sein und Zeit has not yet been completed. Therefore it is not the subject of this paper whether or not Heidegger’s opus magnum can possibly be übersetzt, übertragen, or deutend dargestellt in an entirely different language such as Turkish. What is going to be discussed, instead, are the ways in which Heidegger can be presented by using the authentic capabilities of Turkish; the different alternatives of such a presentation; the notions and contexts that those alternatives would (...) materialize in the mind of a person who speaks and thinks in Turkish; and, finally, the extent to which those materialized concepts match the objectives that Heidegger had in mind. It is interesting, for that reason, that, for example, varlik does not always mean varlik in Turkish, while Sein always does mean Sein in German. (shrink)

The Turkish translation of Sein und Zeit has not yet been completed. Therefore it is not the subject of this paper whether or not Heidegger’s opus magnum can possibly be übersetzt, übertragen, or deutend dargestellt in an entirely different language such as Turkish. What is going to be discussed, instead, are the ways in which Heidegger can be presented by using the authentic capabilities of Turkish; the different alternatives of such a presentation; the notions and contexts that those alternatives would (...) materialize in the mind of a person who speaks and thinks in Turkish; and, finally, the extent to which those materialized concepts match the objectives that Heidegger had in mind. It is interesting, for that reason, that, for example, varlik does not always mean varlik in Turkish, while Sein always does mean Sein in German. (shrink)

Even though the strong relationship between proof-theoretic and model-theoretic notions in one’s logical theory can be shown by soundness and completeness proofs, whether we can define the model-theoretic notions by means of the inferences in a proof system is not at all trivial. For instance, provable inferences in a proof system of classical logic in the logical framework do not determine its intended models as shown by Carnap (Formalization of logic, Harvard University Press, Cambridge, 1943), i.e., there are non-Boolean models (...) that satisfy its provable inferences. In the literature, this is known as the Categoricity problem or Carnap’s problem. In this paper, we will discuss the Categoricity problem (or Carnap’s problem) for three-valued logics K3 and LP. We will provide three different restrictions on admissible models that will deliver us categoricity results, some of which draw from the solutions provided for the Categoricity problem for classical logic in Belnap and Massey (Stud Log 49(1):67–82, 1990) and Bonnay and Westerståhl (Erkenntis 81(4):721–739, 2016). We will then argue that two of those solutions are philosophically well-motivated: (1) restricting the admissible models where negation is interpreted as a Strong Kleene truth-function, and (2) restricting the admissible models where a complex formula is assigned the third value when its immediate subformulas are assigned the third value. (shrink)

The following is a critical reconstruction of the collaboration between Bauer and Marx between 1839 and 1842. The turbulences in the period in question reveal themselves in Marx’s thought as well as in his relationship with Bruno Bauer. Correspondingly, Marx’s detours, false paths, dead ends and abandoned work are therefore made the focus of this study. The ambivalent initial relations between the two of them, which both made their collaboration possible and hindered it, clearly go back further than 1841, when (...) Bauer was not yet an atheist and was still a proponent of church doctrine. This was the Bruno Bauer that Marx had come to know in the Doctor’s Club. We then meet Bauer the atheist at the end of 1839 or perhaps the beginning of 1840, as he was planning a comprehensive attack on orthodox theology and wanted Marx to fight on his side. This attack continued in Bauer’s Trumpet and in Hegel’s Doctrine. (shrink)

Electoral control refers to attempts by an election's organizer to influence the outcome by adding/deleting/partitioning voters or candidates. The important paper of Bartholdi, Tovey, and Trick [1] that introduces control proposes computational complexity as a means of resisting control attempts: Look for election systems where the chair's task in seeking control is itself computationally infeasible.We introduce and study a method of combining two or more candidate-anonymous election schemes in such a way that the combined scheme possesses all the resistances to (...) control possessed by any of its constituents: It combines their strengths. From this and new resistance constructions, we prove for the first time that there exists a neutral, anonymous election scheme that is resistant to all twenty standard types of electoral control. (shrink)

Electoral control refers to attempts by an election's organizer to influence the outcome by adding/deleting/partitioning voters or candidates. The important paper of Bartholdi, Tovey, and Trick [1] that introduces control proposes computational complexity as a means of resisting control attempts: Look for election systems where the chair's task in seeking control is itself computationally infeasible.We introduce and study a method of combining two or more candidate-anonymous election schemes in such a way that the combined scheme possesses all the resistances to (...) control possessed by any of its constituents: It combines their strengths. From this and new resistance constructions, we prove for the first time that there exists a neutral, anonymous election scheme that is resistant to all twenty standard types of electoral control. (shrink)

We investigate the effect on the complexity of adding the universal modality and the reflexive transitive closure modality to modal logics. From the examples in the literature, one might conjecture that adding the reflexive transitive closure modality is at least as hard as adding the universal modality, and that adding either of these modalities to a multi-modal logic where the modalities do not interact can only increase the complexity to EXPTIME-complete. We show that the first conjecture holds under reasonable assumptions (...) and that, except for a number of special cases which we fully characterize, the hardness part of the second conjecture is true. However, the upper bound part of the second conjecture fails miserably: we show that there exists a uni-modal, decidable, finitely axiomatizable, and canonical logic for which adding the universal modality causes undecidability and for which adding the reflexive transitive closure modality causes high undecidability. (shrink)

Frame semantics for negation on the Australian Plan accommodates many different negations, but it falls short on accommodating subminimal negation when the language contains conjunction and disjunction. In this paper, I will present a multi-relational frame semantics –multi-incompatibility frame semantics– that can accommodate subminimal negation. I will first argue that multi-incompatibility frames are in accordance with the philosophical motivations behind negation on the Australian Plan, namely its modal and exclusion-expressing nature. Then, I will prove the soundness and completeness results of (...) a subminimal logic that consists of the multi-incompatibility semantics and a proof system with operational rules that characterize subminimal negation, conjunction and disjunction. Lastly, I will prove some key correspondence theorems that relate frame conditions to certain principles that are associated with stronger negations, which will give rise to a new kite of negations that includes subminimal negation. (shrink)

The tendency in the past has been for aruhropobgists to rationalize away the native claim that spirits exist. But in this study, a number of incidents, some of which happened to the author, are described and used to bring this positwistic assumption into question. The author shows that "participant observation" in the fullest sense requires taking the final leap and "going native" in the most complete way possible.

Coalitional games raise a number of important questions from the point of view of computer science, key among them being how to represent such games compactly, and how to efficiently compute solution concepts assuming such representations. Marginal contribution nets , introduced by Ieong and Shoham, are one of the simplest and most influential representation schemes for coalitional games. MC-nets are a rulebased formalism, in which rules take the form pattern → value, where “pattern ” is a Boolean condition over agents, (...) and “value ” is a numeric value. Ieong and Shoham showed that, for a class of what we will call “basic” MC-nets, where patterns are constrained to be a conjunction of literals, marginal contribution nets permit the easy computation of solution concepts such as the Shapley value. However, there are very natural classes of coalitional games that require an exponential number of such basic MC-net rules. We present read-once MC-nets, a new class of MC-nets that is provably more compact than basic MC-nets, while retaining the attractive computational properties of basic MC-nets. We show how the techniques we develop for read-once MC-nets can be applied to other domains, in particular, computing solution concepts in network flow games on series-parallel networks. (shrink)

La proposition de cet article est de se saisir du « temps de l’expérience » des parcs éoliens citoyens en Frise du Nord (Allemagne) en le confrontant à la fois aux pulsations politiques des expérimentations techniques et à la fois aux rythmes des vents, comme ce qui permettrait d’en prendre soin, pour penser la continuité des épreuves de transition dans le temps mais aussi dans l’espace, dans une perspective démocratique de multiplication des expériences de transition.