This chapter contains sections titled: Introduction The Stoic Logical System Conclusion Bibliography.

Two experiments examined the restriction of referential domains during unscripted conversation by analyzing the modification and online interpretation of referring expressions. Experiment 1 demonstrated that from the earliest moments of processing, addressees interpreted referring expressions with respect to referential domains constrained by the conversation. Analysis of eye movements during the conversation showed elimination of standard competition effects seen with scripted language. Results from Experiment 2 pinpointed two pragmatic factors responsible for restriction of the referential domains used by speakers to (...) design referential expressions and demonstrated that the same factors predict whether addressees consider local competitors to be potential referents during online interpretation of the same expressions. These experiments demonstrate, for the first time, that online interpretation of referring expressions in conversation is facilitated by referential domains constrained by pragmatic factors that predict when addressees are likely to encounter temporary ambiguity in language processing. (shrink)

In the opening sections of this paper, we defined ambiguity in terms of distinct sentences (for a single sentence-string) with, in particular, distinct sets of truth conditions for the corresponding negative sentence-string. Lexical vagueness was defined as equivalent to disjunction, for under conditions of the negation of a sentence-string containing such an expression, all the relevant more specific interpretations of the string had also to be negated. Yet in the case of mixed quantification sentences, the strengthened, more specific, interpretations of (...) some such positive string are not all of them necessarily implied to be false if the corresponding negative sentence-string is asserted. On the contrary, as we saw in section 6, a negative sentence-string can be used to deny one of the more specific interpretations of the corresponding positive string without also denying other weaker interpretations of that same string. One might therefore argue that the only empirical evidence availble for assessing quantified sentences suggests clearly that these sentence-strings are ambiguous. Indeed logicians, many of whom restrict their attention to propositions, MUST recognise logical ambiguity at this point. For the contextualisation of the negative sentences in section 6 showed that it was possible to assert the falsity of some proposition P expressed by the sentence S while asserting a further proposition which was compatible with the truth of S. However the corresponding conclusion that such sentence-strings are sententially ambiguous is not a necessary conclusion for the linguist: for the alternative account of postulating a single semantic representation plus a set of semantic procedures is also compatible with the negation evidence. Moreover we have seen independent reasons for thinking that if sentential ambiguity is assumed to be in one-to-one correspondence with what we should now call logical ambiguity, a considerable body of generalisations is lost. For the maximal ambiguity account, it should be recalled, is committed to assigning at least thirteen distinct propositions and hence thirteen distinct sentence outputs for every sentence-string containing no more than two quantifiers, for three out of the four interpretations originally outlined in this paper can be understood with each numeral taken either in an ’exactly’ sense or in an ’at least’ sense. Moreover there is no explanation of why just these interpretations are available-they are merely an arbitrary list, no more connected than are the two interpretations of John saw her duck, with no reason to predict that the ambiguity would carry over from language to language. If then it is granted that an ambiguity account fails to capture appropriate generalisations, only two alternative accounts of mixed quantification sentence-strings remain viable-an analysis proposing an initial co-ordinate logical form like the logical form III, which is the strongest form compatible with each of the propositional interpretations of sentence-string Two examiners marked six scripts, and the radically weak form in which only existential quantification (both over sets and over members of those sets) is invoked. Since there are strong arguments to suggest that the procedures which both analyses require are semantic, there seems no reason not to adopt the radical vagueness account, with its considerably greater simplicity. (shrink)

This volume offers to the English-speaking world a collection of important works by the eminent twentieth century logician, Jan Lukasiewicz, many of which are here translated into English for the first time. This edition differs significantly from the Polish edition which appeared in 1961—containing ten logic papers not appearing there and omitting articles primarily of interest to the Polish reader. In addition to writing in Polish, Lukasiewicz also published works in French, English, and notably in German, and sometimes translated his (...) own works from one language to another. One of the most valuable works on the history of logic is Lukasiewicz’ paper, "On the History of the Logic of Propositions". Lukasiewicz points out the difference between the two basic areas of formal logic, the logic of propositions and the logic of terms, undifferentiated before the development of modern mathematical logic. The understanding of this distinction leads Lukasiewicz to trace the history of propositional logic back to its original development by the Stoics, its further development by the medieval Scholastics, and its axiomatization by Gottlob Frege. The status of mathematical logic is discussed in various works. The most basic system is propositional logic, upon which depend the other logical disciplines and also mathematics. Mathematical logic, also called logistic, is independent of philosophy and espouses no philosophical viewpoint. Early in his career, Lukasiewicz refers to mathematical logic as the logic of algebra and uses mathematical symbolism to represent logical propositions. Later he introduces what we now call "Polish notation," in particular, "Cpq" for "if p, then q" and "Np" for "it is not the case that p" for the primitive functions, eliminating the need for punctuation. He adopts the symbols Π and Σ for quantification from Charles S. Peirce, and also brings to light the almost unknown fact that it was Peirce who invented the matrix method in 1885. The paper, "Investigations into the Sentential Calculus", written by Lukasiewicz and Tarski embodies the results of a decade of research on the sentential calculus initiated by Lukasiewicz at the University of Warsaw systematically compiling the contributions of five logicians: Lindenbaum, Sobocinski, Wajsberg, Tarski, and Lukasiewicz. The approach is metalogical and depends heavily upon set theoretic concepts; it covers both the matrix and axiomatic methods. One of the problems that preoccupied Lukasiewicz was that of determinism, which led to his development of three-valued logic. A proposition such as "I shall be in Warsaw at noon on 21 December of next year" is neither true nor false; a third truth value is needed, one which Lukasiewicz calls "the possible." Another area to which Lukasiewicz contributed is modal logic, proving that modal logic cannot be two-valued. Lukasiewicz’ analysis and axiomatization of Aristotle’s syllogistic is not included in the present volume since an English edition by Lukasiewicz on this topic is available. We have here briefly touched upon a few of Lukasiewicz’ numerous achievements in logic; the best means of appreciating them is to read his works.—T. G. N. (shrink)

This thesis examines procedures for ascribing ambiguity to particular sentences and words of a language. My discussion focuses on theories advanced by Keith Donnellan, Saul Kripke and David Kaplan regarding the alleged referential/attributive ambiguity of definite descriptions, and on arguments offered by Paul Ziff, David Wiggins and Jerrold Katz concerning the ambiguity of the word 'good'. I distinguish two kinds of semantic ambiguity, which I call "strong" and "weak", and develop a theoretical model of the former. Using this model, (...) I devise and evaluate a number of theoretically related practical tests designed to detect the presence of ambiguity in concrete cases. I argue against direct appeals to our intuitions of meaning, to Occam's Razor, to grammatical analyses and to foreign languages in settling disputed ascriptions of ambiguity. I favor procedures which indirectly test our intuitions of meaning by isolating the linguistic effects of mixing and shifting senses. My tests rely on the assumption that the effects which accompany the use of truly ambiguous expressions are distinguishable from the mere pragmatic uncertainty which permeates general language use. Semantically ambiguous terms are viewed as awkward linguistic devices whose use, for example, will occasionally produce humor, as in the case of a pun, or deceptively bad reasoning. The account I develop rests heavily on the traditional theory of meaning , and to the extent that the standards I erect furnish better evidence for an ascription of semantic ambiguity, to that extent they ratify the classical analysis of meaning. (shrink)

The idea that ambiguity can be productive in data science remains controversial. Efforts to make scientific publications and data intelligible to computers generally assume that accommodating multiple meanings for words, known as polysemy, undermines reasoning and communication. This assumption has nonetheless been contested by historians, philosophers, and social scientists, who have applied qualitative research methods to demonstrate the generative and strategic value of polysemy. Recent quantitative results from linguistics have also shown how polysemy can actually improve the efficiency of human (...) communication. I present a new conceptual typology based on a synthesis of prior research about the aims, norms, and circumstances under which polysemy arises and is evaluated. The typology supports a contextual pluralist view of polysemy’s value for scientific research practices: polysemy does both substantial positive and negative work in science, but its utility is context-sensitive in ways that are often overlooked by the norms people have formulated to regulate its use, including prior scholars researching polysemy. I also propose that historical patterns in the use of partial synonyms, i.e. terms with overlapping meanings, provide an especially promising phenomenon for integrative research addressing these issues. (shrink)

In the paper we present a relatively simple proof of cut elimination theorem for variety of hybrid logics in the language with satisfaction operators and universal modality. The proof is based on the strategy introduced originally in the framework of hypersequent calculi but it works well also for standard sequent calculi. Sequent calculus examined in the paper works on so called satisfaction formulae and cover all logics adequate with respect to classes of frames defined by so called geometric conditions.

Advocates of eliminative materialism (EM) assure us that our current, ordinary approach to describing the mind will eventually be eliminated, instead of reduced, by a matured neuroscience. However, once we take into account the flexibility, explanatory power, and overall sophistication of ordinary language, then the promissory note offered by eliminative materialism loses all credibility. To bolster the preceding claim, we present three original problems for EM: the accountability problem, the substitution problem, and the discourse dependence problem.

Lexical ambiguity—the phenomenon of a single word having multiple, distinguishable senses—is pervasive in language. Both the degree of ambiguity of a word (roughly, its number of senses) and the relatedness of those senses have been found to have widespread effects on language acquisition and processing. Recently, distributional approaches to semantics, in which a word's meaning is determined by its contexts, have led to successful research quantifying the degree of ambiguity, but these measures have not distinguished between the ambiguity (...) of words with multiple related senses versus multiple unrelated meanings. In this work, we present the first assessment of whether distributional meaning representations can capture the ambiguity structure of a word, including both the number and relatedness of senses. On a very large sample of English words, we find that some, but not all, distributional semantic representations that we test exhibit detectable differences between sets of monosemes (unambiguous words; N = 964), polysemes (with multiple related senses; N = 4,096), and homonyms (with multiple unrelated senses; N = 355). Our findings begin to answer open questions from earlier work regarding whether distributional semantic representations of words, which successfully capture various semantic relationships, also reflect fine‐grained aspects of meaning structure that influence human behavior. Our findings emphasize the importance of measuring whether proposed lexical representations capture such distinctions: In addition to standard benchmarks that test the similarity structure of distributional semantic models, we need to also consider whether they have cognitively plausible ambiguity structure. (shrink)

This is a thesis in formal semantics. It consists of two parts corresponding to the distinction, due to Richard Montague, between universal grammar and specific semantic theories. The first part concerns universal grammar and is intended to provide a precise and unified conceptual framework within which different theories of formal semantics can be represented and compared. ;The second part of the thesis is concerned with intensional logic, i.e., with the logical analysis of discourse involving so called oblique contexts. These contexts (...) are characterized by the apparent failure of certain classically valid principles of substitutivity. Two kinds of reactions among logicians to the appearance of oblique contexts in natural languages are distinguished: (1) the intensional point of view, according to which oblique contexts are seen as genuine counterexamples to classical logic and to the related semantical principle of extensionality: the principle that the denotation of an expression is a function of the denotations of its parts; and (2) the extensional point of view, according to which the conflict between oblique contexts and classical logic is only apparent. The extensional point of view therefore calls for analyses of oblique contexts that preserve the laws of classical logic and the principle of extensionality. In this thesis, we are concerned with the precise formulation of and comparison between different programs for the formal semantic representation of oblique contexts. In Chapter 5, we are concerned with Church's program of representing oblique contexts within a formal language whose semantics is fully extensional and based on Frege's distinction between sense and denotation. The ambiguity between the "direct" and "indirect" denotation of an expression A is avoided by letting A be replaced in oblique contexts by an expression which denotes A's ordinary sense. We provide a possible-worlds semantics for a version of Church's formal language with the following features: (i) Objectual quantification into oblique constructions is accounted for. The treatment of quantification requires for each entity x an essence of x, by which we mean a sense which determines x in those worlds in which x exists and is undefined in all other worlds. (ii) The variables range over actually existing entities only. It is allowed that entities of certain types are contingent, i.e., the same entity may exist in one world and fail to exist in other worlds. (iii) In order to combine a proper treatment of the cross-world identification of functions with varying domains, partial functions are allowed. (iv) Senses are allowed to be partially defined. For example, the sense of a proper name is undefined in a world in which the denotation of the name does not exist. (v) Senses of functions from objects of type a to objects of type b are identified with functions from senses of objects of type a to senses of objects of type b. In Chapters 6 and 7, we pursue the Russellian Alternative in intensional semantics, where a sense/denotation distinction is avoided. Apparent failures of substitutivity principles for singular terms are explained along the lines of Russell's theory of definite descriptions. Failures of substitutivity of coextensional sentences and predicates are explained by Russell's doctrine that sentences and predicate denote propositions and propositional functions , respectively. Russellian semantics is fully extensional in the sense that the Russellian denotation of a designator is a function of the Russellian denotations of its parts. In Chapter 6, a theory of Russellian propositions is developed within set theory. This theory is then applied in Chapter 7 to the task of providing a set-theoretic semantics for Russellian type theory. (shrink)

This work presents the structure, distribution and semantic interpretation of quantificational expressions in languages from diverse language families and typological profiles. The current volume pays special attention to underrepresented languages of different status and endangerment level. Languages covered include American and Russian Sign Languages, and sixteen spoken languages from Africa, Australia, Papua, the Americas, and different parts of Asia. The articles respond to a questionnaire the editors constructed to enable detailed crosslinguistic comparison of numerous features. They offer comparable information (...) on semantic classes of quantifiers (generalized existential, generalized universal, proportional, partitive), syntactically complex quantifiers (intensive modification, Boolean compounds, exception phrases, et cetera), and several more specific issues such as quantifier scope ambiguities, floating quantifiers, and binary (type 2) quantifiers. The book is intended for semanticists, logicians interested in quantification in natural language, and general linguists as articles are meant to be descriptive and theory independent. The book continues and expands the coverage of the Handbook of Quantifiers in Natural Language (2012) by the same editors, and extends the earlier work in Matthewson (2008), Gil and others (2013) and Bach et al (1995). (shrink)

In this paper we study the semantic data complexity of several controlled fragments of English designed for natural language front-ends to OWL (Web Ontology Language) and description logic ontology-based systems. Controlled languages are fragments of natural languages, obtained by restricting natural language syntax, vocabulary and semantics with the goal of eliminating ambiguity. Semantic complexity arises from the formal logic modelling of meaning in natural language and fragments thereof. It can be characterized as the computational complexity (...) of the reasoning problems associated to their semantic representations. Data complexity (the complexity of answering a question over an ontology, stated in terms of the data items stored therein), in particular, provides a measure of the scalability of controlled languages to ontologies, since tractable data complexity implies scalability of data access. We present maximal tractable controlled languages and minimal intractable controlled languages. (shrink)

Stoic work on ambiguity represents one of the most innovative, sophisticated and rigorous contributions to philosophy and the study of language in western antiquity. This book is both a comprehensive survey of the often difficult and scattered sources, and an attempt to locate Stoic material in the rich array of contexts, ancient and modern, which alone can guarantee full appreciation of its subtlety, scope and complexity. The comparisons and contrasts which this book constructs will intrigue not just (...) classical scholars, and philosophers, but also logicians, theoretical linguists, communication theorists and historians of grammar and of literary theory. The Stoics on Ambiguity is designed to be intelligible to readers with no Greek or Latin. (shrink)

The Standards' ecumenical implications are critically assessed in view of the risks which their cross-denominational or cross-faith cooperation implications on the one hand, and, on the other hand, their secular commitments to mutual learning, non-proselytizing, professionalism, and efficiency assessment might carry for chaplains' properly spiritual orientation. The problem posed by the ambiguity of language is raised as a warning that concepts like human dignity have a profoundly different meaning in secular and Christian contexts. Invoking such concepts can be seriously (...) misleading. (shrink)

The book reconstructs the history of Western ethics. The approach chosen focuses the endless dialectic of moral codes, or different kinds of ethos, moral doctrines that are preached in order to bring about a reform of existing ethos, and ethical theories that have taken shape in the context of controversies about the ethos and moral doctrines as means of justifying or reforming moral doctrines. Such dialectic is what is meant here by the phrase ‘moral traditions’, taken as a name for (...) threads of moral discourse, made in turn of other interwoven threads, including transmission of shared codes, appeals to reform of prevailing custom, rational argument about the justification of some precept on the basis of some shared general teaching or principle, and rational argument about the ultimate basis for principles and justification of authoritative teaching. That is, the approach adopted to the reading of ethical texts depends on a firm belief in the fact that philosophers hardly created any ethical doctrine out of nothing. The main point this book tries to highlight is how different philosophical theories emerged and followed each other as a result of attempts at accounting for what was going on in the world of moral traditions. Changes were propelled by controversies between different schools, and highly abstract arguments were the unintended effects of moves made by controversialists forced to transform (and occasionally to turn upside down) their own doctrines in order to face the challenge posed by other arguments. This is the reason why the book examines not only texts that already enjoy pride of place in the history of philosophy (Aristotle, Kant, Hegel), but also other texts usually treated in the histories of religions (the Bible, the Talmud, the Quran), and others considered to be much less philosophical (Plutarchus, Pufendorf). -/- 1. Plato and a response to ethical scepticism. Two different traditions of morality in VI-V century Greece are described. The birth of philosophical questioning of traditional morality and temporal and spatial variation of custom is described within the context of the v century crisis, the demise of traditional aristocratic and tyrannical rule and the birth of democracy. Two conflicting answers to the challenge are reconstructed, namely conventionalist or immoralist theories formulated by the Sophists and the eudemonist and intellectualist Socratic theory. Plato’s own reformulation of Socrates answer to the Sophists is reconstructed. His psychological views, his classification of the four cardinal virtues and his political theory are described as parts of a unitary system, culminating in an extremely realist moral ontology identifying the idea of the good with the essence of the (moral and extra-moral) world itself. -/- 2. Aristotle and the invention of practical philosophy. Aristotle’s invention of practical philosophy as a field separated from first philosophy is shown to be an implication of his break with Plato moral ultra-realism. Aristotle’s agenda in his moral works is arguably dependent on a polemical intention, namely dismantling Socratic intellectualism. The semi-inductive or virtuously circular method of practical philosophy is illustrated, starting with the received opinions of the better and wiser individuals and trying dialectically to sift what is left of mistake and inconsistence in such opinions, finally trying to correct mistakes and make the overall practical science more consistent. The chapter illustrates then the relationship of individual ethics, or ‘monastics’, with the art and the science of the pater familias, or ‘economics’, and the science of the ruler and citizen, or politics. The nature of virtues, or better, excellences of character, is discussed, highlighting the basic role of hexis, or ‘disposition’. Prudence, or better practical wisdom, is the focus of the chapter. Its relationship with bouleusis or deliberation is examined, and its autonomous status vis-à-vis theoretical knowledge is stressed. -/- 3. Diogenes and philosophy as a way of life. The chapter provides an overview of Hellenistic ethics, which almost amounts to Hellenistic schools of philosophy, in so far as ‘philosophy’ became in these centuries primarily the name for a way of life. The typical character of the Cynical movement is highlighted, that of a school of life, not a school aimed at providing any kind of intellectual training was to be provided. -/- 4. Epicurus and ethics as self-care. The peculiar character of the Epicurean school is described, a combination of a science of well-being aiming, more than at pleasure as in the popular view, at reduction of useless suffering, of unnecessary needs, and at a balanced selection of pleasures of the best and most durable kind. -/- 5. Epictetus and ethics as therapy of the passions. The various phases of Stoicism are described, and the shifting place given to ethics in the Stoic system of idea, culminating in the paradoxical view of ethics, its impossibility in principle notwithstanding, as the only truly significant and necessary part of philosophy. Cicero is treated, showing how his own synthesis of various Hellenistic trends is as a truly philosophical enterprise, deserving serious consideration after one or two centuries when he was confined to the role of literate. Epictetus is chosen as the best example of what the Stoic tradition could yield, an art of living based on sophisticated introspection, in turn aimed at making a kind of cognitive therapy possible, dismantling obnoxious passions at their root by systematically correcting false representations. -/- 6. Philo and the reconciliation of Torah and Platonism. A reconstruction of basic ideas from a few books of the Hebrew Bible is provided, starting with the Prophetic tradition and the focus on God’s mercy as the source of motivation and standard for human behaviour. Then a comparative analysis is undertaken of a parallel tradition, namely the three codifications of the Torā (Law or, better, Instruction), highlighting how a core of moral ideas may be recognized as a basis and preamble of codification of civil law, cultural practice, and regulation of ritual purity. The importance of Leviticus is stressed as the turning point when emphasis mercy, typical of the Prophetic tradition, is combined with the legal tradition, yielding the change in sensibility of the Second Temple time. Philo of Alexandria is described as one of the three leading figures – together with Rabbi Hillel and Rabbi Yeshua – at the apex the emergence of the mentioned new sensibility, gradually including mercy as an essential part of justice and establishing the starting point of both the Rabbinic and the Christian tradition. This consists precisely in the precept of one’s neighbour’s love or of the golden rule, two eventually identical precepts whose meaning is arguably more sober and sensible than the long-lasting Christian tradition deriving from John and Augustine has made us believe and no novelty vis-à-vis so-called Ancient-Testament teachings. -/- 7. Augustine and Christianity as Neo-Platonism. The first section examines the moral doctrines of so-called 'ethical Treaties' from the Talmud, a group of treaties, among which the best known is Pirqé Avot, that were left out of the six "orders" of the canon as they did not fit in any of the six groups of issues ritual or legal on which the division was based. According to Maimonides, their peculiar theme is provided by the Deòt, 'opinions', i.e., mental dispositions, that is, the translation of the Greek term hexeis and Arab akhlak (in turn providing in this language the name for ethics as such). The three topics I reconstruct are: i) the notion of Torah: The Torah is understood as the world order itself, or as the ‘Wisdom’ that existed even before creation and was ‘the tool by which the world was built’; however, the Torah is an earthly and human entity, as it was "received" by humans, and from that very moment belongs to them; ii) the relationship between love of God and love of neighbour; the treaties require us to study and practice the Torah ‘for its own sake’, that is, require us to act out of love, not out of fear or hope of reward; iii) the idea of sanctification of daily life: having disappeared with the destruction of the Temple the possibility of any conflict between liturgical service and everyday life, the latter is assumed to be in itself divine service: to give food to the poor has the same value as sacrifices in the Temple, and as an implication, the insistence become recurrent on the goodness of created things in themselves along with a polemic against ascetic currents. The conclusions drawn are: i) the moral teachings of the Talmud and those of Yeshua are, rather than similar, virtually identical; one may safely say that the precept of love and the golden rule are central ones for all Talmudic rabbis, that mercy plays an indispensable role alongside with justice, and the latter is not a different thing from one’s neighbour’s love; ii) a peculiarity of Talmud rabbis facing Yeshua is the idea of study as worship, and knowledge as a source of justice; but this is an idea of Judaism after the Temple's destruction that cannot be attributed to the Pharisees of Yeshua’s time; iii) the relation of study and practice in the Talmud parallels that between faith and deeds in Paul's epistles, that is, respectively faith or learning are a necessary and sufficient condition to be recognized as righteous , but deeds are the inevitable effect of either faith or learning. The sayings ascribed to Yeshua are examined first, yielding the conclusion that a close equivalent may be found for every saying in Talmudic literature and yet the whole is ascribed to one rabbi, with rather consistent stress on God’s mercy and unconditional forgiving as the mark of true imitation of God. Thus, Yeshua’s teaching is pure Judaism. The third section describes briefly the galaxy of Gnostic currents and Manichaeism, trying to sketch the profile of moral teachings resulting from an encounter of Asian spiritual traditions, Hellenistic lore and sparks of teachings from apocalyptic Jewish currents. The last section summarizes the turbulent history of several encounters between Christian currents and Hellenistic philosophical schools. The first one was with late Cynicism. Recent, rather controversial, literature discovered the jargon and a few topics from the Stoic-Cynical popular philosophy in a few books from the New Testament itself. This, far from proving that Rabbi Yeshua had been influenced by cynic preachers, is a proof of the necessity felt by Christian preachers to translate the original ‘Christian’ teaching into a Greek lexicon deeply impregnated with cynic terminology. The second was with Platonism, yielding the mild and temperate moral teaching of Clemens of Alexandria, teaching the sanctity of nature and the human body, the joy of moderate fruition of ‘natural’ kinds of pleasures, and the beauty of the marital life – in short, the opposite of the standard picture of Medieval Christianity. Ambrose of Milan brings about a different kind of synthesis, namely with Middle Platonism, where Stoic themes prevail. The most shocking case is Augustine, where an early Manichean education is overcome in a former phase by a synthesis of Plotinian Neo-Platonism and Christian preaching, yielding a sustained polemic with the Manicheans and rather optimistic views on life and Creation, the body and sexuality, and Hebrew-Judaic tradition not far from Clemens of Alexandria. In a later phase, occasioned by controversy on the opposite front, with such Christian currents as the Pelagians and Donatists, Augustine comes back to heavily anti-Judaic and world-denying ascetic attitudes where is earlier Manichean upbringing seems to emerge again. The tragedy of medieval Christianity will be the later Augustine’s overwhelming influence. A final section is dedicated to the monastic tradition where a curious mixture of world-denying asceticism with an astonishingly penetrating ‘science’ of introspection emerges. -/- 8. Al Farabi and the reconciliation of Islam and Platonism. The Qurān and the qadit, that is, collections of sayings ascribed to the prophet Muhammad contain a wealth of precepts and catalogues of virtues mirroring moral contents from the Jewish and the Christian traditions, among them the basic notion of imitation of the Deity, where mercy is assumed to be its basic trait. An important tradition within Islam, namely Sufism, stressed to the utmost degree the role of mercy, turning Islam into a mystic doctrine centred on retreat from the world, abandonment to God’s will, and a peaceful and fraternal attitude to our fellow-beings. A secular literary tradition originating in the Sassanid Empire, the literature of advice to the Prince had for a time a widespread influence in the newly constituted Arabic-Islamic commonwealth. In a later phase, the legacy of Hellenic philosophy made its way into the intellectual elite of the Islamic world. The first important legacy was Platonic, and the Republic became the main text for Islamic Platonism. Al-Farabi wrote an enjoyable remake of the Platonic Republic, arguing that the citizen’s virtues were the basis on which the political building needs to rest. The secular lawgiver is enlightened by the light of reason in his everyday practice of governance, but room is made for the Prophet as the voice of revealed truth that confirms and completes the rational truth that philosophy may afford. In a second phase also Aristotelian and Stoic influence were assimilated. Miskawayh’s treatise was the masterwork at the time Arabic philosophy reached its Zenith. It is a treatment of the soul’s diseases and their remedies, combining the Aristotelian doctrine of the golden mean with the Stoic doctrine of the passions and elements of Galenic medicine. Towards the eleventh-twelve centuries a war raged among theologians and philosophers, finally won by the former with disappearance of philosophy as such. The newly established mainstream, yet, was no kind of intolerant fanaticism. It drew from the work of mystic theologian Al-Ghazālī, the best heir of Sufism, teaching a tolerant and peaceful attitude to our fellow-beings and a passive attitude to destiny as an expression of the Divine will. -/- 9. Moshe ben Maimon and the reconciliation of Torah and Aristotelian ethics. The encounter between the Talmudic tradition and Hellenic philosophy had taken place a first time in Alexandria at the time of Philo but the two traditions had parted way again. In fact, the kind of Platonic Judaism founded by Philo survived only within Christianity, in the fourth Gospel and then in writings by Clemens of Alexandria. The Talmudic literature had absorbed just less striking traits from the Hellenic Philosophy, namely an idea of ethics as care of the self and a role for the education of character as propaedeutic to theoretical knowledge. In the Arabic-Islamic world, a second round started when Jewish authors writing in Arabic undertook the task to prove the full compatibility of the tradition deriving from Torah and Platonic philosophy. The culmination of this attempt is provided by Moshe ben Maimon who tried to use Aristotelian ethics as a language into which the teaching from the Pirké Avot could be translated. -/- 10. Thomas Aquinas and the reconciliation of Christian morality and Aristotelian ethics. In the first section the fresh start is described of philosophical ethics in Latin Europe at the turn of the Millennium. In a first phase, Anselm and Peter Abelard built on a Platonic and Augustinian legacy. In this phase. remarkable innovations are introduced, including Abelard’s claim of the obliging character of erring consciousness. In a second phase, the rediscovery of Nicomachean Ethics thanks to Latin translation of Arabic versions gives birth to a new wave of ethical studies, recovering the very idea of Aristotelian practical philosophy, with the potential implication of full legitimization of natural morality, i.e. ethics without Revelation. Aquinas’s ethics is a theological ethics out of which it would be vain to try to extract a self-contained philosophical ethics. His treatment of topics in philosophical ethics, yet, does not boil down to repetition of Aristotelian arguments but is rather a creative reshaping of such arguments. For example, he introduces also in the practical philosophy a first principle parallel to the principle of non-contradiction; and he also carries out a synthesis of Aristotelianism, Stoicism, and neo-Platonism. Even though it is essentially moral theology, Aquinas’s doctrine - unlike Augustine – grants full citizenship to "natural" morality, firstly by rejecting the claim that the corruption of human nature due to the original sin is so radical as to leave "pure nature" incapable of moral goodness. The doctrine is presented in a more sophisticated formulation in a few of the Quaestiones, such as De Malo and De Veritate, in the Summa contra Gentes and in the commentaries to Aristotle than in the famous Summa Theologica, but the latter work includes the only or the largest exposition of some decisive part of the theory. Thus, the Summa Theologica should be read for what it is more than criticized for not being what it was not meant to be. It was not meant to be the brilliant synthesis of all that Reason he had been able to produce with what Revelation had added about which the Neo-Thomists used to dream, but rather a manual for the training of preachers and confessors, where theoretical claims are not too demanding and a few serious tensions are left. Besides a jump between the Prima Secundae and the Secunda Secundae, being the former an essay in virtue theory and the latter a handbook for confessors, the most serious tension is perhaps the one between the ethics of right reason presented in most of Ia-IIae and the eudemonistic ethics developed in quaestiones 1-5 of the same part; the alternative ethical theory which also may be found in Augustine, the Stoic view of a cosmic reason eventually coincident with the moral law, was believed by Anselm (followed by John Duns Scotus and William of Ockham) to be incompatible with eudemonism. It is questionable whether Thomas could reduce the tension proving that it is just an apparent tension, in so far as the right reason and bliss derived from knowledge of God tend to coincide, but this is just a conjecture. Thomas’s ethics is a virtue ethic, not a law-based one, and moral judgment focuses on the virtues, particularly charity, not on the commandments and even less on absolute prohibitions; Thomas, however, would not have considered a drastic alternative between law and the virtues such as the one which has been advanced in late twentieth-century philosophy to be justified. Nonetheless, when it discusses ‘special’ virtues, it ceases to be an ethics of virtue and becomes a disappointing and often contradictory discussion of legal and illegal acts. Such a discussion takes most of the time ‘reasonable’ middle positions on controversial issues but not the alternative approach that Aristotelianism would have made possible; even when some occasional Aristotelian claim shows up, such as money’s barrenness as a reason against usury, this seems to be made by an author who apparently ignores the Aristotelian Thomas of the Prima Secundae. It is an ethic of human autonomy which recognizes the binding character of the individual conscience and, potentially, even a duty to disobey unjust laws. It is true that what Thomas writes in his discussion of death penalty and persecution of heretics is simply disgusting, and yet we should blame Thomas the man, not Thomist ethical theory. Finally, Thomas’s ethics is not ethical ‘absolutism’, as both traditionalist Catholic theologians and secularist enemies of dogmatic morality tend to believe. It is instead an ethic of prudential judgment. Exceptions to this approach – or better results of logical fallacies – are such claims as the absolute character of negative precepts and of the existence of "intrinsically evil acts", claims that simply cease to make sense in the light of Thomas’s own distinction between human act and natural act, carrying consequences Thomas did not live long enough to draw or was not consistent enough to dare to draw. -/- 11. Francisco de Vitoria and casuistry. The first topic illustrated is the discussion about the notion of pura natura, namely the human condition after the original sin and before divine revelation. The core notion was already there in Aquinas but was later developed by Caietanus (Thomas de Vio) with a number of interesting implications: firstly a view of human nature as such much more positive than Augustine’s and his followers’ view, including both Calvinists and Jansenists; secondly, the implication that the philosopher’s morality, as opposed to the Christian’s morality, is a quite respectable kind of morality; thirdly, that theocracy and prosecution of the unfaithful lacked justification, with more far-fetching consequences than Aquinas himself had dared to draw. The second topic is casuistry, a new name for a comparatively older way of thinking, which was already there in late Stoicism and Cicero as well as in the Talmudic literature. This is an approach aimed at yielding probable enough solutions for doubtful cases even in absence of completely safe staring points. The genre developed from medieval reference books for confessors and became by the sixteenth-century a sophisticated tool-box for dealing with various fields of applied ethics. Francisco Vitoria, the main authority of Baroque Scholasticism, was a controversial figure, among the proponents of the new discipline of casuistry and a consistent proponent of more separation between the religious and the civil authority, stricter limits to the legitimacy of war, innate rights of non-Christian nations in the New World based on the notion of pura natura, providing a standard of ‘natural’ goodness, previous to revelation, on which the Indian nations were judged to live in a naturally good condition, provided with the institutions of family, justice, and religion had accordingly a right to full respect by Christian sovereigns. Bartolomé de Las Casas, arguing along similar lines, was the leader of a historical battle in defence of the rights of the Indios. -/- 12. Michel de Montaigne and the art of living. A short description of one of the Renaissance Phyrronism, one of the classical philosophies revived in the fifteenth and sixteenth century. Montaigne combines the sceptical epistemology with an understanding of ethics – indeed of philosophy as a whole – in terms of an art of living inspired by two basic ideas, sagesse, that is, practical wisdom as the only kind of rationality available after theology, science, and tradition have declared bankrupt, and an aesthetic ideal of self-transformation through the art of writing and introspection. -/- 13. Pierre Nicole and neo-Augustinianism. The chapter illustrates first the vicissitudes of Augustinianism newly born after the late medieval triumph of Thomist Aristotelianism in the alternative Protestant and Catholic versions processed by the Calvinists and the Jansenists. Then it illustrates the doctrines of Pierre Nicole, Blaise Pascal’s best disciple, on the impossibility of introspection, on the ubiquity of self-deception, on the incurably evil character of the passion of love, and on the two moralities, the one of the man of the world, the morality of honesty which is indispensable for granting peace and order but devoid of any true value for eternal salvation, since the same external behaviour may be prompted by opposite motivations, and the morality of charity, the only true one but also useless to society. The third topic is Pierre Malebranche’s view of self-deception as a ubiquitous phenomenon accounting for human action and responsibility and his reformulated theory of self-love, no less ubiquitous than for Nicole and yet not as incurably evil, given the distinction between morally indifferent and even necessary amour de soi and vicious amour proper, a distinction on which the whole of Rousseau’s moral and political theory rests. -/- 14. Samuel von Pufendorf and the new science of morality. The chapter is dedicated to the discovery of the idea of a ‘new moral science’. Hugo Grotius is discussed first highlighting the real character of his project, much closer to the Thomist idea of a natural law accessible to non-corrupted human reason when human beings are living in a state of pura natura. Then Hobbes’s combination of scepticism, voluntarism, and conventionalism is described and both the continuity with Grotius’s new science, in the search for non-revealed rational morality, and the break with him, in the adoption of voluntarism and refusal of an intellectualist view of natural law, are illustrated. Pufendorf’s work is illustrated as a synthesis of the two previous attempts and the – up to Schneewind underestimated – paradigmatic example of the new science of morality. -/- 15. Richard Cumberland and consequentialist voluntarism. The chapter gives an overview of eighteenth-century Anglican ethics, noticing how the Cambridge tradition gave special weight to natural theology as opposed to positive or revealed theology – and how two Cambridge fellows, John Gay and Thomas Brown, elaborated on Cumberland’s (and Malebranche’s, as well as Leibniz’s) strategy for finding a third way between intellectualist view and voluntarist view of the laws of nature. The result of their elaboration was a kind of a rational-choice account of the origins of natural laws, where a law-giver God chooses among a number possible sets of laws on a maximizing criterion, and God’s maximandum is happiness for his creatures. The chapter notices also how such a solution aimed at solving at once the problem of evil and that of the foundation of moral obligation by proving how God’s choice was justified as far as it was the one minimising the amount of suffering in the world. 16. Richard Price and intuitionism. The chapter describes first the doctrines of the Cambridge Platonists, an example of hyper-rationalist reaction to Calvinism. Secondly it describes the sophisticated and universally ignored – from Sidgwick to Anscombe –version of what was later labelled ‘ethical intuitionism’ – showing how it escapes familiar objections and misrepresentations of intuitionism – from Mill to Rawls – in grounding its argument on transcendental arguments while carefully avoiding recourse to introspection and psychological evidence, which has been taken as a too easy target by critics of intuitionism. Thirdly, the chapter discusses Whewell’s ‘philosophy of morality’, as opposed to ‘systematic morality’, not unlike Kant’s distinction between a pure and an empirical moral philosophy. Whewell worked out a systematization of traditional normative ethics as a first step before its rational justification; he believed that the point in the philosophy of morality is justifying a few rational truths about the structure of morality such as to rule hedonism, eudemonism, and consequentialism; yet a system of positive morality cannot be derived solely from such rational truths but requires consideration of the ongoing dialectics between idea and fact in historically given moralities. Whewell’s intuitionism turns out closer to Kantian ethics than commentators have made us believe until now, and quite different from what Sidgwick meant by intuitionism. -/- 17. Adam Smith and the morality of role-switch. The chapter describes first, Hutcheson’s attempt at basing the ‘new science’ of natural law on different bedrock than Pufendorf and the English Platonists, namely a moral sense, a faculty whose existence is assumed to be proved on an empirical basis. The second step is a reconstruction of Hume’s rejoinder in terms of a new science of man including morality on an ‘experimental’ basis, that is, a ‘Newtonian’ hypothetical-deductive approach, distinguished from Hutcheson’s allegedly uncritical descriptive approach to human nature. The third step is a reconstruction of Adam Smith theory of morality understood as emerging from a spontaneous interplay of exchanges of situations (the most basic meaning of the word ‘sympathy’ as construed by this author). -/- 18. Jeremy Bentham and utilitarianism. The bulk of the chapter is dedicated to the doctrines of Jeremy Bentham. The Enlightenment spirit that suggested the idea of a new morality, free from religion, is illustrated. The notion of utility is illustrated as well as the subsequent formulations of the principle of utility. The idea of felicific calculus is discussed, showing how its inner difficulties prompted several reformulations of the principle of utility in order to avoid undesirable implications of proposed formulations. The role of the thesis of spontaneous convergence between interest and duty is discussed, showing how it left numberless questions open, and the distinction between the virtues of prudence, justice and beneficence is described as a way out of the deadlocks of classical utilitarianism. After Bentham, Mill’s reformed utilitarianism is reconstructed, showing how it is a kind of mixed system – as closer to common sense as it gives up Bentham’s claims to consistency and simplicity – resulting as unintended consequences from the controversies in which Mill was too keen to engage. The hidden agenda of the controversy between Utilitarianism and Intuitionism, going beyond the image of the battle between Prejudice and Reason, is described, showing how both competing philosophical outlooks turn out to be more research programs than self-contained doctrinal bodies, and such programs appear to be implemented, and indeed radically transformed while in progress thanks to their enemies no less than to their supporters. -/- 19. Immanuel Kant, practical reason and judgment. The chapter argues that Kant took from Moses Mendelssohn the idea of a distinction between geometry of morals and a practical ethic. He was drastically misunderstood by his followers precisely on this point. He had learned from the sceptics and the Jansenists the lesson that men are prompted to act by deceptive ends, and he was aware that human actions are also empirical phenomena, where laws like the laws of Nature may be detected. His practical ethics made room for judgment as a holistic procedure for assessing the saliency of relevant moral qualities in one given situation; this procedure yields the same results as the geometry of morals does for abstract cases but does so immediately and without balancing conflicting duties with each other, since what makes for the salient quality of a situation is perceived from the very beginning. Kant's practical philosophy is richer than the received image, making room for an ‘empirical moral philosophy’ or moral anthropology including treatment of commerce, needs, value and price, happiness and well-being; the overall social theory and philosophy of history is less different from Adam Smith's than the received image makes believe; the paradox of happiness is central to Kant's philosophy; a distinction between happiness and well-being is clearly drawn; the distinction plays a basic role in establishing a link between the economic and the moral life. -/- 20. Georg Wilhelm Friedrich Hegel and the critique of abstract universalism. The chapter describes first the Romantic movement and the implications some of its concerns, rescuing passions, community, tradition, the individual as the bearer of a unique destiny, and the longing for organic unity between the individual, mankind and nature. Hegel’s contribution is discussed then, highlighting how, on the one hand, he shared a number of these concerns and on the other he had more rationalist leanings. The notion of morality is the pivotal point of the reconstruction, highlighting how Hegel construes this notion as a key to his own diagnosis of the malaise of modernity – the separation of individual and Gemeinschaft – and how his attack on Kant turns around this very idea. -/- 21. Friedrich Nietzsche against Christianity and the Enlightenment. The chapter illustrates first the idea of deconstruction of the back-world of values. Nietzsche claims to be legitimate heir of the French moralists, Leibniz, Kant and Hegel, in so far as he allegedly carries out to its deepest implications their discovery of what lies behind traditional naïve belief in the existence of an objective realm of values just waiting for description by the philosopher. The two exemplars form which genealogy draws inspiration are the classical philologist’s historical reconstructions of lost meanings and the chemist’s decomposition of elements. Then the genealogy of the notions of good and evil carried out in the first dissertation of Genealogy of morals is illustrated with its paradoxical conclusion that will to power is in fact the only ‘genuine’ kind of goodness. The third point illustrated is the dialectic of ascetism and self-realization with its ambiguous outcome. The suggested interpretation of such outcome is that Nietzsche’s normative ethics is a kind of virtue ethics taking an aesthetic ideal as a normative standard -/- 22. George Edward Moore and ideal utilitarianism. The chapter discusses the ideas of common sense and common-sense morality in Sidgwick. I argue that, far from aiming at overcoming common-sense morality, Sidgwick aimed purposely at grounding a consist code of morality by methods allegedly taken from the natural sciences to reach, also in ethics, the same kind of “mature” knowledge as in the natural sciences. His whole polemics with intuitionism was vitiated by the a priori assumption that the widespread ethos of the educated part of humankind, not the theories of the intuitionist philosophers, was what was worth considering as the expression of intuitionist ethics. In spite of a naïve positivist starting-point, Sidgwick was encouraged by his own approach in exploring the fruitfulness of coherentist methods for normative ethics. Thus, Sidgwick left an ambivalent legacy to twentieth-century ethics: the dogmatic idea of a “new” morality of a consequentialist kind, and the fruitful idea that we can argue rationally in normative ethics albeit without shared foundations. Then it reconstructs the background of ideas, concerns and intentions out of which Moore’s early essays, the preliminary version, and then the final version of Principia Ethica originated. I stress the role of religious concerns, as well as that of the Idealist legacy. I argue that PE is more a patchwork of rather diverging contributions than a unitary work, not to say the paradigm of a new school in Ethics. I add a comparison with Rashdall’s almost contemporary ethical work, suggesting that the latter defends the same general claims in a different way, one that manages to pave decisive objections in a more plausible way. I end by suggesting that the emergence of Analytic Ethics was a more ambiguous phenomenon than the received view would make us believe, and that the wheat (or some other gluten-free grain) of this tradition, that is, what logic can do for philosophy, should be separated from the chaff, that is, the confused and mutually incompatible legacies of Utilitarianism and Idealism. -/- 23. Edmund Husserl and the a-priori of action. The chapter illustrates first the idea of phenomenology and the Husserl’s project of a phenomenological ethic as illustrated in his 1908-1914 lectures. The key idea is dismissing psychology and trying to ground a new science of the a priori of action, within which a more restricted field of inquiry will be the science of right actions. Then the chapter illustrates the criticism of modern moral philosophy carried out in the 1920 lectures, where the main target is naturalism, understood in the Kantian meaning of primacy of common sense. The third point illustrate is Adolph Reinach’s theory of social acts as a key the grounding of norms, a view that basically sketches the very ideas ‘discovered’ later by Clarence I. Lewis, John Searle, Karl-Otto Apel and Jürgen Habermas. A final section is dedicated to Nicolai Hartman, who always refused to define himself a phenomenologist and yet developed a more articulated and detailed theory of ‘values’ – with surprising affinities with George E. Moore - than philosophers such as Max Scheler who claimed to Husserl’s legitimate heirs. -/- 24. Bertrand Russell and non-cognitivism. The chapter reconstructs first the discussion after Moore. The naturalistic-fallacy argument was widely accepted but twisted to prove instead that the intuitive character of the definition of ‘good’, its non-cognitive meaning, in a first phase identified with ‘emotive’ meaning. Alfred Julius Ayer is indicated as a typical proponent of such non-cognitivist meta-ethics. More detailed discussion is dedicated to Bertrand Russell’s ethics, a more nuanced and sophisticated doctrine, arguing that non-cognitivism does not condemn morality to arbitrariness and that the project of a rational normative ethics is still possible, heading finally to the justification of a kind of non-hedonist utilitarianism. Stevenson’s theory, another moderate version of emotivism is discussed at some length, showing how the author comes close to the discovery of the role of a pragmatic dimension of language as a basis for ethical argument. Last of all, the discussion from the Forties about Hume’s law is described, mentioning Karl Popper’s argument and Richard Hare’s early non-cognitivist but non-emotivist doctrine named prescriptivism. -/- 25. Elizabeth Anscombe and the revival of virtue ethics. The chapter discusses the three theses defended by Anscombe in 'Modern Moral Philosophy'. I argue that: a) her answer to the question "why should I be moral?" requires a solution of the problem of theodicy, and ignores any attempts to save the moral point of view without recourse to divine retribution; b) her notion of divine law is an odd one more neo-Augustinian than Biblical or Scholastic; c) her image of Kantian ethics and intuitionism is the impoverished image manufactured by consequentialist opponents for polemical purposes and that she seems strangely accept it; d) the difficulty of identifying the "relevant descriptions" of acts is not an argument in favour of an ethics of virtue and against consequentialism or Kantian ethics, and indeed the role of judgment in the latter is a response to the difficulties raised by the case of judgment concerning future action. A short look at further developments in the neo-naturalist current is given trough a reconstruction of Philippa Foot’s and Peter Geach’s critiques to the naturalist-fallacy argument and Alasdair MacIntyre’s grand reconstruction of the origins and allegedly unavoidable failure of the Enlightenment project of an autonomous ethic. -/- 26. Richard Hare and neo-Utilitarianism. The chapter addresses the issue of the complex process of self-transformation Utilitarianism underwent after Sidgwick’s and Moore’s fatal criticism and the unexpected Phoenix-like process of rebirth of a doctrine definitely refuted. A glimpse at this uproarious process is given through two examples. The first is Roy Harrod Wittgensteinian transformation of Utilitarianism in pure normative ethics depurated from hedonism as well as from whatsoever theory of the good. This results in preference utilitarianism combined with a ‘Kantian’ version of rule utilitarianism. The second is Richard Hare’s two-level preference utilitarianism where act utilitarianism plays the function of eventual rational justification of moral judgments and rule-utilitarianism that of action-guiding practical device. -/- 27. Hans-Georg Gadamer and rehabilitation of practical philosophy. The post-war rediscovery of ethics by many German thinkers and its culmination in the Sixties in the movement named ‘Rehabilitation of practical philosophy’ is described. Among the actors of such rehabilitation there were a few of Heidegger’s most brilliant disciples, and Hans-Georg Gadamer is chosen as a paradigmatic example. His reading of Aristotle’s lesson I reconstructed, starting with Heidegger’s lesson but then subtly subverting its outcome thanks to the recovery of the central role of the notion of phronesis. -/- 28. Karl-Otto Apel and the revival of Kantian ethics. Parallel to the neo-Aristotelian trend, there was in the Rehabilitation of practical philosophy a Kantian current. This started, instead than the rehabilitation of prudence, with the discovery of the pragmatic dimension of language carried out by Charles Peirce and the Oxford linguistic philosophy. On this basis, Karl-Otto Apel singled out as the decisive proponent of the linguistic and Kantian turn in German-speaking ethics, worked out the performative-contradiction argument while claiming that this was able to provide a new rational and universal basis for normative ethics. An examination of his argument is some detail is offered, followed by a more cursory reconstruction of Jürgen Habermas’s elaboration on Apel’s theory. -/- 29. John Rawls and public ethics as applied ethics. Rawls’s distinction between a “political” and a “metaphysical” approach to one central part of ethical theory, namely the theory of justice, is interpreted as a formulation of the same basic idea at the root of both the principles approach and neo-casuistry, both discussed in the following chapter, namely that it is possible to reach an agreement concerning positive moral judgments even though the discussion is still open – and in Rawls’ view never will be close – on the basic criteria for judgment. -/- 30. Beauchamp and Childress and bioethics as applied ethics. The chapter presents the revolution of applied ethics while stressing its methodological novelty, exemplified primarily by Beauchamp and Childress principles approach and then by Jonsen and Toulmin’s new casuistry. -/- . (shrink)

Emphasizing the importance of language is a key characteristic of philosophical reflection in general and of bioethics in particular. Rather than trying to eliminate the historicity and ambiguity of language, a continental approach to bioethics will make conscious use of it, for instance by closely studying the history of the key terms we employ in bioethical debates. Continental bioethics entails a focus on the historical vicissitudes of the key signifiers of the bioethical vocabulary, urging us to study the (...) history of terms such as “bioethics,” “autonomy,” “privacy,” and “consensus.” Instead of trying to define such terms as clearly and unequivocally as possible, a continental approach rather requires us to take a step backwards, tracing the historical backdrop of the words currently in vogue. By comparing the original meanings of terms with their current meanings, and by considering important moments of transition in their history, obfuscated dimensions of meaning can be retrieved. Thus, notwithstanding a number of methodological challenges involved in etymological exercises, they may foster moral articulacy and enhance our ability to come to terms with moral dilemmas we are facing. (shrink)

The last chapter examines the tense system used by ordinarily competent speakers of English to discuss past, present, and future events, actual and possible events, and various combinations of these. I present a systematic method for translating English sentences containing certain compound verb tenses and embedded tense constructions into a logical language using tense operators. Finally I show how the usual semantics for these operators reflects the truth conditions of the original English sentences. I argue, however, that a tense (...) logical semantics reflecting the use of tense in English will contain a partially ordered tense structure rather than one that is linearly ordered or branching. ;The third chapter discusses logic of 'unless'. I show that many of the previously puzzling features of this word can be understood by considering the tenses of the verbs in the sentences joined by 'unless'. In a number of cases it turns out that 'unless' should not be interpreted as a truth-functional connective at all, but is best understood as an intensional, tense connective. ;In the second chapter I discuss Quine's doctrine of eternal sentences. I take Quine's position to be that all the information important for logic and science presented in tensed English sentences can also be presented by eternal sentences which use timeless verbs and data and clock times. I argue that in so far as logic and science are concerned with an analysis of the reasons for human action, and with the explanation and prediction of specific events, eternal sentences lose indexical information that is necessary to accomplish these tasks. ;The first chapter investigates what may be called the standard view of propositions. On this view propositions are abstract objects that are timelessly true , and serve both as the meanings of sentences and as the objects of propositional attitudes. Although this view was widely held by a previous generation of logicians and is found in many textbooks today, there are serious difficulties in the view. I show that many of these difficulties stem from the claim that propositions are timelessly true . The standard view has been revised in two general ways. The first sort of revision allows propositions to be sometimes true and sometimes false. This position is consistent with the development of tense logic as one of the intensional logics. The second sort of revision replaces the notion of timeless propositions with that of eternal sentences which always have the same truth value. On this view tense logic is not worth serious philosophic attention since its basic notion, that of truth at a time, can be eliminated in favor of eternal truth. ;The first part of the project examines two major sources of criticism of tense logic: the view that logic is concerned with timeless propositions, and Quine's doctrine of eternal sentences. The second part of the project discusses several problems in logical theory that the use of tense logic can clarify or resolve, and that alternative theories are unable to present accurately, much less to elucidate. ;In the past few years there has been increasing interest in the logic of indexicals, including the temporal indexical 'now', and in the relationship between tense and modality. Although modern tense logic has reached a high level of technical sophistication, often specifically in response to this interest, many philosophers remain skeptical about the value of tense logic as a philosophic tool. This thesis addresses that skepticism and argues that it is unjustified. (shrink)

This squib presents two puzzles related to an ambiguity found in for-infinitival relative clauses (FIRs). FIRs invariably receive a modal interpretation even in the absence of any overt modal verb. The modal interpretation seems to come in two distinct types, which can be paraphrased by finite relative clauses employing the modal auxiliaries should and could. The two puzzles presented here arise because the availability of the two readings is constrained by factors that are not otherwise known to affect the interpretation (...) of a relative clause. Specifically, we show, first, that “strong” determiners require the FIR to be interpreted as a SHOULD-relative while “weak” determiners allow both interpretations (the Determiner-Modal Generalization). Secondly, we observe that the COULD-interpretation requires a raising (internally headed) structure for the FIR, while the SHOULD-interpretation is compatible with either a raising or a more standard matching (externally headed) structure (the Raising/Matching Generalization). (shrink)

Semantic noise, the effect ensuing from the denotative and thus functional variability exhibited by different terms in different contexts, is a common concern in natural language processing (NLP). While unarguably problematic in specific applications (e.g., certain translation tasks), the main argument of this paper is that failing to observe this linguistic matter of fact as a generative effect rather than as an obstacle, leads to actual obstacles in instances where language model outputs are presented as neutral. Given that (...) a common and long-standing challenge in NLP is the interpretation of ambiguous – i.e., semantically noisy – cases, this article focuses on an exemplar ambiguity-resolution task in NLP: the problem of anaphora in Winograd schemas. The main question considered is: to what extent is the standard approach to disambiguation in NLP subject to a stagnant “image of language”? And, can a transdisciplinary, dynamic approach combining linguistics and philosophy elucidate new perspectives on these possible conceptual shortcomings? In order to answer these questions we explore the term and concept of noise, particularly in its presentation as semantic noise. Owing to its definitional plurality, and sometimes even desirable unspecificity, the term noise is thus used as proof of concept for semantic generativity being an inherent characteristic in linguistic representation, and its concept is used to interrogate assumptions admitted in the resolution of Winograd schemas. The argument is speculative and theoretical in method, and the result is an analysis which provides an account of the fundamentally dialogical and necessarily open-ended effects of semantic noise in natural language. (shrink)

: Jerry Fodor proposes a solution to Quine's inscrutability–of–reference problem for certain naturalized semantic theories, thereby defending such theories from charges that they cannot discriminate meanings finely enough. His proposal, combining elements of informational and inferential–role semantics, is to eliminate non–standard interpretations by testing predicate compatibility relations. I argue that Fodor's proposal, understood as primarily aimed at Mentalese, withstands Ray's and Gates's objections but nonetheless fails because of unwarranted assumptions about ontological homogeneity of target language predicates, and problems with (...) Fodor's reliance on predicate conjunction to resolve ambiguity. Naturalized semantics thus remains without an answer to the inscrutability objection. (shrink)

The author considers following question: is a consistent semantically closed language possible? The negative answer is the orthodox answer in the logic of the 20th century. It was presented in Russell's theory of types and Tarski's semantic theory of metalanguages. Nevertheless, contemporary logicians and philosophers of language return to this problem time and again, pointing to its relevance in various aspects. In particular, it is asserted that semantically closed language is a very important tool for expressing logical (...) and philosophical ideas. In logic of the 20th century, the problem of semantically closed language was discussed in connection with the problem of logical paradoxes. Russell and Tarski saw a fundamental cause of paradoxes in the phenomenon of self-reference that arises in semantically closed language. Accordingly, a solution for paradoxes was seen in eliminating the cause, that is, in prohibiting semantically closed language by means of a hierarchy of logical types of classes (Russell) or a hierarchy of metalanguages (Tarski). However, some contemporary logicians criticize the hierarchical approach, whose main argument consists in asserting that the approach was wrong in its diagnosis of the cause of paradoxes. This author does not try to correct the diagnostics of the hierarchical approach by identifying another cause of paradoxes. Instead, the author recognizes that a general solution of the problem of paradoxes cannot be given, a priori, by eliminating what fundamentally generates them. In this article, a new “ad hoc solution" of the problem is offered that rests upon an empirical method of identifying and eliminating paradoxes. A specific characteristic of the method is admitting the existence of consistent semantically closed language. (shrink)

During public health crises including the COVID-19 pandemic, resource scarcity and contagion risks may require health systems to shift—to some degree—from a usual clinical ethic, focused on the well-being of individual patients, to a public health ethic, focused on population health. Many triage policies exist that fall under the legal protections afforded by “crisis standards of care,” but they have key differences. We critically appraise one of the most fundamental differences among policies, namely the use of criteria to categorically exclude (...) certain patients from eligibility for otherwise standard medical services. We examine these categorical exclusion criteria from ethical, legal, disability, and implementation perspectives. Focusing our analysis on the most common type of exclusion criteria, which are disease-specific, we conclude that optimal policies for critical care resource allocation and the use of cardiopulmonary resuscitation (CPR) should not use categorical exclusions. We argue that the avoidance of categorical exclusions is often practically feasible, consistent with public health norms, and mitigates discrimination against persons with disabilities. (shrink)

Small corpora remain an important resource for addressing questions requiring specialized data not found in large general purpose corpora. But do these small corpora have sufficient data to analyze low-frequency phenomena? This article presents a case study of the try-and-V pseudocoordination construction in English, which has an unusual morphosyntactic restriction: neither verb can be inflected. Diachronic corpora elucidate its origin as reanalysis from ambiguous usage of non-finite verbs in the late 1500s. Dialectal corpora reveal variation in frequency but not grammatical (...) properties. And child language corpora reveal productive usage even by young children. These results are considered successful and the outlook is optimistic for addressing low-frequency phenomena beyond contemporary, standard English, especially as more, and more diverse, corpora become available. (shrink)

A person incurs inchoate criminal liability when he incites another person or other persons to commit a crime. The most salient characteristic of incitement, in comparison with the other forms of inchoate crime, is the existence of a communication that is made with a view to persuading the addressee to commit an offence. This article explores the question of why incitement should incur criminal liability, and the nature of such liability. It also identifies its distinctive features. The principal focus here (...) is on ambiguity in the putative words of incitement and on questions of gauging whether the words have had any effect on the actions of the addressee. It covers both the standard criminal offences and conduct which, arguably, should not be regulated by the criminal law, thereby raising issues of freedom of speech. Legal issues are set in the context of the common law generally, while drawing on English law in matters of detail. (shrink)

This paper is a tribute to Delia Graff Fara. It extends her work on failures of meta-rules for validity as truth-preservation under a supervaluationist identification of truth with supertruth. She showed that such failures occur even in languages without special vagueness-related operators, for standards of deductive reasoning as materially rather than purely logically good, depending on a context-dependent background. This paper extends her argument to: quantifier meta-rules like existential elimination; ambiguity; deliberately vague standard mathematical notation. Supervaluationist attempts to qualify the (...) meta-rules impose unreasonable cognitive demands on reasoning and underestimate her challenge. (shrink)

Do we conduct our conscious propositional thinking in natural language? Or is such language only peripherally related to human conscious thought-processes? In this paper I shall present a partial defence of the former view, by arguing that the only real alternative is eliminativism about conscious propositional thinking. Following some introductory remarks, I shall state the argument for this conclusion, and show how that conclusion can be true. Thereafter I shall defend each of the three main premises in turn.

The past decade has seen extensive research carried out on the systematic causes of research misconduct. Simultaneously, less attention has been paid to the variation in academic misconduct between research fields, as most empirical studies focus on one particular discipline. We propose that academic discipline is one of several systematic factors that might contribute to academic misbehavior. Drawing on a neo-institutional approach, we argue that in the developing countries, the norm of textual originality has not drawn equal support across different (...) research fields depending on its level of internationalization. Using plagiarism detection software, we analyzed 2,405 doctoral dissertations randomly selected from all dissertations defended in Russia between 2007 and 2015. We measured the globalization of each academic discipline by calculating the share of publications indexed in the global citation database in relation to overall output. Our results showed that, with an average share of detected borrowings of over 19%, the incidence of plagiarism in Russia is remarkably higher than in Western countries. Overall, disciplines closely follow the pattern of higher globalization associated with a lower percentage of borrowed text. We also found that plagiarism is less prevalent at research-oriented institutions supporting global ethical standards. Our findings suggest that it might be misleading to measure the prevalence of academic misconduct in developing countries without paying attention to variations at the disciplinary level. (shrink)

This article focuses on the role of past standards stories and how they are deployed strategically in ways that shape the process of standards creation. It draws upon an ethnographic study over multiple years of standards meetings, discussions, and online activity. Building on existing work that examines how standards are shaped by stories, this study follows the development of Augmented Reality Markup Language and maps how the story of Hypertext Markup Language became the key story that actors utilized (...) and debated to push for participation, agreement, and material development of the standard. The authors present several different ways the recurring HTML story was effective at various points in the process as a diagnostic tool, promissory future, empirical evidence, and confidence building measure. Understanding these strategic deployments serves as an empirical example of how recurring stories of the past can shape standards development. These mappings illustrate how standards can be built on past standards sociologically as well as technologically and also broadens our theoretical tools for understanding the importance of stories in the sociology of standards. (shrink)

This book provides a first introduction to two key systems that play a role in any variety or application of logic: classical propositional logic and classical predicate logic. It also contains pointers to variations and alternatives, to logics that deal with a wider range of concepts. This book provides examples of the application of logic to philosophical problems, and illustrates some of the philosophical problems that are raised by logic itself. This book aims to give the reader a first glimpse (...) of the wide variety of tastes, smells, and textures that await them once they have trained their palate to appreciate the standard dishes of the logic cuisine. (shrink)

The orthodox view of proper names, Millianism, provides a very simple and elegant explanation of the semantic contribution of referential uses of names–names that occur as bare singulars and as the argument of a predicate. However, one problem for Millianism is that it cannot explain the semantic contribution of predicative uses of names. In recent years, an alternative view, so-called the-predicativism, has become increasingly popular. According to the-predicativists, names are uniformly count nouns. This straightforwardly explains why names can be used (...) predicatively, but is prima facie less congenial to an analysis of referential uses. To address this issue, the-predicativists argue that referential names are in fact complex determiner phrases consisting of a covert definite determiner and a count noun—and so, a referential name is a definite description. In this paper, I will argue that despite the appearance of increased theoretical complexity, the view that names are ambiguous between predicative and referential types is in fact superior to the unitary the-predicativist view. However, I will also argue that to see why this ambiguity view is better, we need to give up the standard Millian analysis. Consequently, I will first propose an alternative analysis of referential names that retains the virtues of Millianism, but provides an important explanatory connection to the predicative uses. Once this analysis of names is adopted, the explanation for why names are systematically ambiguous between referential and predicative types is both simple and elegant. Second, I will argue that the-predicativism has the appearance of being simpler than an ambiguity view, but is in fact unable to account for certain key properties of referential names without making ad hoc stipulations. (shrink)

Inspired by the grammar of natural language, the paper presents a variant of first-order logic, in which quantifiers are not sentential operators, but are used as subnectors . A quantified term formed by a subnector is an argument of a predicate. The logic is defined by means of a meaning-conferring natural-deduction proof-system, according to the proof-theoretic semantics program. The harmony of the I/E-rules is shown. The paper then presents a translation, called the Frege translation, from the defined logic to (...) standard first-order logic, and shows that the proof-theoretic meanings of both logics coincide. The paper criticizes Frege’s original regimentation of quantified sentences of natural language, and argues for advantages of the proposed variant. (shrink)

We build on an existing a term-sequent logic for the λ-calculus. We formulate a general sequent system that fully integrates αβη-reductions between untyped λ-terms into first order logic. We prove a cut-elimination result and then offer an application of cut-elimination by giving a notion of uniform proof for λ-terms. We suggest how this allows us to view the calculus of untyped αβ-reductions as a logic programming language (as well as a functional programming language, as it is traditionally seen).

This paper offers a novel account of polysemous copredicative sentences. The solution, which it is argued enjoys a number of advantages over the alternative accounts currently on the market, is inspired by Donald Davidson’s first attempt to deal with ambiguity. Specifically, the account involves mapping ambiguities in the object language (in this case polysemous singular terms) onto ambiguities in the metalanguage. If this account is coherent and superior to its rivals, it tells us something important about logical (...) form: the value of logical form does not lie in the elimination all lexical ambiguity. (shrink)

In game-theoretic signaling models, evolution tends to favor perfectly precise signaling systems, but in the natural world communication is almost always imprecise. I argue that standard explanations for this discrepancy are only partially sufficient, and I show that communication is often ambiguous because signal senders take advantage of context sensitivity. As evidence, I make two additions to the signaling model: a cost for more complex signaling strategies and the ability to combine information in signals with independent information. Analysis and simulation (...) of the altered model shows that it leads to the predicted outcome of evolution favoring ambiguous signaling. (shrink)

This article argues for the elimination of the concept of life worth living from philosophical vocabulary on three complementary grounds. First, the basic components of this concept suffer from multiple ambiguities, which hamper attempts to ground informative evaluative and classificatory judgments about the worth of life. Second, the criteria proposed to track the extension of the concept of life worth living rest on unsupported axiological assumptions and fail to identify precise and plausible referents for this concept. And third, the (...) concept of life worth living is not shown to serve any major evaluative or classificatory purpose besides those served by already available axiological concepts. By eliminating the concept of life worth living, philosophers will free themselves of the task of addressing ill-posed axiological questions and ground reflection about the worth of life on more rigorous conceptual foundations. (shrink)

Canonical Propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the sub-formula property, in which exactly one occurrence of a connective is introduced in the conclusion, and no other occurrence of any connective is mentioned anywhere else. In this paper we considerably generalize the notion of a “canonical system” to first-order languages and beyond. We extend the Propositional coherence criterion for the non-triviality of such systems to rules with (...) unary quantifiers and show that it remains constructive. Then we provide semantics for such canonical systems using 2-valued non-deterministic matrices extended to languages with quantifiers, and prove that the following properties are equivalent for a canonical system G: (1) G admits Cut-Elimination, (2) G is coherent, and (3) G has a characteristic 2-valued non-deterministic matrix. (shrink)

A sentence of the usual language of set theory is said to be stratified if it is obtained by “erasing” type indices in a sentence of the language of Russell's Simple Theory of Types. In this paper we give an alternative presentation of a proof the ambiguity theorem stating that any provable stratified sentence has a stratified proof. To this end, we introduce a new set of ambiguity axioms, inspired by Fraïssé's characterization of elementary equivalence; these axioms can (...) be naturally used to give different proofs of the ambiguity theorem . MSC: 03B15, 03F50, 03F55. (shrink)

Few would disagree that P. F. Strawson and W. V. O. Quine have been the leading figures in Anglo-American philosophy during the second half of the twentieth century. This book brings together a number of Strawson’s widely-scattered previously-published essays from the 1970s, 1980s, and 1990s. The unity of the collection is partly provided by the internal connectedness of the essays to Strawson’s most important books Individuals, The Bounds of Sense, Logico-Linguistic Papers, and Subject and Predicate in Grammar and Logic. But (...) its unity principally lies in Strawson’s consistent and vigorous opposition to Quine’s extreme extensionalism. The extensionalist says that the meanings of terms and sentences in natural languages or logical systems are strictly determined by the objects they refer to; and the Quinean extensionalist also says that those objects are ultimately whatever the natural sciences tell us they are. The intensionalist, by contrast, says that meanings in natural language and logic are underdetermined by the functions of reference and have irreducible, autonomous structures that include primitive features of generality and modality; and the Strawsonian intensionalist says that those irreducible, autonomous structures are grounded in the person-oriented world of ordinary speech-transactions and everyday common sense. In the Introduction, Strawson helpfully divides the essays into seven groups or clusters: two on identity and universals; two on quantification and properties; three on singular reference and beliefreports; two on logical form; one on epistemic modality; two on pragmatics; and four on Kant. The essays on Kant are primarily exegeticalcritical, but also have a deeper import. For Strawson’s metaphysical commonsensism and personalism can be fairly neatly derived from Kantian metaphysics by logically detaching Kant’s plausible conception of “empirical realism” from his questionable doctrine of “transcendental idealism”, and by similarly detaching Kant’s plausible conception of a self-conscious embodied empirical subject and her a priori cognitive and practical capacities from his questionable conception of a noumenal self. It is of course impossible in a very short review even to summarize all sixteen essays, far less to explicate or criticize them. So to maximize available resources I will concentrate the rest of my remarks on what seems to me to be the most important paper. In “Logical Form and Logical Constants”, Strawson addresses a fundamental and lingering problem in the philosophy of logic: How precisely to define the logical constants and to justify their introduction into a logical theory? All logicians agree that logical constants are just those terms in a formal or natural language which hold their meanings fixed under the variable interpretations of all other terms, which enter essentially into logical truths and deductions, and which are “topic-neutral”—indifferent to all special subject-matters. But these notions do not get us very far, since the meaning of any term can be held rigidly and topic-neutrally fixed over a language and also held to enter essentially into logical truths and deductions, by sheer stipulation. Strawson’s approach to solving the problem has two basic steps. First, he joins a line of thought shared by Kant, Boole, and early Wittgenstein: “[l]ogic reveals the general essence of all thought and all language”. Secondly, he borrows and exploits Wittgenstein’s idea that all the logical constants are packed into the general form of a proposition, which is simply “this is how things are.” This leads to the proposal that we can “think of standard logic as something in principle excogitatable... by pure reflection on the general nature of statement, on what is the least that is necessarily involved in the making of empirical informative statements”. Such a line of reasoning— rather like Kant’s discovery of his “table of judgments” in the first Critique —runs backward from the notion of an empirical statement to the root logical notions of general term and singular term, of compatibility and incompatibility, and of “identifiable linguistic forms or devices with conventional forces or meaning” ; and from there by gradual steps to the notions of contradiction and entailment, the truth-functions, logical truth, first-order quantification, and so forth. I have a worry about this way of excogitating logic, however. While it neatly accounts for standard logic, I cannot see how it will be able to account for nonstandard logic—whether in the form of conservative extensions of standard logic or in the form of deviant logics. In other words, the starting point for logical reflection must be something more comprehensive than the empirical statement. Now the notion of an analytic a priori statement seems like the obvious candidate: no system, standard or nonstandard, will wholly lack logical laws or logical truths. If so, then Strawson’s disinclination to deploy the notion of analyticity directly may be a concession to Quine’s attack on the analytic-synthetic distinction. On this pivotal issue, in fact, Strawson’s intensionalism has lost out to Quine’s extensionalism—the Grice-Strawson reply to “Two Dogmas of Empiricism” from ordinary-language considerations has not generally prevailed. But we are very fortunate that Strawson has been both willing and so brilliantly able to resist the Quinean juggernaut for five decades.—Robert Hanna, University of Colorado at Boulder. (shrink)

Freud proposes that in unconscious processing, logical connections are also (heavily) based upon phonological similarities. Repressed concerns, for example, would also be expressed by way of phonologic ambiguity. In order to investigate a possible unconscious influence of phonological similarity, 31 participants were submitted to a tachistoscopic subliminal priming experiment, with prime and target presented at 1ms. In the experimental condition, the prime and one of the 2 targets were phonological reversed forms of each other, though graphemically dissimilar (e.g., “nice” and (...) “sign”); in the control condition the targets were pseudo-randomly attributed to primes to which they don’t belong. The experimental task was to “blindly” pick the choice most similar to the prime. ERPs were measured with a focus on the N320, which is known to react selectively to phonological mismatch in supraliminal visual word presentations. The N320 amplitude-effects at the electrodes on the midline and at the left of the brain significantly predicted the participants’ net behavioral choices more than half a second later, while their subjective experience is one of arbitrariness. Moreover, the social desirability score (SDS) significantly correlates with both the behavioral and the N320 brain responses of the participants. It is proposed that in participants with low SDS the phonological target induces an expected reduction of N320 and this increases their probability to pick this target. In contrast, high defensive participants have a perplexed brain reaction upon the phonological target, with a negatively peaking N320 as compared to control and this leads them to avoid this target more often. Social desirability, which is understood as reflecting defensiveness, might also manifest itself as a defense against the (energy-consuming) ambiguity of language. The specificity of this study is that all of this is happening totally out of awareness and at the level of very elementary linguistic distinctions. (shrink)

We often consider semantic-pragmatic properties of language independently of each other. In actual texts, however, the properties frequently interact. For this reason a robust theory should allow us to account not only for semantic-pragmatic properties in isolation, but also for the ways in which they are combined. This is especially important for the understanding of literary texts because the exploitation of semantic-pragmatic properties is characteristic of literary language. This article argues that it is possible to account systematically for (...) the occurrence of metaphorical \literal poetic ambiguity in terms of the interaction of such properties. Using the notion of conceptual domains and subdomains, the article proposes two necessary conditions and shows how the interaction of these conditions allows for a simple account of metaphorical/literal ambiguity. The article concludes by suggesting that examining the ways in which basic semantic-pragmatic principles of language are used in literature to create poetic effects offers us another path in understanding the poetic, one which neither equates poetic effects with a distinct poetic language, as do many formalists, nor reduces the exploration of the poetic to the properties of everyday language, as cognitivists often have. (shrink)

The article approaches cut elimination from a new angle. On the basis of an arbitrary inference relation among logically atomic formulae, an inference relation on a language possessing logical operators is defined by means of inductive clauses similar to the operator-introducing rules of a cut-free intuitionistic sequent calculus. The logical terminology of the richer language is not uniquely specified, but assumed to satisfy certain conditions of a general nature, allowing for, but not requiring, the existence of infinite conjunctions (...) and disjunctions. We investigate to what extent structural properties of the given atomic relation are preserved through the extension to the full language. While closure under the Cut rule narrowly construed is not in general thus preserved, two properties jointly amounting to closure under the ordinary structural rules, including Cut, are. -/- Attention is then narrowed down to the special case of a standard first-order language, where a similar result is obtained also for closure under substitution of terms for individual parameters. Taken together, the three preservation results imply the familiar cut-elimination theorem for pure first-order intuitionistic sequent calculus. -/- In the interest of conceptual economy, all deducibility relations are specified purely inductively, rather than in terms of the existence of formal proofs of any kind. (shrink)

It is widely held that proper names are ambiguous in some sense, a view commonly associated with the theory that names are, when suitably idealized, semantically “rigid designators”. In this brief paper I suggest that, while some refinement of the concept of a name is surely appropriate, proper names do not very clearly meet the standards normally used to determine ambiguity. There is reason to regard shared names as semantically univocal, including some evidence from development linguistics to regard a grasp (...) of names as having a metalinguistic descriptive aspect. (shrink)

Does it seem that with each reported state cyberattack, there comes an announcement of discovery, an attribution to one of a handful of usual suspects, some threatening language suggesting imminent retribution, and then nothing more? Increased incidence of cyberattack makes its occurrence seem simultaneously rampant in terms of publicity and minimal in terms of threat of war. If rampant, how can repeated deployment by the same actors carry no punitive consequences? How is such audaciousness tolerated? For some, a cyberattack (...) by a state is an act of war. Its prevalence suggests there must be a void somewhere that facilitates its use without consequence. Others think state cyberattack is like other internet novelties: digital malfeasance, amounting to a nuisance that naturally follows from a digital‐based existence, particularly since non‐state actors are typically involved. Yet, state‐on‐state hostilities are historically perilous on a vast scale, and there is a multilateral system for regulating the use of force in the context of war. Acts of war, even when seeming minimal in impact, are not by‐products of a digital fad, and cyberattack is now described as far more than ‘nuisance’. If anywhere, the place for clarity on hostile state cyberoperations use should be accounted for in International Humanitarian Law. Yet, in its present form, it is ambiguous if not silent on the subject, suggesting that cyberattack currently presents an advantage to perpetrating states. Does this void or these ambiguities make cyberattacks more legally advantageous to states than traditional, kinetic weaponry? I examine whether existing IHL is sufficiently adaptable to state cyberoperations through a mixed legal and theoretical approach and conclude that they do. (shrink)

Truth pluralism offers the latest extension in the tradition of substantive theorizing about truth. While various forms of this thesis are available, most frameworks commit to domain reliance. According to domain reliance, various ways of being true, such as coherence and correspondence, are tied to discourse domains rather than individual sentences. From this follows that the truth of different types of sentences is accounted for by their domain membership. For example, sentences addressing ethical matters are true if they cohere and (...) those addressing extensional states of affairs if they correspond. By tying distinct truth-grounding properties to domains rather than individual sentences, truth pluralists avoid certain issues with definitional ambiguity and indeterminacy. I argue that contrary to the ideal situation, domains fail to provide the sought-after benefits of achieving definitional unambiguity and determinacy in the standard domain reliant pluralist frameworks. The reason is that, when combined with the inherently ambiguous nature of certain truth-relevant terms of sentences, fringe cases emerge, causing some of them to count as members of multiple domains. Consequently, some sentences end up being both true and false in the standard domain reliant pluralist frameworks, thus conflicting with both standard laws of non-contradiction and identity. Finally, I argue that truth pluralists should pay closer attention to the hitherto neglected question of inherent natural language ambiguity. (shrink)

For the past three decades linguistic theory has been based on the assumption that sentences are interpreted and constructed by the brain by means of computational processes analogous to those of a serial-digital computer. The recent interest in devices based on the neural network or parallel distributed processor (PDP) principle raises the possibility ("eliminative connectionism") that such devices may ultimately replace the S-D computer as the model for the interpretation and generation of language by the brain. An analysis of (...) the differences between the two models suggests that the effect of such a development would be to steer linguistic theory towards a return to the empiricism and behaviorism which prevailed before it was driven by Chomsky towards nativism and mentalism. Linguists, however, will not be persuaded to return to such a theory unless and until it can deal with the phenomenon of novel sentence construction as effectively as its nativist/mentalist rival. (shrink)

The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we (...) notice that cut remains eliminable when suitable arithmetical axioms are added to the system. Finally, we establish a direct link between cut-free derivability in infinitary formulations of the systems considered and fixed-point semantics. Noticeably, unlike what happens with other background logics, such links are established without imposing any restriction to the premisses of the truth rules. (shrink)

The elimination of ambiguity and redundancy are unquestioned goals in the exact sciences, and yet, as this paper shows, there are inescapable lower bounds that constrain our wish to eliminate them. The author discusses contributions by Richard Hamming (inventor of the Hamming code) and Satosi Watanabe (originator of the Theorems of the Ugly Duckling). Utilizing certain of their results, the author leads readers to recognize the unavoidable, central roles in effective communication, of redundancy, and of ambiguity of meaning, reference, and (...) identification. (shrink)

We give an answer to the question as to whether quantifier elimination is possible in some infinite algebraic extensions of Qp (‘infinite p-adic fields’) using a natural language extension. The present paper deals with those infinite p-adic fields which admit only tamely ramified algebraic extensions (so-called tame fields). In the case of tame fields whose residue fields satisfy Kaplansky’s condition of having no extension of p-divisible degree quantifier elimination is possible when the language of valued fields is extended (...) by the power predicates Pn introduced by Macintyre and, for the residue field, further predicates and constants. For tame infinite p-adic fields with algebraically closed residue fields an extension by Pn predicates is sufficient. (shrink)

Contacts of the two logicians are listed, and all Gödel's written mentions of Tarski's work are quoted. Why did Gödel almost never mention Tarski's definition of truth in his notes and papers? This puzzle of Gödel's silence, proposed by Feferman, is not merely biographical or psychological but has interesting connections to Gödel's philosophical views.No satisfactory answer is given by the three “standard” explanations: no need to repeat the work already done; Tarski's achievement was obvious to Gödel; Gödel's exceptional caution. In (...) fact, , Tarski had done the work, but Gödel almost never mentioned the achievement; , the obviousness is no explanation for the omission of Tarski's work in contexts in which an application of the definition of satisfaction was useful, and even necessary; , the point was not just caution: if Gödel had felt the need to mention the program of scientific semantics he could easily have done that in his manuscripts, or in conversations.Three ideas, detectable in Gödel's approach, can help us understand Gödel's silence: the idea of truth as the intuitive provability in the most general sense; defining it set-theoretically would contribute nothing. the idea of truth as an inexhaustible idea in the sense of Kant; “truth in general” is a category that must be applicable to all kinds of sentential expressions; also, while for Gödel language was secondary, Tarski's definition is focused on language. the idea of logic as the universal language, in Hintikka's sense, as opposed to the perception of logic as a reinterpretable calculus; hence the thesis that semantics is inexpressible. Gödel always remains a Platonist who asks a natural question: what does really happen in the realm of abstract objects? (shrink)

Impure Eliminativism about Categories is the idea that ontological categories are not wholly eliminable insofar as they have epistemic value to understand the nature of ordinary and scientific objects. From the perspective of Impure Eliminativism, different criticisms have been addressed to substantialist approaches in metaphysics and, in particular, to John Heil’s substance-mode two-category ontology. The aim of this paper is to contribute to this critical project by extending its scope to C. B. Martin’s substantialism. The thesis I defend is that (...) Martin’s substratum-trope two-category ontology satisfies the elimination criterion of Impure Eliminativism for ontological categories because either it is inconsistent or else it supplies a non-exhaustive and non-exclusive categorization of ordinary and scientific objects and their properties. First, I introduce Impure Eliminativism and its novel elimination criterion for ontological categories, and I survey recent criticisms of substantialism from that perspective. Second, I show that nothing satisfies Martin’s definition of substratum in a way that is consistent with Martin’s view on tropes. Third, I note that the attempts to avoid the inconsistency make the categorization supplied by Martin’s ontology either non-exhaustive or non-exclusive. I then conclude that Martin’s substratum-trope categorial system should be eliminated in accordance with the criterion of categorial elimination of Impure Eliminativism. (shrink)