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)

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].

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)

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)

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)

This book is an attempt to read the totality of Camus s oeuvre as a voyage, in which Camus approaches the fundamental questions of human existence: What is the meaning of life? Can ultimate values be grounded without metaphysical presuppositions? Can the pain of the other penetrate the thick shield of human narcissism and self-interest? Solipsism and solidarity are among the destinations Camus reaches in the course of this journey. This book is a new reading of one of the towering (...) humanists of the twentieth century, and sheds new light on his spiritual world.". (shrink)

In this study, I examine the institutional model of data science as a nascent profession undergoing an occupational founding phase. Drawing on interviews with sixty data scientists, senior managers, and professors from Israel as well as observations at the local professional community’s events, I argue that data scientists endorse an open institutional model, upholding largely internet-based institutions focusing on knowledge sharing, networking, and collaboration. This model grants data scientists expertise, autonomy, and authority vis-à-vis clients, employers, and states; provides them with (...) continued credentialing independent of employing organizations; encourages the wide entry of new members; and helps them deal with the accelerated temporality of their field. This open model enables an omnivorous spreading of data science expertise and is used to challenge professionalization as an occupational-institutional model in other professions. Still, this model faces many challenges. (shrink)

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)

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.

Let be a countable first order structure and endow the universe of with the discrete topology. Then the automorphism group of becomes a topological group. A tuple of automorphisms is defined to be weakly generic iff its diagonal conjugacy class (in the algebraic sense) is dense (in the topological sense) and the ‐orbit of each is finite. Existence of tuples of weakly generic automorphisms are interesting from the point of view of model theory as well as from the point of (...) view of finite combinatorics.The main results of the present work are as follows. In Theorem 2.6 we characterize the existence of tuples of weakly generic automorphisms with the aid of the profinite topology of free groups. In Corollary 2.12 we will show that if has finite topological rank r (and satisfies a further, mild technical condition) then the existence of a weakly generic tuple in implies the existence of weakly generic tuples in for all natural number. Finally, in Theorem 3.2 we show that if is a countable model of an ℵ0‐categorical, simple theory in which all types over the empty set are stationary and has a pair of weakly generic automorphisms then it has tuples of weakly generic automorphisms of arbitrary finite length.At the technical level we will combine elementary investigations about the profinite topology of free groups with the results of [11] about topological ranks of the automorphism groups of some structures. (shrink)

Given the religious appeal of divine command theories of morality (DCM), and given that these theories are found in both Christianity and Islam, we could expect DCM to be represented in Judaism, too. In this essay, however, we show that hardly any echoes of support for this thesis can be found in Jewish texts. We analyze texts that appear to support DCM and show they do not. We then present a number of sources clearly opposed to DCM. Finally, we offer (...) a theory to explain the absence of DCM in Judaism, claiming that the rational character of "Halakha", as well as the moral and rational character of God, does not provide suitable ground for the growth of DCM theses. (shrink)

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)

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.

This paper outlines a critical, textual approach for the analysis of the relationship between different actors in information technology (IT) production, and further concretizes the approach in the analysis of the role of users in the open source software (OSS) development literature. Central concepts of the approach are outlined. The role of users is conceptualized as reader involvement aiming to contribute to the configuration of the reader (to how users and the parameters for their work practices are defined in OSS (...) texts). Afterwards, OSS literature addressing reader involvement is critically reviewed. In OSS context, the OSS writers as readers configure the reader and other readers are assumed to be capable of and interested in commenting the texts. A lack of OSS research on non-technical reader involvement is identified. Furthermore, not only are the OSS readers configured, but so are OSS writers. In OSS context while writers may be empowered, this clearly does not apply to the non-technical OSS readers. Implication for research and practice are discussed. (shrink)

(1994). Editor's foreword. World Futures: Vol. 39, The Evolution of European Identity: Surveys of the Growing Edge A Report by the European Culture Impact Research Consortium (EUROCIRCON), pp. 1-2.

This book outlines the broad spectrum of answers to important questions presented in Jewish literature, covering theological issues bearing on the meaning of the Torah and of revelation, as well as hermeneutical questions regarding understanding of the halakhic text.

In the first chapter of my book Tradition and Originality in Plautus: Studies of the Amatory Motifs in Plautine Comedy, I have expressed the view that mythological hyperboles in which the Comic character asserts his superiority in one respect or another to a mythological hero, far from being a product of Plautus' own imagination, as suggested by E. Fraenkel, are a specifically Greek element, adapted by Plautus from his originals. Here I should like to draw attention to one particular aspect (...) of the pattern of thought in question, not dealt with in my book, which reinforces my argument and further underlines the traditional framework of which this pattern forms part. (shrink)

In the accepted view, the basic disposition of believers is one of absolute obedience, humility, and lack of critique, doubt, or, indeed, defiance of God. Only through such a disposition do believers convey their absolute faith and establish the appropriate hierarchy between God and humans. This article challenges this view and argues that, in mainstream rabbinic tradition, the believer is not required to renounce his or her moral autonomy and certainly not his or her understanding of God and the world. (...) Indeed, faith rests on such understanding; moreover, human autonomy is the mechanism through which humans convey God’s goodness and perfection. Their questions and criticism are part of a persistent effort to close the evident gap between their assumptions about God’s goodness and the flawed imperfect reality. The analysis focuses on rabbinic tradition but its implications go beyond it, presenting a model of a life of faith that compels subjects, as believers, to preserve their constitutive foundations as rational autonomous creatures. (shrink)

Detecting that two images are different is faster for highly dissimilar images than for highly similar images. Paradoxically, we showed that the reverse occurs when people are asked to describe how two images differ—that is, to state a difference between two images. Following structure-mapping theory, we propose that this disassociation arises from the multistage nature of the comparison process. Detecting that two images are different can be done in the initial (local-matching) stage, but only for pairs with low overlap; thus, (...) “different” responses are faster for low-similarity than for high-similarity pairs. In contrast, identifying a specific difference generally requires a full structural alignment of the two images, and this alignment process is faster for high-similarity pairs. We described four experiments that demonstrate this dissociation and show that the results can be simulated using the Structure-Mapping Engine. These results pose a significant challenge for nonstructural accounts of similarity comparison and suggest that structural alignment processes play a significant role in visual comparison. (shrink)

Artificial intelligence (AI) is increasingly relied upon by clinicians for making diagnostic and treatment decisions, playing an important role in imaging, diagnosis, risk analysis, lifestyle monitoring, and health information management. While research has identified biases in healthcare AI systems and proposed technical solutions to address these, we argue that effective solutions require human engagement. Furthermore, there is a lack of research on how to motivate the adoption of these solutions and promote investment in designing AI systems that align with values (...) such as transparency and fairness from the outset. Drawing on insights from psychological theories, we assert the need to understand the values that underlie decisions made by individuals involved in creating and deploying AI systems. We describe how this understanding can be leveraged to increase engagement with de-biasing and fairness-enhancing practices within the AI healthcare industry, ultimately leading to sustained behavioral change via autonomy-supportive communication strategies rooted in motivational and social psychology theories. In developing these pathways to engagement, we consider the norms and needs that govern the AI healthcare domain, and we evaluate incentives for maintaining the status quo against economic, legal, and social incentives for behavior change in line with transparency and fairness values. (shrink)

Are toleration and pluralism possible in Jewish religion? -- Yeshayahu Leibovitz : the man against his thought -- Leibowitz and Camus : between faith and the absurd -- Jewish religion without theology -- The critique of theodicy : from metaphysics to praxis -- The Holocaust : a theological or a religious-existentialist problem? -- Tikkun Olam : between utopian idea and socio-historical process.

ישעיהו ליבוביץ, מגדולי האישים שקמו לעם ישראל בדורות האחרונים, השפיע על ההגות היהודית ועל החברה הישראלית בדרכים שונות. דבריו עוררו תמיד דיון ותגובה. הספר כולל מאמרים המתארים והמנתחים את הגותו היהודית והכללית, השקפותיו בתחומי הפילוסופיה ובשאלות תרבות וחברה, לאומיות וציוניות.

The notion of ultratopologies was introduced in [6] motivated by the model theory of first and higher order logics. In [6] we established some model theoretical applications of ultratopologies, for example, we provided a purely set theoretical characterization for classes de.nable by second order existential formulas. The present note deals with topological properties of ultratopologies, like density and compactness.

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)

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)

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)

We will study the class RSA of -dimensional representable substitution algebras. RSA is a sub-reduct of the class of representable cylindric: algebras, and it was an open problem in Andréka [1] that whether RSA can be finitely axiomatized. We will show, that the answer is positive. More concretely, we will prove, that RSA is a finitely axiomatizable quasi-variety. The generated variety is also described. We note that RSA is the algebraic counterpart of a certain proportional multimodal logic and it is (...) related to a natural fragment of first order logic, as well. (shrink)

This field study aims to explore the effect of the forced separation between Palestinians who are Israeli citizens and Palestinians living in the West Bank on their perceptions of collective narratives (Sagy et al. in Am J Orthopsychiatry 72(1): 26–38, 2002) and their identity strategies (Berry in Nebraska symposium on motivation, University of Nebraska Press, Lincoln, 1990; Tajfel in Human groups and social categories, Cambridge University Press, Cambridge, 1981). Two questionnaires, based on the theoretical categories and contents revealed in focus (...) groups, were administered to wide ranging samples, comprised of 1,104 Palestinians who are Israeli citizens (622 females), and 948 Palestinians (466 females) living in the West Bank, aged 18 and up. The results indicate differences between the two Palestinian groups: Palestinians living in the West Bank significantly tended to endorse integration and blamed Israel for the separation, but also endorsed separation and social competition with the other Palestinian group, in comparison to the Palestinians living in Israel. The latter exhibited stronger tendencies to preserve their in-group collective narratives compared to the West Bank Palestinians. The older members of both groups perceived the intergroup relations in a more positive way. The results are mainly interpreted according to the social identity theory and the complex situation of living “on both sides of the fence”. (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)

Is there a relation of logical consequence in natural language? Logicality, in the philosophical literature, has been conceived of as a restrictive phenomenon that is at odds with the unbridled richness and complexity of natural language. This article claims that there is a relation of logical consequence in natural language, and moreover, that it is the subject matter of the bulk of current theories of formal semantics. I employ the framework of _semantic constraints_ (Sagi in Log Anal 57(227):259–276, 2014), which (...) generalizes the Tarskian definition of logical consequence. I apply the widely accepted criterion of invariance under isomorphisms (Sher in J. Symb Log 61(2):653–686, 1996) generalized to the framework of semantic constraints (Sagi in Bull Symb Log 28(1):104–132, 2022b), combined with a theory of Glanzberg (in Metasemantics: new essays on the foundations of meaning, 2014) to delineate the relation of logical consequence in natural language. (shrink)

(1994). A survey in Hungary. World Futures: Vol. 39, The Evolution of European Identity: Surveys of the Growing Edge A Report by the European Culture Impact Research Consortium (EUROCIRCON), pp. 47-64.

This book is a first attempt to examine the thought of key contemporary Jewish thinkers on the meaning of tradition in the context of two models. The classic model assumes that tradition reflects lack of dynamism and reflectiveness, and the present’s unqualified submission to the past. This view, however, is an image that the modernist ethos has ascribed to the tradition so as to remove it from modern existence. In the alternative model, a living tradition emerges as open and dynamic, (...) developing through an ongoing dialogue between present and past. The Jewish philosophers discussed in this work—Joseph B. Soloveitchik, Yeshayahu Leibowitz, David Hartman, and Eliezer Goldman—ascribe compelling canonic status to the tradition, and the analysis of their thought discloses the tension between these two models. The book carefully traces the course they have plotted along the various interpretations of tradition through their approach to Scripture and to Halakhah. (shrink)