Relations between some theories of semigroups (also known as theories of strings or theories of concatenation) and arithmetic are surveyed. In particular Robinson's arithmetic Q is shown to be mutually interpretable with TC, a weak theory of concatenation introduced by Grzegorczyk. Furthermore, TC is shown to be interpretable in the theory F studied by Tarski and Szmielewa, thus confirming their claim that F is essentially undecidable.

Tracing the interrelationship among play, poetic imitation, and power to the Hellenic world, Mihai I. Spariosu provides a revisionist model of cultural change in Greek antiquity. Challenging the traditional and static distinction made between archaic and later Greek culture, Spariosu's perspective is grounded in a dialectical understanding of values whose dominance depends on cultural emphasis and which shifts through time. Building upon the scholarship of an earlier volume, Dionysus Reborn, Spariosu her continues to draw on Dionysus--the "God of many (...) names," of both poetic play and sacred power--as a mythical embodiment of the two sides of the classical Greek mentality. Combining philosophical reflection with close textual analysis, the author examines the divided nature of the Hellenic mentality in such primary canonic texts as the Iliad, the Odyssey, the Theogony, Works and Days, the most well-known of the Presocratic fragments, Euripides' Bacchae, Aristophanes' The Frogs, Plato's Republic and Laws, and Aristotle's Poetics and Politics. Spariosu's model illuminates the many of the most enduring questions in contemporary humanistic study and addresses modern questions about the nature of the interrelation of poetry, ethics, and politics. (shrink)

Introduction: Play, Power, and the Western Mentality Whereas play has always had an important, if sometimes unthemat- ized, role in Western literary ...

Vehement resentment and indignation are rife in societies emerging from dictatorship or civil conflict. How should institutions deal with these emotions? Arguing for the need to recognize and constructively engage negative public emotions, Mihaela Mihai contributes theoretically to the growing field of transitional justice. Drawing on an extensive philosophical literature and case studies of democratic transitions in South Africa, South America, and Eastern Europe, her book rescues negative emotions from their bad reputation and highlights the obstacles and the opportunities (...) such emotions create for democracy. By valorizing negative emotions, either through the judicial review of transitional justice bills or the criminal trials of victimizers, institutions realize the value of respect and concern for all while contributing to a public culture hospitable to democracy. (shrink)

Recent years have witnessed a search for new sources for archaeological inspiration within areas which until recently have not been imagined as a source for science. Archaeology has become more â oeanthropologizedâ, and, as such, is becoming increasingly influenced by the Zeitgeist, although some European schools are yet to recognize this. The process of scientific research that archaeologists have always considered to be an objective approach has been revealed to be the result of different subjective cognitive processes, forming part of (...) the contemporary humanistic paradigm, a fact confirmed by new tendencies in contemporary archaeology. Consequently, this book considers the question: how does the archaeologist think today? Beginning with simple analogies issued from archaeological experiments or from ethnography, the structure of the contemporary archaeological thought is increasingly complex, working today with concepts that only yesterday were a subject of study. This book considers these new types of approaches, through a series of personal narratives provided by archaeologists, describing their working methods in the process of imagining the past. (shrink)

Proof-theoretic semantics (P-tS) is an innovative approach to grounding logical meaning in terms of proofs rather than traditional truth-conditional semantics. The point is not that one provides a proof system, but rather that one articulates meaning in terms of proofs and provability. To elucidate this paradigm shift, we commence with an introduction that contrasts the fundamental tenets of P-tS with the more prevalent model-theoretic approach to semantics. The contribution of this paper is a P-tS for a substructural logic, intuitionistic multiplicative (...) linear logic (IMLL). Specifically, we meticulously examine and refine the established P-tS for intuitionistic propositional logic. Subsequently, we present two novel and comprehensive forms of P-tS for IMLL. Notably, the semantics for IMLL in this paper embodies its resource interpretation through its number-of-uses reading (restricted to atoms). This stands in contrast to the conventional model-theoretic semantics of the logic, underscoring the value that P-tS brings to substructural logics. (shrink)

The introduction of experimental techniques as a tool of philosophical investigation has created quite a stir in analytic philosophy in the last two decades. Experimental results have shed a new light on traditional debates in various fields and have led to a reappraisal of the use and merits of various methods and types of arguments in philosophy. This paper provides an overview of the central debate regarding Machery et al.’s results and conclusions about the interplay between theory and various methods (...) that are supposed to provide evidence for (a certain) theory. The debate is connected with the initial setting of the question of reference and, more generally, with the main staples of the philosophy of language. A large part of the paper is devoted to a discussion of the most important arguments and perspectives that have been developed or reformulated as a result of the debate on experimental philosophy. The final aim of the discussion is to provide a basic description of the contemporary landscape of philosophy of language and related epistemology, to inform future research designs and developments. (shrink)

The point of view expressed in the present research is directed towards the ideational “torsion” from rationalism to the “language-games” drawing up an analysis according to which one can notice the rationalist and post-rationalist aspects in the philosophy of communication, and the consequences of these perspectives, which could be of great interest as regards the philosophical concepts related to communication, to man or to the human community. As a matter of fact, “the torsion” is only apparent; it cannot hold a (...) dramatic change of the thinking range, from “rationalism” to “neo-positivism”, as regards the comment on Habermas’ theory of communication, as compared to Wittgenstein’s ideas about “the language-games” as central elements of human communication. Jürgen Habermas manifest a specific turn in his way of thinking, aiming at the contemporary modulation of the rationalist approach by means of inter-subjectivism orhumanism, and stressing the modulation of the logical approach, by means of “language-games” and “life-forms.”. (shrink)

Ars cogitandi is not the monopoly of a school, a people or an age, but it has crossed over the centuries and cardinal points, from the Platonic Academy of Athens to the Finnish University set up at Turku in 1640 and set down for good and for all at Helsingfors (the ancient name for Helsinki) in the year 1828. Ars cogitandi asphilosophy got here as a distinct brilliance following the classical Anglo-Saxon tradition of empiricism, represented at that time by Edward (...) Westermarck (1862–1939), who was professor of practical philosophy in Helsinki and professor of sociology at London School of Economics from 1907 until 19301. The Finnish School of Philosophy acquired its decisive acknowledgement by Eino Kaila, great scholar and chief of the school, who brought over to Finland the modern logic and the philosophy of the Vienna Circle. (shrink)

The author argues that for the last 2,500 years, the science concerning the universe (o kosmoV) has been based on two metaphysical intuitions—the atomic one for more than 2,400 years, and the string intuition in the second half of the twentieth century.

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use (...) the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS. (shrink)

Mihaela Mihai on the tension between some public art and the commitments of a liberal democracy.

The main aim of this paper is to provide a critical discussion of some key issues concerning the possible-world analysis of fiction. After a review of the most important philosophical questions concerning truth, reference, names and identity, and their bearing on fiction, I outline the possible-world framework, as used by David Lewis (1978) in his analysis, and examine its most important problems. A special interest is granted to the limits of the Lewisian pretense interpretation of fiction that are highlighted by (...) works of cinema. I conclude with an appraisal of the puzzles generated by the attempts to draw borders between and within the worlds of fiction, and emphasize the need for a better mutual understanding of the two perspectives that are essential for a possible-world interpretation of fiction: literary theory and philosophy. (shrink)

The reductive, as opposed to deductive, view of logic is the form of logic that is, perhaps, most widely employed in practical reasoning. In particular, it is the basis of logic programming. Here, building on the idea of uniform proof in reductive logic, we give a treatment of logic programming for BI, the logic of bunched implications, giving both operational and denotational semantics, together with soundness and completeness theorems, all couched in terms of the resource interpretation of BI’s semantics. We (...) use this set-up as a basis for exploring how coalgebraic semantics can, in contrast to the basic denotational semantics, be used to describe the concrete operational choices that are an essential part of proof-search. The overall aim, toward which this paper can be seen as an initial step, is to develop a uniform, generic, mathematical framework for understanding the relationship between the deductive structure of logics and the control structures of the corresponding reductive paradigm. (shrink)

Theoria, Volume 87, Issue 5, Page 1322-1341, October 2021.

With this nuanced and interdisciplinary work, political theorist Mihaela Mihai tackles several interrelated questions: How do societies remember histories of systemic violence? Who is excluded from such histories' cast of characters? And what are the political costs of selective remembering in the present? Building on insights from political theory, social epistemology, and feminist and critical race theory, Mihai argues that a double erasure often structures hegemonic narratives of complex violence: of widespread, heterogeneous complicity and of "impure" resistances, not (...) easily subsumed to exceptionalist heroic models. In dialogue with care ethicists and philosophers of art, she then suggests that such narrative reductionism can be disrupted aesthetically through practices of "mnemonic care," that is, through the hermeneutical labor that critical artists deliver—thematically and formally—within communities' space of meaning. Empirically, the book examines both consecrated and marginalized artists who tackled the memory of Vichy France, communist Romania, and apartheid South Africa. Despite their specificities, these contexts present us with an opportunity to analyze similar mnemonic dynamics and to recognize the political impact of dissenting artistic production. Crossing disciplinary boundaries, the book intervenes in debates over collective responsibility, historical injustice, and the aesthetics of violence within political theory, memory studies, social epistemology, and transitional justice. (shrink)

His philosophical thinking was influenced by his legal knowledge, but when reading carefully his articles and papers we can notice a detachment from the philosophical premises in the development of the concepts of law. Like Del Vecchio, Djuvara makes no difference between law and philosophy and therefore the legal philosophy looks like a completion of law, these two concepts being comprehended only by a general, epistemological and philosophical approach; the issues related to the philosophy of law are not only isolated (...) from the big philosophical issues but there are closely related to them so that the philosophy of lawintegrates completely in the general philosophy. (shrink)

Assuming that all cultures have gender roles, religion affects women differently than men. What have Catholic women’s religious lives, roles, and images been like? Although all women share a common experience of being women, differences of class, race, religion, culture, and sexual orientation separate them, and therefore taking into account women’s experiences and views can be a difficult task in complex religious contexts. Religious practices have different significance to men and women and their engagement is different. In foraging and horticultural (...) societies, women and men have more egalitarian and complementary roles and women play significant roles in religion – while in agrarian societies the situation is quite different. Large denominations such as Roman Catholicism, the Eastern Orthodox Church, and Orthodox Judaism are strongly against the ordination of women to sacramental ministry. Catholic women are left with a God with whom they cannot identify and who cannot identify with them. (shrink)

In order to study the intelligent collection system of moving object trajectory data under cloud computing, information useful to passengers and taxi drivers is collected from massive trajectory data. This paper uses cloud computing technology, through clustering algorithm and density-based DBSCAN algorithm combined with Map Reduce programming model and design trajectory clustering algorithm. The results show that based on the 8-day data of 15,000 taxis in Shenzhen, the characteristic time period is determined. The passenger hot spot area is obtained by (...) clustering the passenger load points in each time period, which verifies the feasibility of the passenger load point recommendation application based on trajectory clustering. Therefore, in the absence of holidays, the number of passenger hotspots tends to be stable. It is reliable to perform cluster analysis. The recommended application has been demonstrated through experiments, and the implementation results show the rationality of the recommended application design and the feasibility of practice. (shrink)

Classical results of additive number theory lead to the undecidability of the existence of solutions for diophantine equations in given special sets of integers. Those sets which are images of polynomials are covered by a more general result in the second section. In contrast, restricting diophantine equations to images of exponential functions with natural bases leads to decidable problems, as proved in the third section.

The fall of the Berlin Wall stood for a symbol of change and freedom across the socialist bloc and inspired the inhabitants in Eastern Europe to take action and revolt against dictatorial regimes. A long and often painful process of social, economic and political transformation began. Scholars grouped their research dealing with such transformations under the label of “Transitology” and the developing subfields of “transitional justice” and “memory studies” expanded and caught the academic interest. The present argument looks at the (...) emergence and evolvement of these fields in parallel with a growing and changing society. (shrink)

In [2] John Burgess describes predicative versions of Frege's logic and poses the problem of finding their exact arithmetical strength. I prove here that PV, the simplest such theory, is equivalent to Robinson's arithmetical theory Q.

We show that the set of natural numbers has an exponential diophantine definition in the rationals. It follows that the corresponding decision problem is undecidable.

Finitism is given an interpretation based on two ideas about strings (sequences of symbols): a replacement principle extracted from Hilberts class 2 can be justified by means of an additional finitistic choice principle, thus obtaining a second equational theory . It is unknown whether is strictly stronger than since 2 may coincide with the class of lower elementary functions.

This essay’s starting point is Judith Shklar’ diagnosis of a pathology marring democratic societies: complex injustices passing as “misfortunes” that nobody feels responsible for. I propose that denunciations can reveal the political nature of the suffering that everyone conveniently ignores, thus advancing democratic accountability. While denunciations can target various invisible injustices and take many forms, this essay deals with the case of societies with an unmastered past of violence. In order to avoid taking responsibility for the plight of victims, the (...) past is often redescribed in the language of “catastrophe” or “necessity.” Building on Hannah Arendt’s views on spectatorship and storytelling, this essay analyses theatrical denunciations addressing the wider community. Theatre—professional or amateur—can repoliticise neutralised areas of social interaction and transform passive onlookers into reflective spectators. The Argentinean performance of escraches and Thomas Bernhard’s play Heldenplatz are discussed as examples of successful political denunciations communicated in dramaturgical form. (shrink)

Journal of Social Philosophy, EarlyView.

In this paper, I discuss the main characteristics of the epistemology of modal rationalism by proceeding from the critical investigation of Peacocke’s theory of modality. I build on arguments by Crispin Wright and Sonia Roca-Royes, which are generalised and supplemented by further analysis, in order to show that principle-based accounts have little prospects of succeeding in their task of providing an integrated account of the metaphysics and the epistemology of modality. I argue that it is unlikely that we will able (...) to develop an exhaustive and accurate principle-based account that discriminates objectively between correct and deviant modal knowledge. Even if such an account can be formulated, a non-circular way of justifying its necessity also seems to be out of our reach. (shrink)

The objection from the insolvability of principle-based modal disagreements appears to support the claim that there are no objective modal facts, or at the very least modal facts cannot be accounted for by modal rationalist theories. An idea that resurfaced fairly recently in the literature is that the use of ordinary empirical statements presupposes some prior grasp of modal notions. If this is correct, then the idea that we may have a total agreement concerning empirical facts and disagree on modal (...) facts, which is the starting point of the objection from the insolvability of modal disagreement, is undercut. This paper examines the no-separation thesis and shows that some of the arguments against the classical (empiricist) distinction between empirical and modal statements fail to be conclusive if they are taken to defend a strong notion of metaphysical possibility. The no-separation thesis appears to work only in theoretical frameworks where metaphysical modalities are considered (broadly) conceptual. For these reasons, the no-separation thesis cannot save modal rationalism from the insolvability of modal disagreement. (shrink)

When referring to values as “general principles of desirability” or as “social cohesion binders”, one should bear in mind that such notions contribute decisively to the shaping and crystallization of social representations. It would be improper to believe that there may be in-depth studies upon people, ideas and events, as this approach disregards the fact that social representations have the capacity of being strongly anchored in the dynamics of relational processes, to the symbolic relationships specific to a given social field, (...) to the values that constitute the eloquent expression of this dynamics and this specific field of research. An eloquent example in this respect is the way in which the social representation of leaders appears; data show that there is harmony between the image of power the leaders have or could have and the axiological dimensions of the group participating in the elaboration of such an image. (shrink)