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

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

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.

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

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.

Many voices and stories have been systematically silenced in interpersonal conversations, political deliberations and historical narratives. Recalcitrant and interrelated patterns of epistemic, political, cultural and economic marginalisation exclude individuals as knowers, citizens, agents. Two questions lie at the centre of this article, which focuses on the epistemically – but also politically, culturally and economically – dominant: How can we sabotage the dominant’s investment in their own ignorance of unjust silencing? How can they be seduced to become acute perceivers of others’ (...) experiences of oppression and reckon with their own participation in it? Situated at the intersection between political theory, aesthetics and epistemology, this article contributes a so-far-unexplored suggestion: that certain literary works create epistemic friction between shared, entrenched prejudices on the one hand, and representations of epistemic exclusion or authority, on the other. Their power to illuminate ideational, moral and experiential limitations makes them valuable tools in problematising, rendering visible and dislocating epistemic injustice, as well as other marginalisations it intersects with. To advance this argument, the article relies on insights from aesthetics, unpacking fiction’s multidimensional epistemic potential. Audre Lorde exemplifies literary works’ ability to seductively sabotage bias and provide audiences with prosthetic visions of unfamiliar experiences of marginalisation. (shrink)

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.

Michael Dummett's argument for intuitionism can be criticized for the implicit reliance on the existence of what might be called absolutely undecidable statements. Neil Tennant attacks epistemic optimism, the view that there are no such statements. I expose what seem serious flaws in his attack, and I suggest a way of defending the use of classical logic in arithmetic that circumvents the issue of optimism. I would like to thank an anonymous referee for helpful comments. CiteULike Connotea Del.icio.us What's this?

We develop an abstract proof calculus for logics whose sentences are ‘Horn sentences’ of the form: $(\forall X)H \Rightarrow c$ and prove an institutional generalization of Birkhoff completeness theorem. This result is then applied to the particular cases of Horn clauses logic, the ‘Horn fragment’ of preorder algebras, order-sorted algebras and partial algebras and their infinitary variants.

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)

The paper discusses the issue of interpersonal understanding by comparing ordinary and cinematographic experience. Recent theories of interpersonal understanding turn out to be either inconclusive or insufficient to account for the heterogeneous ways in which we get mental and emotional states of other persons. The paper advances a view of the film medium by drawing on Stanley Cavell, which is reinforced by Wittgenstein’s and Merleau-Ponty’s convergent accounts of cinematographic perception. Against this background, interpersonal understanding turns out to be permeated by (...) the expressivity of human appearance – an aspect easily overlooked by the mentioned theories, which is yet brought forward most perspicuously by cinema. (shrink)

It can be argued that only the equational theories of some sub-elementary function algebras are finitistic or intuitive according to a certain interpretation of Hilbert's conception of intuition. The purpose of this paper is to investigate the relation of those restricted forms of equational reasoning to classical quantifier logic in arithmetic. The conclusion reached is that Edward Nelson's ‘predicative arithmetic’ program, which makes essential use of classical quantifier logic, cannot be justified finitistically and thus requires a different philosophical foundation, possibly (...) as a restricted form of logicism. (shrink)

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)

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)

Over the last two centuries, the relationship between philosophy and science has completely broken down, so the question we are confronted with is: How can we develop a new philosophy, which will influence science decisively? The physicists of the last century rejected their contemporary philosophy. They considered that “philosophy today is dead” (Hawking and Mlodinow 2010). However, we believe that the great scientific problems are always philosophical, and only philosophical problems. Therefore, these problems can be solved only by philosophers and (...) scientists who operate at the greatest level of thinking: that of the “paradigm of thinking”. In fact, these great scientific problems can usually be solved by changing the “paradigm of thinking” for scientists. This book furnished more applications of the “epistemologically different worlds” (that replaced the “world”/”universe” – in their previous books (2008, 2010, 2011, etc.), the authors indicated that the notion of the world/universe is wrong). Following Aristotle’s “Prime Mover” (or the “Unmoved Mover”), we stop the regress ad infinitum by discovering the first EW, the EW0 (the Hypernothing). Even if one EW does not exist for any EDW, the Hypernothing was the first EW and all other EDWs correspond to the EW0. Chapter 2 is about the “Hypernothing”. The other chapters continue our works of applying the EDWs to different concepts/areas of Physics: quantum mechanics, elementary particles, thermodynamics (with its main notion, “entropy”), etc. In the last chapter, knowing that Einstein’s special and general theory of relativity are very correct (but in a book 2016 we showed that “spacetime” cannot ontologically exist), we re-write both theories without “spacetime”. Content, Introduction and Chapter 1, FREE at https://www.amazon.com/s/ref=nb_sb_noss_1?url=search-alias%3Daps&field-keywords=gabriel+vacariu&rh=i %3Aaps%2Ck%3Agabriel+vacariu . (shrink)

In the Critique of the Power of Judgment, Kant remarks that the feeling of the dynamically sublime is actually conditioned and that its foundation is the moral feeling, which he addressed in the Critique of Practical Reason. In order to elucidate those transient yet significant remarks, this paper confronts the analytic of the dynamically sublime from the third Critique with the analytic of the moral feeling from the second Critique. By uncovering an architectonic, constitutive and structural kinship between the two (...) feelings, the paper contributes to the reconsideration of the relation between Kant’s aesthetics and his ethics. (shrink)

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)

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)

Simple observations on diophantine definability over finite commutative rings lead to a characterization of those rings in terms of their diophantine behavior.

We prove that all infinite Boolean rings have the property P ≠ NP according to the digital nondeterminism.

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)