This essay offers a conception of logic by which logic may be considered to be exceptional among the sciences on the backdrop of a naturalistic outlook. The conception of logic focused on emphasises the traditional role of logic as a methodology for the sciences, which distinguishes it from other sciences that are not methodological. On the proposed conception, the methodological aims of logic drive its definitions and principles, rather than the description of scientific phenomena. The notion of a methodological discipline (...) is explained as a relation between disciplines or practices. Logic serves as a methodological discipline with respect to any theoretical practice, and this generality, as well as logic’s reflexive nature, distinguish it from other methodological disciplines. Finally, the evolution of model theory is taken as a case study, with a focus on its methodological role. Following recent work by John Baldwin and Juliette Kennedy, we look at model theory from its inception in the mid-twentieth century as a foundational endeavour until developments at the end of the century, where the classification of theories has taken centre-stage. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...) play a distinctive role. This account employs a new notion of semantic. (shrink)

In standard model-theoretic semantics, the meaning of logical terms is said to be fixed in the system while that of nonlogical terms remains variable. Much effort has been devoted to characterizing logical terms, those terms that should be fixed, but little has been said on their role in logical systems: on what fixing their meaning precisely amounts to. My proposal is that when a term is considered logical in model theory, what gets fixed is its intension rather than its extension. (...) I provide a rigorous way of spelling out this idea, and show that it leads to a graded account of logicality: the less structure a term requires in order for its intension to be fixed, the more logical it is. Finally, I focus on the class of terms that are invariant under isomorphisms, as they render themselves more easily to mathematical treatment. I propose a mathematical measure for the logicality of such terms based on their associated Löwenheim numbers. (shrink)

Contextualist theories of truth appeal to context to solve the liar paradox: different stages of reasoning occur in different contexts, and so the contradiction is dispelled. The word ‘true’ is relativized by the contextualists to contexts of use. This paper shows that contextualist approaches to the liar are committed to a form of semantic relativism: that the truth value of some sentences depends on the context of assessment, as well as the context of use. In particular, it is shown how (...) Simmons’s and Glanzberg’s contextualist approaches entail relativism. In both cases, the liar sentence gets different semantic evaluations as uttered in a fixed context of use but assessed from different contexts. Shift in context of use alone cannot provide the full explanation of the liar. These contextualist approaches, as originally presented, were thus mischaracterised and they should be re-evaluated according to their full implications. (shrink)

In a recent article, “Logical Consequence and Natural Language,” Michael Glanzberg claims that there is no relation of logical consequence in natural language (2015). The present paper counters that claim. I shall discuss Glanzberg’s arguments and show why they don’t hold. I further show how Glanzberg’s claims may be used to rather support the existence of logical consequence in natural language.

The essay discusses a recurrent criticism of the isomorphism-invariance criterion for logical terms, according to which the criterion pertains only to the extension of logical terms, and neglects the meaning, or the way the extension is fixed. A term, so claim the critics, can be invariant under isomorphisms and yet involve a contingent or a posteriori component in its meaning, thus compromising the necessity or apriority of logical truth and logical consequence. This essay shows that the arguments underlying the criticism (...) are flawed since they rely on an invalid inference from the modal or epistemic status of statements in the metalanguage to that of statements in the object-language. The essay focuses on McCarthy’s version of the argument, but refers to Hanson and McGee’s versions as well. (shrink)

This collection of new essays presents cutting-edge research on the semantic conception of logic, the invariance criteria of logicality, grammaticality, and logical truth. Contributors explore the history of the semantic tradition, starting with Tarski, and its historical applications, while central criticisms of the tradition, and especially the use of invariance criteria to explain logicality, are revisited by the original participants in that debate. Other essays discuss more recent criticism of the approach, and researchers from mathematics and linguistics weigh in on (...) the role of the semantic tradition in their disciplines. This book will be invaluable to philosophers and logicians alike. (shrink)

Tarski characterized logical notions as invariant under permutations of the domain. The outcome, according to Tarski, is that our logic, which is commonly said to be a logic of extension rather than intension, is not even a logic of extension—it is a logic of cardinality. In this paper, I make this idea precise. We look at a scale inspired by Ruth Barcan Marcus of various levels of meaning: extensions, intensions and hyperintensions. On this scale, the lower the level of meaning, (...) the more coarse-grained and less “intensional” it is. I propose to extend this scale to accommodate a level of meaning appropriate for logic. Thus, below the level of extension, we will have a more coarse-grained level of form. I employ a semantic conception of form, adopted from Sher, where forms are features of things “in the world”. Each expression in the language embodies a form, and by the definition we give, forms will be invariant under permutations and thus Tarskian logical notions. I then define the logical terms of a language as those terms whose extension can be determined by their form. Logicality will be shown to be a lower level analogue of rigidity. Using Barcan Marcus’s principles of explicit and implicit extensionality, we are able to characterize purely logical languages as “sub-extensional”, namely, as concerned only with form, and we thus obtain a wider perspective on both logicality and extensionality. (shrink)

This paper deals with the adequacy of the model-theoretic definition of logical consequence. Logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. In this paper, necessity is assumed to be a metaphysical notion, and formality is viewed as a means to avoid dealing with complex metaphysical questions in logical investigations. Logical terms are an essential part of the form of sentences and thus have a crucial role in determining logical (...) consequence. Gila Sher and Stewart Shapiro each propose a formal criterion for logical terms within a model-theoretic framework, based on the idea of invariance under isomorphism. The two criteria are formally equivalent, and thus we have a common ground for evaluating and comparing Sher and Shapiro philosophical justification of their criteria. It is argued that Shapiro's blended approach, by which models represent possible worlds under interpretations of the language, is preferable to Sher’s formal-structural view, according to which models represent formal structures. The advantages and disadvantages of both views’ reliance on isomorphism are discussed. (shrink)

In a recent article, “Logical Consequence and Natural Language”, Michael Glanzberg claims that there is no relation of logical consequence in natural language (2015). The present paper counters that claim. I shall discuss Glanzberg’s arguments and show why they don’t hold. I further show how Glanzberg’s claims may be used to rather support the existence of logical consequence in natural language.

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. In (...) this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions. (shrink)

One True Logic is a rare contribution to the most fundamental issues in the philosophy of logic. The book pushes a remarkably clear and uncompromising monistic.

Invariance criteria are widely accepted as a means to demarcate the logical vocabulary of a language. In previous work, I proposed a framework of “semantic constraints” for model theoretic consequence which does not rely on a strict distinction between logical and nonlogical terms, but rather on a range of constraints on models restricting the interpretations of terms in the language in different ways. In this paper I show how invariance criteria can be generalized so as to apply to semantic constraints (...) on models. Some obviously unpalatable semantic constraints turn out to be invariant under isomorphisms. I shall connect our discussion to known counterexamples to invariance criteria for logical terms, and so the generalization will also shed light on the current existing debate on logicality. I analyse the failure of invariance to fulfil its role as a criterion for logicality, and argue that invariance conditions should best be thought of as merely methodological meta-constraints restricting the ways the model-theoretic apparatus should be used. (shrink)

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a strong form of this theorem does not hold. Translating these results into Algebraic Logic we obtain a finitely axiomatizable subvariety of finite dimensional Representable Cylindric Algebras that has the Strong Amalgamation Property but does not have the Superamalgamation Property. This settles a conjecture of Pigozzi [12].

ha-Historyah shel ha-filosofyah ha-Yehudit ke-hermanoiṭiḳah -- Hagut bi-Yeme ha-Benayim -- he-Hagut ha-ishit : rishoniyut ha-ḳiyum ha-Yehudi u-sheʼelat ha-zehut -- ʻAl ha-emunah -- ha-Tefilah -- Meḥuyavut Yehudit pluralisṭit -- Tsiyonut ṿe-Yahadut -- ha-Shivah el ha-Yehudiyut ke-masaʻ eḳzisṭentsyali -- Li-heyot Yehudi be-Yiśraʼel.

Available corpora for Argument Mining differ along several axes, and one of the key differences is the presence (or absence) of discourse markers to signal argumentative content. Exploring effective ways to use discourse markers has received wide attention in various discourse parsing tasks, from which it is well-known that discourse markers are strong indicators of discourse relations. To improve the robustness of Argument Mining systems across different genres, we propose to automatically augment a given text with discourse markers such that (...) all relations are explicitly signaled. Our analysis unveils that popular language models taken out-of-the-box fail on this task; however, when fine-tuned on a new heterogeneous dataset that we construct (including synthetic and real examples), they perform considerably better. We demonstrate the impact of our approach on an Argument Mining downstream task, evaluated on different corpora, showing that language models can be trained to automatically fill in discourse markers across different corpora, improving the performance of a downstream model in some, but not all, cases. Our proposed approach can further be employed as an assistant tool for better discourse understanding. (shrink)

The starting point of this essay is that there is a contradiction at the heart of our current and hyperbolic understandings of life. To be more precise, on the one hand there is the historical novelty of biology as a modern science and set of technologies. On the other hand, life is simultaneously understood according to biological protocols that seem void of history.

Faith: Jewish Perspectives explores important questions in both modern and premodern Jewish philosophy regarding the idea of faith. Is believing a voluntary action, or do believers find themselves within the experience of faith against their will? Can faith be understood through other means (psychological, epistemic, and so forth), or is it only comprehensible from the inside, that is, from within the religious world? Is a subjective experience of faith fundamentally communicative, meaning that it includes intelligible and transmittable universal elements, or (...) is it a private experience that we can point to or talk about through indirect means (poetic, lyrical, and so forth), but never fully decipher? This book presents various manifestations of the concept of faith in Judaism as a tradition engaged in a dialogue with the outside world. It will function as an opening and an invitation to an ongoing conversation with faith. (shrink)

Thomas Gil und Wolfgang Mack befassen sich aus der Perspektive zweier unterschiedlicher Disziplinen –Philosophie und Psychologie – mit der Frage nach den Funktionen der Seele. Aus der Sicht der Philosophie wird untersucht, was unter psychischen Funktionen zu verstehen ist. Aus der Sicht der Psychologie wird der Begriff der Seele historisch-kritisch diskutiert. Ist für die Psychologie die Seele als wissenschaftlicher Begriff möglicherweise (wieder) geeignet? In gemeinsamer Diskussion beantworten die Autoren die Frage danach, was das Psychische ist.

Downward causation exercised by emergent properties of wholes upon their lower-level constituents’ properties has been accused of conceptual and metaphysical incoherence. Only upward causation is usually peacefully accepted. The aim of this paper is to criticize and refuse the traditional hierarchical-vertical way of conceiving both types of causation, although preserving their deepest ontological significance, as well as the widespread acceptance of the traditional atomistic-combinatorial view of the entities and the relations that constitute the so-called ‘emergence base’. Assuming those two perspectives (...) with no reserves, we are condemned to confine our debate to the question of whether reified wholes can have the power to downwardly change or influence their lower-level parts, a question which seems profoundly misleading to me. I therefore propose an alternative relational ontological view, assuming a straightforward horizontal and intra-level way of representing those putative cases of cross-level causation. I finally confront two recent replies to Kim’s well-known objections to DC—Craver and Bechtel and Kistler :595–609, 2009)—, emphasizing their global positive approaches, as well as the reasons why their accounts still seem insufficient to me. I conclude arguing that both Kim’s principle of the causal closure of the physical domain and its allegation of an overdetermination in cases of DC can be surpassed by the new relational ontological perspective presented here. (shrink)

The following essays are about what it is to believe something, how we make up our minds and decide, what it means that conflicts anddisagreements are not eliminable, and the fact that new technological developments are substantially changing the way we live.

Philosophers of well-being have tended to adopt a foundationalist approach to the question of theory and measurement, according to which theories are conceptually before measures. By contrast, social scientists have tended to adopt operationalist commitments, according to which they develop and refine well-being measures independently of any philosophical foundation. Unfortunately, neither approach helps us overcome the problem of coordinating between how we characterize well-being and how we measure it. Instead, we should adopt a coherentist approach to well-being science.

To advance current knowledge on ethical decision-making in organizations, we integrate two perspectives that have thus far developed independently: the organizational identification perspective and the ethical climate perspective. We illustrate the interaction between these perspectives in two studies, in which we presented participants with moral business dilemmas. Specifically, we found that organizational identification increased moral decision-making only when the organization’s climate was perceived to be ethical. In addition, we disentangle this effect in Study 2 from participants’ moral identity. We argue (...) that the interactive influence of organizational identification and ethical climate, rather than the independent influence of either of these perspectives, is crucial for understanding moral decision-making in organizations. (shrink)

This easy-to-understand translation of one of the earliest surviving Buddhist texts offers a pathway to awakening that is simple, straightforward, and free of religious doctrine One of the earliest of all Buddhist texts, the Atthakavagga, or “Book of Eights,” is a remarkable document, not only because it comes from the earliest strain of the literature—before the Buddha, as the title suggests, came to be thought of as a “Buddhist”—but also because its approach to awakening is so simple and free of (...) adherence to any kind of ideology. Instead the Atthakavagga points to a direct and simple approach for attaining peace without requiring the adherence to doctrine. The value of the teachings it contains is not in the profundity of their philosophy or in their authority as scripture; rather, the value is found in the results they bring to those who live by them. Instead of doctrines to be believed, the “Book of Eights” describes means or practices for realizing peace. Gil Fronsdal’s rigorous translation with commentary reveals the text to be of interest not only to Buddhists, but also to the ever-growing demographic of spiritual-but-not-religious, who seek a spiritual life outside the structures of religion. (shrink)

Among others we will prove that the equational theory of ω dimensional representable polyadic equality algebras (RPEA ω 's) is not schema axiomatizable. This result is in interesting contrast with the Daigneault-Monk representation theorem, which states that the class of representable polyadic algebras is finite schema-axiomatizable (and hence the equational theory of this class is finite schema-axiomatizable, as well). We will also show that the complexity of the equational theory of RPEA ω is also extremely high in the recursion theoretic (...) sense. Finally, comparing the present negative results with the positive results of Ildiko Sain and Viktor Gyuris [12], the following methodological conclusions will be drawn: The negative properties of polyadic (equality) algebras can be removed by switching from what we call the "polyadic algebraic paradigm" to the "cylindric algebraic paradigm". (shrink)

In this article I address the issue of the ontological conditions of possibility for a naturalistic notion of emergence, trying to determine its fundamental differences from the atomist, vitalist, preformationist and potentialist alternatives. I will argue that a naturalistic notion of ontological emergence can only succeed if we explicitly refuse the atomistic fundamental ontological postulate that asserts that every entity is endowed with a set of absolutely intrinsic properties, being qualitatively immutable through its extrinsic relations. Furthermore, it will be shown (...) that, ironically enough, this metaphysical assumption is implicitly shared by all the above mentioned alternatives to Emergentism. The current article concludes that the notion of organization by itself is not enough, and that ontological emergence can only be justified by assuming a relational ontological perspective that, in opposition both to atomism and holism, defends that the existence-conditions, the identity and the causal behavior of any emergent systemic property can only be conceived, and explained, as constructed by and through specific networks of qualitatively transformative relational processes that occur between the system’s components and between the system and its environment. Additionally, I try to explain how one can make sense of the idea that an emergent phenomenon is both dependent on, and autonomous from, its emergence base. (shrink)

Generating an account that can sidestep the disagreement among substantive theories of well-being, while at the same time still providing useful guidance for well-being public policy, would be a significant achievement. Unfortunately, the various attempts to remain agnostic regarding what constitutes well-being fail to either be an account of well-being, provide useful guidance for well-being policy, or avoid relying on a substantive well-being theory. There are no theory-free lunches in well-being policy. Instead, I propose an intermediate account, according to which (...) well-being is constituted by endorsed veridical experiences. This account refers back to theories of well-being but does so as agnostically as possible. An intermediate account of well-being is meant as a policy guiding compromise between the different theories of well-being that make claims regarding what constitutes well-being. An intermediate account does as well as can be hoped for in providing a basis for well-being policy. (shrink)

Entre justification et explication, entre dire et faire, la destruction. Est-ce une chose ou un événement? Un geste, une oeuvre ou une opération? Un thème ou un titre? Est-ce même bien un mot? Qu'appelle-t-on destruction? Avec Heidegger, Derrida en appelle à la destruction. Oui, à la destruction. L'a-t-on entendu? Comme Heidegger (et c'est aussi ce "comme" qu'il s'agira d'examiner ici), Derrida nomme et renomme la destruction. Il lui donne le temps et le nom, une renommée. Il la surnomme "déconstruction", par (...) exemple, ou, plus tard, "mal d'archive". Comme Heidegger, Derrida travaille, traduit et retraduit la destruction, faisant parfois comme si tous ses mots, tous les mots et les phrases qu'il propose et déploie à propos de la destruction, entretenaient des rapports sans rapport, rapports déjà trop clairs, ou encore bien obscurs. Qu'appelle-t-on destruction? Après Heidegger, Derrida s'y est attardé, lui qui parlait, encore et encore, de destination et de destruction, lui qui nous a rappelés si souvent à la destruction qui arrive, partout où elle arrive. Posons que c'était l'un de ses combats, l'une de ses longues guerres (avec lui-même, d'abord, et avec la destruction). Sera-ce finalement la nôtre? Est-il aujourd'hui temps de penser - après Heidegger, avec Derrida -, temps de combattre aussi peut-être, au moins d'écouter, la destruction qui vient? Est-il encore temps de témoigner de la destruction qui croit? (shrink)

In den drei hier veröffentlichten philosophischen Studien geht es um die Begriffsarbeit des menschlichen Geistes, durch welche er in der Lage ist, die Struktur physischer und geschichtlicher Prozesse zu erfassen.

Here we investigate the classes RCA $^\uparrow_\alpha$ of representable directed cylindric algebras of dimension α introduced by Nemeti[12]. RCA $^\uparrow_\alpha$ can be seen in two different ways: first, as an algebraic counterpart of higher order logics and second, as a cylindric algebraic analogue of Quasi-Projective Relation Algebras. We will give a new, "purely cylindric algebraic" proof for the following theorems of Nemeti: (i) RCA $^\uparrow_\alpha$ is a finitely axiomatizable variety whenever α ≥ 3 is finite and (ii) one can obtain (...) a strong representation theorem for RCA $^\uparrow_\alpha$ if one chooses an appropriate (non-well-founded) set theory as foundation of mathematics. These results provide a purely cylindric algebraic solution for the Finitization Problem (in the sense of [11]) in some non-well-founded set theories. (shrink)

It is an open question whether well-being ought to primarily be understood as a temporal concept or whether it only makes sense to talk about a person’s well-being over their whole lifetime. In this article, I argue that how this principled philosophical disagreement is settled does not have substantive practical implications for well-being science and well-being policy. Trying to measure lifetime well-being directly is extremely challenging as well as unhelpful for guiding well-being public policy, while temporal well-being is both an (...) adequate indirect measure of lifetime well-being, and an adequate focus for the purposes of improving well-being through public policy. Consequently, even if what we ought to care about is lifetime well-being, we should use temporal measures of well-being and focus on temporal well-being policies. (shrink)

Spoofing is the act of placing orders to buy or sell a financial contract without the intention to have those orders fulfilled in order to create the impression that there is a large demand for that contract at that price. In this article, I deny the view that spoofing in financial markets should be viewed as morally permissible analogously to the way bluffing is permissible in poker. I argue for the pro tanto moral impermissibility of spoofing and make the case (...) that spoofing is disanalogous from bluffing in at least one important regard—speculative trading serves an important economic role, whereas poker does not. (shrink)

Policy-makers sometimes aim to improve well-being as a policy goal, but to do this they need some way to measure well-being. Instead of relying on potentially problematic theories of well-being to justify their choice of well-being measure, Daniel Hausman proposes that policy-makers can sometimes rely on preference-based measures as evidence for well-being. I claim that Hausman’s evidential account does not justify the use of any one measure more than it justifies the use of any other measure. This leaves us at (...) a loss as to which policy should be chosen in the non-trivial cases for which there is substantial disagreement between the different measures in their assessment of policy. (shrink)

Filosofía constitucional.--Filosofía penal.--El hombre y la historia y otros ensayos.