In this Article I argue that the citizenship status of Israel’s Palestinian citizens has been eroding since the "events" of October 2000 and that, as a result, Israel, within its rpe-1967 borders, may be moving from a form of democracy that has been termed "ethnic democracy" towards a form of non-democratic state that has been termed "ethnocracy." My argument is based primarily on two legal documents: the new Citizenship and Entry into Israel Law, 2003, which denies Palestinian citizens the right (...) to unite with their closest family members who are residents of the Occupied Territories, and the decision of the High Court of Justice that upheld the constitutionality of this law in 2006. Two other developments that seem to support my thesis are analyzed as well: the "events" of October 2000 themselves and the report of the state commission of inquiry that investigated these events, and the plan, advanced by Yvette Lieberman and his political party, "Yisrael Beytenu," to shift the border between Israel and the West Bank westward, depriving tens of thousands of citizen-Palestinians of their Israeli citizenship. (shrink)

This paper argues that functionalist metasemantic views, such as Conceptual Role Semantics and Interpretivism, face a Euthyphro challenge. The challenge, put roughly, is this: functionalist metasemantic views reverse the order of explanation. According to such views, representational mental states have the contents that they do partly because they play certain roles in our mental lives. According to an intuitive picture of the roles that representational mental states play in our mental lives, however, these states play the roles they do partly (...) because they have the contents that they do. Since explanations—even partial ones—are asymmetric (call this principle ‘the Euthyphro Principle’), we can’t accept both this intuitive picture and a functionalist metasemantics. Hence, we should reject all versions of the latter. This paper can be seen as an attempt to better articulate an intuition that has been suggested in various forms in the literature. The paper proceeds as follows. First, it shows that functionalist metasemantic views imply certain ‘partly because’ claims. Second, it argues for the Euthyphro Principle. Third, it defends the intuitive picture of representational mental states and shows that it implies ‘partly because’ claims that conflict with those made by functionalist metasemantic views. Finally, it considers ways of relaxing the intuitive picture and finds them all wanting. (shrink)

Naive realism in philosophy of perception is the view that (successful) perception involves a direct relation between perceiving subjects and the world. The naive realist says that your perception of a cat on the mat is a worldly relation which is partially constituted by the cat and the mat; a spatio-temporal chunk of the world is presenting itself to you. Recently, Elijah Chudnoff and John Bengson have independently developed an extension of this view to intellectual experiences, or intuitions, for traditionally (...) a priori domains. We argue that this view, which we call ‘Intuitional Naive Realism’ (INR), will not have the epistemic advantages that Chudnoff and Bengson claim that it does. In perception, but not intuition, there is a deeper explanation of what makes it the case that one experience is constituted by the world while another is not. Whether or not INR is true, then, it does no interesting epistemological work for traditionally a priori domains. (shrink)

I address here the question what sense to make of the idea that there can be thought prior to language. I begin by juxtaposing two familiar and influential philosophical views, one associated with the work of Paul Grice, the other associated with the work of Donald Davidson. Grice and Davidson share a broad, rationalist perspective on language and thought, but they endorse conflicting theses on the relation between them. Whereas, for Grice, thought of an especially complex sort is a precondition (...) of linguistic meaning, for Davidson, there can be no genuine thought without language. I argue that both views present us with unpalatable alternatives concerning our understanding of the natural origins of objective thought and meaningful language. Drawing on what I take to be key insights from Grice and Davidson, I then lay out some broad desiderata for an intermediate position. I finally turn to a certain form of nonlinguistic communication of the sort of which both prelinguistic children and languageless animals are capable, viz., expressive communication. I propose that a proper appreciation of the character and function of expressive communication can help us trace the outlines of the desired intermediate position. (shrink)

Researchers have converged on the idea that a pragmatic understanding of communication can shed important light on the evolution of language. Accordingly, animal communication scientists have been keen to adopt insights from pragmatics research. Some authors couple their appeal to pragmatic aspects of communication with the claim that there are fundamental asymmetries between signalers and receivers in non-human animals. For example, in the case of primate vocal calls, signalers are said to produce signals unintentionally and mindlessly, whereas receivers are thought (...) to engage in contextual interpretation to derive the significance of signals. We argue that claims about signaler-receiver asymmetries are often confused. This is partly because their authors conflate two conceptions of pragmatics, which generate different accounts of the explanatory target for accounts of the evolution of language. Here we distinguish these conceptions, in order to help specify more precisely the proper explanatory target for language evolution research. (shrink)

Heyes presents a compelling account of how cultural evolutionary processes shape and create “rules,” or norms, of social behavior. She suggested that normativity depends on implicit, genetically inherited, domain-general processes and explicit, culturally inherited, domain-specific processes. Her approach challenges the nativist point of view and provides supporting evidence that shows how social interactions are responsible for creating mental processes that assist in understanding and behaving according to rules or norms. We agree. In our commentary, we suggest that it is not (...) only that mental processes for grasping norms are recreated in each generation but also that social interactions shape the kinds of social groups that are recognized (for a more extensive discussion, see Kish Bar-On & Lamm, 2023). We highlight evidence showing that accounts of norm psychology thus require a richer notion of human groups. (shrink)

These summary notes on Ruth Millikan’s latest book Beyond Concepts: Unicepts, Language, and Natural Information (OUP, 2017) were prepared by Dorit Bar-On for a discussion group that met in Summer 2018. The notes have been lightly edited by Millikan and prepared for online publication with the help of Drew Johnson.

Society is a composite of interacting people and groups. These groups play a significant role in maintaining social status, establishing group identity and social identity, and enforcing norms. As such, groups are essential for understanding human behavior. Nevertheless, the study of groups in everyday group life yields many diverse and sometimes contradicting theories of group behavior, and researchers tend to agree that we have yet to understand the emergence of groups out of aggregates of individuals. The current paper aims to (...) shed new light on the convoluted interrelation between groups and individuals by focusing on individuals’ social identities and group categorization. It does so by exploring the dynamic nature of the self and its implications on identity and group membership, and introducing a framework recognizing the fluidity of groups and group categorization. Incorporating historical insights with contemporary theories, this paper argues for a flexible understanding of group dynamics that surpasses rigid in-group and out-group classifications, proposing instead that group affiliations exist along a continuum that reflects the ever-changing social landscape. (shrink)

Recent discussions of animal communication and the evolution of language have advocated adopting a ‘pragmatics-first’ approach, according to which “a more productive framework” for primate communication research should be “pragmatics, the field of linguistics that examines the role of context in shaping the meaning of linguistic utterances”. After distinguishing two different conceptions of pragmatics that advocates of the pragmatics-first approach have implicitly relied on, I argue that neither conception adequately serves the purposes of pragmatics-first approaches to the origins of human (...) linguistic communication. My main aim in this paper is to motivate–and begin to articulate–an intermediary conception whose scope is narrower than Carnapian pragmatics but broader than Gricean pragmatics. To do so, I first spell out what I take to be the key insight offered by proponents of the Gricean approach concerning the emergence of linguistic communication, namely, its being communication ‘from a psychological point of view’. I then develop this insight using key elements from the anti-Gricean ‘biosemantic’ account of linguistic communication due to Ruth Millikan, Philosophical Perspectives 9, Ridgeview Publishing, Atascedero CA, 1995, Millikan R Varieties of Meaning. Mass.: The MIT Press, Cambridge, Millikan, Beyond concepts: unicepts, language, and natural information, Oxford University Press, Oxford UK, 2017, and elsewhere). I argue that the intermediary pragmatics-first approach that I propose, which draws on both Gricean and Millikanian resources, would be better equipped to serve the purposes of those who search for potential precursors of human linguistic communication in animal communication. (shrink)

All efforts undertaken so far to establish peace between Israel and the Palestinians have failed to seriously address the right of return of the Palestinian refugees. This failure stemmed from a conviction that the question of historical justice in general had to be avoided. Since justice is a subjective construct, it was argued, allowing it to become a subject of negotiation would only perpetuate the conflict. However, the experience of these peace efforts has shown that without solving the problem of (...) the Palestinian refugees an agreement cannot be reached. And the problem cannot possibly be solved without addressing the key Palestinian demand on this issue — the right of return. For both sides, the right of return, more than any other issue, touches on the essence of their history since the beginning of the conflict between them, and on their future. The national narrative of each side thus centers on its version of the history of the 1948 Arab-Israeli war, in the course of which the Palestinian refugee problem was created. And each side maintains the fundamental belief that its future national existence hinges on whether, and how, the issue of the right of return is resolved. For the Palestinians, the right of return is an inalienable right that defines their national identity and their struggle for liberation. For Israeli Jews, the right of return is perceived as an existential threat to the Jewish character of their society, if not to its very existence. It is not surprising, therefore, that within each of the two societies a national consensus has been built around this issue and that the position of each society seems to stand in complete opposition to that of the other. However, we argue that a morally and politically sound basis could and should be established for a workable solution and that such a basis can be provided by the notion of "transitional justice." Transitional justice stresses two major steps as necessary for reconciliation between parties involved in an historic conflict: recognition and restitution. Recognition entails revealing the historical truth about the injustices committed and according their victims dignity and respect as rights-bearing human beings. Restitution is meant to alleviate some of the material deprivation suffered by the victims and is also a form of recognition. In the Israeli-Palestinian case, recognition by Israel of the right of return would entail its assumption of responsibility for the uprooting of the majority of Palestinian society in 1948. This would satisfy a demand that has become a fundamental element in Palestinian national identity. Recognition would then enable the two parties to enter negotiations over restitution, in particular the implementation of the right of return. In these negotiations, as many Palestinian political leaders have indicated, the concerns of Israeli Jews with their national identity would be taken into account. Only if the fundamental concerns of the two parties, which center on the issue of the right of return, are met can the road towards reconciliation between them be opened. (shrink)

Polarization poses a critical threat to the stability of nations around the world, as it impacts climate change, populism, democracy, and global health. This perspective examines the conceptual understanding, measurement challenges, and potential interventions for polarization. Our analysis highlights the distinction and interactions between the individual and collective levels of polarization, conceptually, methodologically, and in terms of interventions. We conclude by pointing out future directions for understanding polarization and highlighting the interrelations between polarization and other social phenomena. -/- .

According to ethical neo-expressivism, all declarative sentences, including those used to make ethical claims, have propositions as their semantic contents, and acts of making an ethical claim are properly said to express mental states, which (if motivational internalism is correct) are intimately connected to motivation. This raises two important questions: (i) The traditional reason for denying that ethical sentences express propositions is that these were thought to determine ways the world could be, so unless we provide an analysis of ethical (...) terms in terms of natural properties, are we not committed to the Moorean conclusion that ethical sentences describe sui generis “nonnatural” ways the world could be? (ii) If we reject the claim that motivational attitudes constitute any part of the semantics of ethical sentences, are we not committed to denying the intuition behind motivational internalism after all? This chapter argues for negative answers to both of these questions. (shrink)

Brouwer's philosophy of mathematics is usually regarded as an intra-subjective, even solipsistic approach, an approach that also underlies his mathematical intuitionism, as he strived to create a mathematics that develops out of something inner and a-linguistic. Thus, points of connection between Brouwer's mathematical views and his views about and the social world seem improbable and are rarely mentioned in the literature. The current paper aims to challenge and change that. The paper employs a socially oriented prism to examine Brouwer's views (...) on the construction, use, and practice of mathematics. It focuses on Brouwer's views on language, his social interactions, and the importance of group context as they appear in the significs dialogues. It does so by exploring the establishment and dissolution of the significs movement, focusing on Gerrit Mannoury's influence and relationship with Brouwer and analyzing several fragments from the significs dialogues while emphasizing the role Brouwer ascribed to groups in forming and sharing new ideas. The paper concludes by raising two questions that challenge common historical and philosophical readings of intuitionism. (shrink)

On the background of explaining their different notions of analyticity, their different views on definitions, and some aspects of Frege’s notion of sense, three important Kantian strands that interweave into Frege’s view are exposed. First, Frege’s remarkable view that arithmetic, though analytic, contains truths that “extend our knowledge”, and by Kant’s use of the term, should be regarded synthetic. Secondly, that our arithmetical (and logical) knowledge depends on a sort of a capacity to recognize and identify objects, which are given (...) us in particular ways, constituting their senses (Sinne). Third, that there is a sense in which Frege’s view of definitions and explications gives new substance to Kant’s leading idea of analyticity, namely, the containment of a truth or a concept in another. In all these, Frege’s view does not endorse the Kantian strands as they are, but gives them special and sometimes quite sophisticated twists. (shrink)

Brouwer’s intuitionism was a far-reaching attempt to reform the foundations of mathematics. While the mathematical community was reluctant to accept Brouwer’s work, its response to later-developed brands of intuitionism, such as those presented by Hermann Weyl and Arend Heyting, was different. The paper accounts for this difference by analyzing the intuitionistic versions of Brouwer, Weyl, and Heyting in light of a two-tiered model of the body and image of mathematical knowledge. Such a perspective provides a richer account of each story (...) and points to a possible connection between the community’s reaction and the changes each mathematician had proposed. (shrink)

Amaç: Kanserle yaşayan bireylerin (KYB) bakımında, resmiyette görünür olmayan ve çoğunlukla herhangi bir profesyonel donanıma sahip olmayan, ama sürecin başından sonuna, hasta bireye eşlik eden bakım verenler kritik öneme sahiptir. Baş etmesi zor bir hastalık olan kanserle mücadele eden bireylerin bakımında, bakım verenler fiziksel, zihinsel ve sosyal birtakım zorluklarla karşılaşmaktadır. Bu araştırma, KYB’lere bakım veren, yakınlarının karşılaştıkları zorlukları gündeme getirmeyi ve ihtimam etiği perspektifinden, bakım verenlerin bakımına yönelik öneriler sunmayı amaçlamaktadır. Gereç ve Yöntem: Bu araştırma tanımlayıcı ve kesitsel olup araştırmanın (...) evreni Marmara Üniversitesi Pendik Eğitim ve Araştırma Hastanesi (MÜPEAH) Onkoloji kliniğinde takip edilen, 15 Mart-5 Nisan tarihleri arasında kemoterapi ünitesine ve servis hizmetlerine başvuran KYB’lerin bakım veren yakınlarıdır. KYB’lere bakım verenlerin umutsuzluk derecelerini tespit etmek ve bunu etkileyen faktörleri ölçmek için, veri toplama aracı olarak; sosyodemografik sorular, bakım alan bireyin hastalık derecesine yönelik sorular ve Beck Umutsuzluk Ölçeği sorularından oluşan bir anket elden dağıtılmıştır. Anket bakım verene yönelik sosyodemografik sorular 8, KYB’nin hastalığının durumu ile ilgili sorular 7, Beck Umutsuzluk Ölçeği 20 olmak üzere 35 sorudan oluşmaktadır ve yaklaşık 10 dakikada tamamlanmaktadır. Elde edilen veriler önce Microsoft Excel aracılığıyla dijitalleştirilmiş, ardından IBM SPSS 27.0.1 sürümüyle analiz edilmiştir. Verilerin analizinde Ki-kare, Fisher’s Exact testi ve Pearson Korelasyon analizi kullanılmış, istatistiksel anlamlılık değeri için p<0.05 kabul edilmiştir. Bulgular: Ankete katılan 151 bakım verenin 83’ü (%55,3) kadın, 67’si (%44,7) erkektir. Katılımcıların yaş ortalaması 40,09’dur. Bakım verenlerin %41,1’i umutsuzluk düzeyi ölçeğinde “minimal ya da yok”, %39,7'si "hafif düzeyde", %13.2'si orta düzeyde ve %6’sı “aşırı düzeyde” skorunu almıştır. KYB’lere bakım verenlerin demografik özellikleri ile umutsuzluk düzeyi arasında anlamlı bir ilişki bulunmamıştır. Bakım verenlerin yaşı, cinsiyeti, medeni durumu, gelir durumu ve bakım verme süresi ile umutsuzluk skorları arasında anlamlı bir ilişki bulunmazken, eğitim seviyesi ile umutsuzluk skorları arasında anlamlı bir ilişki bulunmuştur. (p=0,019). Sonuç: Bakım verenlerin, umutsuzluk düzeyleri göz önüne alındığında, önemli psikolojik yükler taşıdığına ve bu yükün, özellikle bakım verenin eğitim seviyesi ile hastanın sağlık durumu arasında belirgin ilişkiler gösterdiğine ulaşılmıştır. Bu bilgiler ışığında, sosyodemografik özelliklerin bakım verenleri önemli ölçüde etkilediği görülmüştür. Bakım verenlerin duygusal yükleri, bakım alıcılarla olan ilişkileri ve bu sürecin hem bireysel hem toplumsal düzeyde getirdiği zorluklar ve sorumluluklar, ihtimam etiği kapsamında ele alınmıştır. Araştırma neticesinde bakım verenlerin karşılaştığı zorluklar ve ihtiyaçlarının daha geniş bir toplumsal ve etik perspektiften ele alınmasının gerekliliği ortaya konmuştur. Bakım verenlerin bakımına yönelik öneriler, duygusal destek; teorik eğitim ve bilgilendirme desteği; pratik ve uygulamalı destek; kaynak erişimi ve tahsisi; tanıma ve doğrulama başlıkları altında sunulmuştur. (shrink)

Coronary artery vasospasm (CAVS) is a clinical entity that can cause angina, but also unstable angina pectoris, acute myocardial infarction, fatal arrhythmias, and sudden death. Although it is a condition that is usually controlled with medical treatment, more aggressive treatments may rarely be required. In this case, the patient with a known diagnosis of CAVS had multiple arrests despite optimal medical treatment. We observed that fatal arrhythmias persisted in the Implantable Cardioverter Defibrillator (ICD) records, even though we implanted a stent (...) and gave the patient maximal medical treatment. We performed sympathectomy as a last resort and we did not detect any recurrence in the 6-month follow-up of the patient. ICD implantation and sympathectomy should always be considered in resistant CAVS cases. (shrink)

The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).

The article examines the first Hebrew Encyclopedia of Science, Yesodei ha-Tvunah u-Migdal ha-Emunah, by Medieval Jewish scholar Abraham Bar Hiyya from Saragossa (Iberian peninsula).

Manet's Bar is a very short essay which shows how vision may operate in the scene depicted by Manet's Un bar aux Folies Bergère.

Commentary on Neuhaus and Parent, 'Gene doping--In Animals?' (2019).

The years following Israel’s founding were formative ones for the development of philosophy as an academic discipline in this country. During this period, the distinction between philosophy seen as contiguous with the humanities and social sciences, and philosophy seen as adjacent to the natural and exact sciences began to make its presence felt in the Hebrew University of Jerusalem. This distinction, which was manifest in the curriculum, was by no means unique to the Hebrew University, but reflected the broader bifurcation (...) between two schools of Western philosophy in the twentieth century. In English-speaking countries, it is generally referred to as the divide between analytic and continental philosophy. What was special about the situation at the Hebrew University, however, was that the split manifested itself in a rather small department, being embodied, basically, in one prominent representative of each school – Nathan Rotenstreich and Yehoshua Bar-Hillel. This article will focus on some key aspects of the lives and thought of Rotenstreich and Bar-Hillel. It will address their philosophical maturation as S.H. Bergmann’s students, their views on the goals of twentieth-century philosophy, on the philosopher’s role in public life, and the circumstances under which they started teaching in Jerusalem right after the founding of the State of Israel. (shrink)

“Avowals” are utterances that “ascribe [current] states of mind”; for instance utterances of ‘I have a terrible headache’ and ‘I’m finding this painting utterly puzzling’ (Bar-On 2004: 1). And avowals, “when compared to ordinary empirical reports…appear to enjoy distinctive security” (1), which Bar-On elaborates as follows: A subject who avows being tired, or scared of something, or thinking that p, is normally presumed to have the last word on the relevant matters; we would not presume to criticize her self-ascription or (...) to reject it on the basis of our contrary judgement. Furthermore, unlike ordinary empirical reports, and somewhat like apriori statements, avowals are issued with a very high degree of confidence and are not easily subjected to doubt. (3) The project of this ambitious, original, and challenging book is to explain why avowals have this distinctive security. Bar-On’s guiding idea is that avowals “can be seen as pieces of expressive behavior, similar in certain ways to bits of behavior that naturally express subjects’ states” (227). Crying and moaning are natural expressions of pain, yawning is a natural expression of tiredness, reaching for beer is a natural expression of the desire for beer, and so on. In some important sense, avowals are supposed to be like that. In what sense, though? It will be useful to begin with the simplest answer. (shrink)

This article gives an overview of Mesmer's theory.

The main discourses on art during the nineteenth century defined the artist as a spirit that should express their unbridled creativity, and overall that had the strength to express its total personal autonomy from institutional processes of culture. Thus, Manet’s work A bar at the Folies—Bergere contains substantial elements that express and help us to understand both the role of the artist, as the crisis of meaning in the work of modern art and problematic public sphere, treated by Haberma's as (...) the field of social life in which we can develop our public opinion, and that is determined by common sense and rational consensus. In this sense, this article leverages how A bar at the Folies—Bergere questions the social representation of not only the public but the legitimizing institutions that support an artistic truth, to point to an x—ray that presents the structure and the gap between the public and artists, between artistic expression and cultural significance, and thus presents the cultural crisis warned by artists. (shrink)

In its recent opinion in Intel v. Sulyma, the U.S. Supreme Court clarified what qualifies as the “actual knowledge” required to trigger ERISA’s three-year statutory period. The Court’s opinion, however, left open whether establishing “actual knowledge” by a plaintiff in one case serves to time-bar otherwise timely suits that challenge subsequent breaches of the same character. This article argues that, under the continuing fiduciary duty analysis that the Court set forth in Tibble v. Edison, such suits should not be deemed (...) untimely. (shrink)

This is a public philosophy piece that explores aspects of Kant's theory of the highest good, art, and hope.

From Basil Fawlty, The Little Tramp and Frank Spencer; to Jim Carey, Andy Kaufman and Rowan Atkinson... comedy characters and comic actors have proved useful lenses for exploring—and exposing—humor’s cultural and political significance. Both performing as well as chastising cultural values, ideas and beliefs, the comic character gives a unique insight into latent forms of social exclusion that, in many instances, can only ever be approached through the comic form. It is in examining this comic form that this paper will (...) consider how the ‘comedy character’ presents a unique, subversive significance. Drawing from Lacanian conceptions of the subject and television ‘sitcom’ examples, the emancipatory potential of the comedy character will be used to criticize the predominance of irony and satire in comic displays. Indeed, while funny, it will be argued that such comic examples underscore a deprivative cynicism within comedy and humor. Countering this, it will be argued that a Lacanian conception of the subject can profer a comic efficacy that not only reveals how our social orders are inherently inconsistent and open to subversive redefinition, but that these very inconsistencies are also echoed in the subject, and, in particular, the ‘true comedy character’. (shrink)

Dorit Bar-On aims to account for the distinctive security of avowals by appealing to expression. She officially commits herself only to a negative characterization of expression, contending that expressive behavior is not epistemically based in self-judgments. I argue that her account of avowals, if it relies exclusively on this negative account of expression, can't achieve the explanatory depth she claims for it. Bar-On does explore the possibility that expression is a kind of perception-enabling showing. If she endorsed this positive account, (...) her argument would re-gain an explanatory advantage over its rivals. But extending this account to linguistic expressive behavior would bring Bar-On very close to constitutive accounts of first-person authority. (shrink)

This paper examines theories of first person authority proposed by Dorit Bar-On (2004), Crispin Wright (1989a) and Sydney Shoemaker (1988). What all three accounts have in common is that they attempt to explain first person authority by reference to the way our language works. Bar-On claims that in our language self-ascriptions of mental states are regarded as expressive of those states; Wright says that in our language such self-ascriptions are treated as true by default; and Shoemaker suggests that they might (...) arise from our capacity to avoid Moore-paradoxical utterances. I argue that Bar-On’s expressivism and Wright’s constitutive theory suffer from a similar problem: They fail to explain how it is possible for us to instantiate the language structures that supposedly bring about first person authority. Shoemaker’s account does not suffer from this problem. But it is unclear whether the capacity to avoid Moore-paradoxical utterances really yields self-knowledge. Also, it might be that self-knowledge explains why we have this capacity rather than vice versa. (shrink)

What Bar-On and Simmons call 'Conceptual Deflationism' is the thesis that truth is a 'thin' concept in the sense that it is not suited to play any explanatory role in our scientific theorizing. One obvious place it might play such a role is in semantics, so disquotationalists have been widely concerned to argued that 'compositional principles', such as -/- (C) A conjunction is true iff its conjuncts are true -/- are ultimately quite trivial and, more generally, that semantic theorists have (...) misconceived the relation between truth, meaning, and logic. This paper argues, to the contrary, that even such simple compositional principles as (C) have substantial content that cannot be captured by deflationist 'proofs' of them. The key thought is that (C) is supposed, among other things, to affirm the truth-functionality of conjunction and that disquotationalists cannot, ultimately, make sense of truth-functionality. -/- This paper is something of a companion to "The Logical Strength of Compositional Principles". (shrink)

The importance of contextual reasoning is emphasized by various researchers in AI. (A partial list includes John McCarthy and his group, R. V. Guha, Yoav Shoham, Giuseppe Attardi and Maria Simi, and Fausto Giunchiglia and his group.) Here, we survey the problem of formalizing context and explore what is needed for an acceptable account of this abstract notion.

Sentada en un bar, mientras Simone de Beauvoir lee mi artículo de la semana pasada, la miro. Ninguna madre burguesa tendría de qué quejarse: la señora Beauvoir tiene una blusa cuidadosamente planchada; está fresca como una rosa, su rostro es terso y limpio, de ella emana un discreto perfume, es verdaderamente perfecta. Su rebelión contra su familia y su entorno, tan bien descrita en las Memorias de una joven formal, no se muestra en los detalles de la vestimenta. No, definitivamente, (...) Simone de Beauvoir no tiene la agresividad "amazónica" al límite. (shrink)

Formalizing commonsense knowledge for reasoning about time has long been a central issue in AI. It has been recognized that the existing formalisms do not provide satisfactory solutions to some fundamental problems, viz. the frame problem. Moreover, it has turned out that the inferences drawn do not always coincide with those one had intended when one wrote the axioms. These issues call for a well-defined formalism and useful computational utilities for reasoning about time and change. Yoav Shoham of Stanford (...) University introduced in his 1986 Yale doctoral thesis an appealing temporal nonmonotonic logic and identified a class of theories, causal theories, which have computationally simple model-theoretic properties. This paper is a study towards building upon Shoham's work on causal theories. We concentrate on improving computational aspects of causal theories while preserving their model-theoretic properties. (shrink)

We extend causal theories and study actions in domains involving multiple agents. Causal theories, invented by Yoav Shoham, are based on a temporal nonmonotonic logic and have computationally tractable aspects. Since Shoham's formalism does not provide an adequate mechanism for representing simultaneous actions and specifying their consequences, we introduce the notion of counteractions while preserving the efficiency and model-theoretic properties of causal theories.

A model-theoretic realist account of science places linguistic systems and their corresponding non-linguistic structures at different stages or different levels of abstraction of the scientific process. Apart from the obvious problem of underdetermination of theories by data, philosophers of science are also faced with the inverse (and very real) problem of overdetermination of theories by their empirical models, which is what this article will focus on. I acknowledge the contingency of the factors determining the nature – and choice – of (...) a certain model at a certain time, but in my terms, this is a matter about which we can talk and whose structure we can formalise. In this article a mechanism for tracing "empirical choices" and their particularized observational-theoretical entanglements will be offered in the form of Yoav Shoham's version of non-monotonic logic. Such an analysis of the structure of scientific theories may clarify the motivations underlying choices in favor of certain empirical models (and not others) in a way that shows that "disentangling" theoretical and observation terms is more deeply model-specific than theory-specific. This kind of analysis offers a method for getting an articulable grip on the overdetermination of theories by their models – implied by empirical equivalence – which Kuipers' structuralist analysis of the structure of theories does not offer. (shrink)

This paper outlines a quantitative theory of strongly semantic information (TSSI) based on truth-values rather than probability distributions. The main hypothesis supported in the paper is that the classic quantitative theory of weakly semantic information (TWSI), based on probability distributions, assumes that truth-values supervene on factual semantic information, yet this principle is too weak and generates a well-known semantic paradox, whereas TSSI, according to which factual semantic information encapsulates truth, can avoid the paradox and is more in line with the (...) standard conception of what generally counts as semantic information. After a brief introduction, section two outlines the semantic paradox implied by TWSI, analysing it in terms of an initial conflict between two requisites of a quantitative theory of semantic information. In section three, three criteria of semantic information equivalence are used to provide a taxonomy of quantitative approaches to semantic information and introduce TSSI. In section four, some further desiderata that should be fulfilled by a quantitative TSSI are explained. From section five to section seven, TSSI is developed on the basis of a calculus of truth-values and semantic discrepancy with respect to a given situation. In section eight, it is shown how TSSI succeeds in solving the paradox. Section nine summarises the main results of the paper and indicates some future developments. (shrink)

In this paper, we argue that, barring a few important exceptions, the phenomenon we refer to using the expression “being moved” is a distinct type of emotion. In this paper’s first section, we motivate this hypothesis by reflecting on our linguistic use of this expression. In section two, pursuing a methodology that is both conceptual and empirical, we try to show that the phenomenon satisfies the five most commonly used criteria in philosophy and psychology for thinking that some affective episode (...) is a distinct emotion. Indeed, being moved, we claim, is the experience of a positive core value (particular object) perceived by the moved subject as standing out (formal object) in the circumstances triggering the emotion. Drawing on numerous examples, we describe the distinctively rich phenomenology characteristic of the experience as well as the far-reaching action-tendencies and functions associated with it. Having thus shown that the candidate emotion seem to satisfy the five criteria, we go on, in section three, to compare it with sadness and joy, arguing that it should not be confused with either. Finally, in section four, we illustrate the explanatory power of our account of “being moved” by showing how it can shed light on, and maybe even justify, the widespread distrust we feel towards the exhibition of ‘sentimentality’. On the whole and if we are right, we have uncovered an emotion which, though never or rarely talked about, is of great interest and no small importance. (shrink)

After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.

This paper consider Prior's connective Tonk from a particular bilateralist perspective. I show that there is a natural perspective from which we can see Tonk and its ilk as perfectly well-defined pieces of vocabulary; there is no need for restrictions to bar things like Tonk.

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are used to (...) produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

We will flip a fair coin infinitely many times. Al calls the first flip, claiming it will land heads. Betty calls every odd numbered flip, claiming they will all land heads. Carl calls every flip bar none, claiming they will all land heads. Pre-theoretically, it seems that Al's claim is infinitely more likely than Betty's, and that Betty's claim is infinitely more likely than Carl's. But standard, real-valued probability theory says that, while Al's claim is infinitely more likely than Betty's, (...) Betty's claim is exactly as likely as Carl's. I use John Conway's surreal numbers to capture these pre-theoretic judgements about the relative probabilities of Al's, Betty's, and Carl's claims. Surreal-valued probabilities also allow us to calculate precise numerical values for those claims. For instance, we will see that Betty's claim has a probability equal to the reciprocal of the product of the square root of cardinality of the continuum and the fourth root of 2. The article provides a 'user's guide' to surreal-valued probabilities and raises questions for further research. (shrink)

Some have suggested that images can be arguments. Images can certainly bolster the acceptability of individual premises. We worry, though, that the static nature of images prevents them from ever playing a genuinely argumentative role. To show this, we call attention to a dilemma. The conclusion of a visual argument will either be explicit or implicit. If a visual argument includes its conclusion, then that conclusion must be demarcated from the premise or otherwise the argument will beg the question. If (...) a visual argument does not include its conclusion, then the premises on display must license that specific conclusion and not its opposite, in accordance with some demonstrable rationale. We show how major examples from the literature fail to escape this dilemma. Drawing inspiration from the graphical logic of C. S. Peirce, we suggest instead that images can be manipulated in a way that overcomes the dilemma. Diagrammatic reasoning can take one stepwise from an initial visual layout to a conclusion—thereby providing a principled rationale that bars opposite conclusions—and the visual inscription of this correct conclusion can come afterward in time—thereby distinguishing the conclusion from the premises. Even though this practical application of Peirce’s logical ideas to informal contexts requires that one make adjustments, we believe it points to a dynamic conception of visual argumentation that will prove more fertile in the long run. (shrink)

To clarify the proper role of values in science, focusing on controversial expert responses to Covid-19, this article examines the status of (in)convenient hypotheses. Polarizing cases like health experts downplaying mask efficacy to save resources for healthcare workers, or scientists dismissing “accidental lab leak” hypotheses in view of potential xenophobia, plausibly involve modifying evidential standards for (in)convenient claims. Societies could accept that scientists handle (in)convenient claims just like nonscientists, and give experts less political power. Or societies could hold scientists to (...) a higher bar, by expecting them not to modify evidential standards to avoid costs only incidentally tied to error. (shrink)

Rather than answering the broad question, ‘What is a just income?’, in this essay I consider one component of income—economic rent—under one understanding of justice—as giving people what they deserve. As it turns out, the answer to this more focused question is ‘no’. People do not deserve their economic rents, and there is no bar of justice to their confiscation. After briefly covering the concept of desert and explaining what economic rents are, I analyze six types of rent and show (...) that each is unjustified from the point of view of desert. I conclude by drawing some political and economic lessons from the preceding analysis, and by describing how these considerations can create a more just and efficient economy. (shrink)