This volume makes available one of the central texts in the development of utilitarian tradition, in the authoritative 1977 edition prepared by Professors Burns and Hart as part of Bentham's Collected Works. Certain that history was on his side, Bentham sought to rid the world of the hideous mess wrought by legal obfuscation and confusion, and to transform politics into a rational, scientific activity, premised on the fundamental axiom that "it is the greatest happiness of the greatest number that is (...) the measure of right and wrong.". (shrink)

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is (...) defined in terms of a \-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints. (shrink)

Since its relatively recent publication, there has been little sustained analysis of the Fragment on Evil. In the secondary literature, references to the Fragment tend to be scarce, and only parts of the Fragment are cited at any time. Yet, it seems a valuable endeavour to understand the Fragment in its entirety—to understand its aims, central theses, core arguments, how each section relates to another, and so on. That is the aim of this paper. More specifically, (...) this paper aims at providing an interpretation that emphasizes the argumentative features and overall structure of the Fragment.The Fragment on Evil was acquired by the National Library of Scotland in 1993.2 It was found in a... (shrink)

BM 76829, a fragment from the mid-section of a small tablet from Sippar in Late Babylonian script, preserves what remains of two new unparalleled pieces from the cuneiform astronomical repertoire relating to the zodiac. The text on the obverse assigns numerical values to sectors assigned to zodiacal signs, while the text on the reverse seems to relate zodiacal signs with specific days or intervals of days. The system used on the obverse also presents a new way of representing the (...) concept of numerical ‘zero’ in cuneiform, and for the first time in cuneiform, a system for dividing the horizon into six arcs in the east and six arcs in the west akin to that used in the Astronomical Book of Enoch. Both the obverse and the reverse may describe the periodical courses of the sun and moon, in a similar way to what is found in astronomical texts from Qumran, thus adding to our knowledge of the scientific relationship between the two cultures. (shrink)

Given an intermediate prepositional logic L, denote by L –d its disjuctionless fragment. We introduce an infinite sequence {J n}n1 of propositional formulas, and prove:(1)For any L: L –d =I –d (I=intuitionistic logic) if and only if J n L for every n 1.

In Either/Or, using the voices of two characters—the aesthetic young man of part one, called simply "A," and the ethical Judge Vilhelm of the second section—Kierkegaard reflects upon the search for a meaningful existence, contemplating subjects as diverse as Mozart, drama, boredom, and, in the famous Seducer's Diary, the cynical seduction and ultimate rejection of a young, beautiful woman. A masterpiece of duality, Either/Or is a brilliant exploration of the conflict between the aesthetic and the ethical - both meditating ironically (...) and seductively upon Epicurean pleasures, and eloquently expounding the noble virtues of a morally upstanding life. For more than seventy years, Penguin has been the leading publisher of classic literature in the English-speaking world. With more than 1,700 titles, Penguin Classics represents a global bookshelf of the best works throughout history and across genres and disciplines. Readers trust the series to provide authoritative texts enhanced by introductions and notes by distinguished scholars and contemporary authors, as well as up-to-date translations by award-winning translators. (shrink)

We introduce a nonstandard arithmetic $NQA^-$ based on the theory developed by R. Chuaqui and P. Suppes in [2] (we will denote it by $NQA^+$ ), with a weakened external open minimization schema. A finitary consistency proof for $NQA^-$ formalizable in PRA is presented. We also show interesting facts about the strength of the theories $NQA^-$ and $NQA^+$ ; $NQA^-$ is mutually interpretable with $I\Delta_0 + EXP$ , and on the other hand, $NQA^+$ interprets the theories IΣ1 and $WKL_0$.

The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does (...) not obtain, and assertions are always warranted, having grounds of assertion. The proof system is shown to satisfy Dummett’s harmony property, justifying the ND rules as meaning conferring. The semantics is suitable for incorporation into computational linguistics grammars, formulated in type-logical grammar. (shrink)

The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation ∼. Then in a Hilbert space ∼ turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von Neumann "quantum logic" (...) can be interpreted by taking their "disjunction" to be ¬(∼A & ∼ B). Their logic can thus be mapped into a Boolean structure to which an additional operator ∼ has been added. (shrink)

We investigate adverbial agreement in Sandəmarkesə (S. Marco in Lamis, Apulia) proposing phase-bound, local agreement relations, reducible to coordination, as in past and absolute participial constructions, suggesting a copulaless analysis where arguments are subjects in a small clause. With disjunct nominals with matching φ-features, the adverb agrees separately with each part in the set, otherwise resulting in ‘non-agreeing’ forms, which we test also with negative polarity items (niʃun-, ‘nobody’ and nentə, ‘nothing’). With fragment answers, the negation scopes over adverbs (...) agreeing with the two proposed topics: matching of the φ-features of both nouns values the negative operator with the same features. In fronted adverbs, agreement occurs when the question contains overt coordinated arguments, elements continuing a chain, and if coordinated arguments have matching φ-features. In agreement in topical contexts with fronted adverbs, agreement occurs with the aboutness-shift topic closely preceding them, rather than with the embedded direct object. (shrink)

The provability problem in intuitionistic propositional second-order logic with existential quantifier and implication (∃,→) is proved to be undecidable in presence of free type variables (constants). This contrasts with the result that inutitionistic propositional second-order logic with existential quantifier, conjunction and negation is decidable.

We prove decidability of satisfiability of sentences of the monodic packed fragment of first-order temporal logic with equality and connectives Until and Since, in models with various flows of time and domains of arbitrary cardinality. We also prove decidability over models with finite domains, over flows of time including the real order.

Inquisitive first order logic is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known whether is recursively axiomatizable, even though an axiomatization has been found for fragments of the logic. In this paper we define the \—classical antecedent—fragment, together with an axiomatization and a proof of its strong completeness. This result extends the ones presented in the literature and introduces a new approach to study the axiomatization (...) problem for fragments of the logic. (shrink)

War-orphans from Thasos: a new fragment of the « Agathoi Decree » (ca 360-350 B. C). A new fragment of the « Agathoi Decree » is here published (J. POUILLOUX, Recherches sur Thasos I, 141), which contains arrangements for the public funerals of citizens killed in war. The twenty-two new lines contain three additional clauses. The city guarantees the maintenance of war-orphans through a daily allowance, provided that they are genuinely needy. The sons of metics will receive a (...) fixed grant of 17,5 staters. A third, unspecified, category (the sons of nothoi? freedmen?) are entitled to certain privileges, specified in an earlier decree. The decree is to be published near the prytaneion. The document reveals, among other things, the existence of a board of prytaneis. It also allows for a reexamination of monetary questions, in particular the denominations of the new currency system introduced in Thasos in the early fourth century B.C. The whole decree is strongly influenced by the Athenian model. It was probably adopted in exceptionally grave military circumstances, very likely the Datos/Krenides war of 360-356 B.C. (shrink)

Structured argumentation formalisms, such as ASPIC +, offer a formal model of defeasible reasoning. Usually such formalisms are highly parametrized and modular in order to provide a unifying framework in which different forms of reasoning can be expressed. This generality comes at the price that, in their most general form, formalisms such as ASPIC + do not satisfy important rationality postulates, such as non-interference. Similarly, links to other forms of knowledge representation, such as reasoning with maximal consistent sets of rules, (...) are insufficiently studied for ASPIC + although such links have been established for other, less complex forms of structured argumentation where defeasible rules are absent. Clearly, for a formal model of defeasible reasoning it is important to understand for which range of parameters the formalism (a) displays a behavior that adheres to common standards of consistency, logical closure and logical relevance and (b) can be adequately described in terms of other well-known forms of knowledge representation. In this paper we answer this question positively for a fragment of ASPIC + without the attack form undercut by showing that it satisfies all standard rationality postulates of structured argumentation under stable and preferred semantics and is adequate for reasoning with maximal consistent sets of defeasible rules. The study is general in that we do not impose any other requirements on the strict rules than to be contrapositable and propositional and in that we also consider priorities among defeasible rules, as long as they are ordered by a total preorder and lifted by weakest link. In this way we generalize previous similar results for other structured argumentation frameworks and so shed further light on the close relations between assumption-based argumentation and ASPIC +. (shrink)

Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.

In this extended prose poem—a text that reads as much as a work of art as important scholarship—Kurt H. Wolff has created a work of phenomenology that goes far beyond the typical methods of empirical social science to embrace field work as an extraordinary openness to being. Including personal letters to Wolff from Hannah Arendt and Hermann Bloch, the book portrays a fertile mind's reckoning with pre-phenomenal being in a way that dances between the realms of intellectual consideration and the (...) surrender of will to the intoxication of lived experience. (shrink)

Mit dem vielleicht etwas sonderbar anmutenden Titel des Referats wird abgezielt auf andeutende Konturen einer philosophischen Anthropologie, die anzusetzen versucht nicht beim isolierten Individuum, als vielmehr bei den konkreten mitmenschlichen Bezügen des Menschen. Der Mensch ist das seltsame Geschöpf der Natur, das mit sich vertraut ist und zugleich nach sich fragen muss, – das Selbstbewusstsein hat und doch sich fremder werden kann als alle Gegenstände, – er ist Subjekt von Kenntnissen tausendfältiger Art und kann sich als Objekt niemals ganz erfassen. (...) Die idealistische Selbstdeutung geht aus vom Selbstbewusstsein, von der Personalität, von Freiheit und ichbewusster Vernunft, die naturalistische Denkart verrechnet den Menschen ins Tierreich. (shrink)