Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to (...) computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications. The authors show that set theory and number theory can be developed within the framework of a new, different, and simple equational formalism, closely related to the formalism of the theory of relation algebras. There are no variables, quantifiers, or sentential connectives. Predicates are constructed from two atomic binary predicates (which denote the relations of identity and set-theoretic membership) by repeated applications of four operators that are analogues of the well-known operations of relative product, conversion, Boolean addition, and complementation. All mathematical statements are expressed as equations between predicates. There are ten logical axiom schemata and just one rule of inference: the one of replacing equals by equals, familiar from high school algebra. Though such a simple formalism may appear limited in its powers of expression and proof, this book proves quite the opposite. The authors show that it provides a framework for the formalization of practically all known systems of set theory, and hence for the development of all classical mathematics. The book contains numerous applications of the main results to diverse areas of foundational research: propositional logic; semantics; first-order logics with finitely many variables; definability and axiomatizability questions in set theory, Peano arithmetic, and real number theory; representation and decision problems in the theory of relation algebras; and decision problems in equational logic. (shrink)

The prospect, in terms of subjective expectations, of immortality under the no-collapse interpretation of quantum mechanics is certain, as pointed out by several authors, both physicists and, more recently, philosophers. The argument, known as quantum suicide, or quantum immortality, has received some critical discussion, but there hasn't been any questioning of David Lewis's point that there is a terrifying corollary to the argument, namely, that we should expect to live forever in a crippled, more and more damaged state, that barely (...) sustains life. This is the prospect of eternal quantum torment. Based on some empirical facts, I argue for a conclusion that is much more reassuring than Lewis's terrible scenario.1. (shrink)

‘Disruptive technologies’ is a euphemism for new technologies released lacking adequate regulation, causing significant unemployment and costly, inefficient additional labour. So it stands with LLMs. They output lookalikes of authored writing. Most output remixes existing materials, effectively stealing, since lacking understanding and intention original meaning is not added. LLMs enable low-cost, high-reward dishonesty. Students attempt to submit these products as their own texts. Some in education propose to use LLMs to allow students to generate text and then revise it. This (...) is feasible in groups small enough to ensure that students can be monitored continuously and substantially rewrite the texts while reflecting on the editing process. However, such highlighting of what is important about rewriting tasks reveals that LLMs do not add value to such activities. The recommended policy is to restrict and regulate LLMs. This protects jobs; it ensures that students have to develop skills that enhance their agency and their character development; and alleviates the problem of massive scale intellectual property misuse. Resistance to AI is urgent: no company promoting it will back down from doing so, no matter the risks of their products. This is a case of a game where one agent will never cooperate, and both agents endorse incompatible value sets. Consequently, no group potentially adversely affected should have qualms about intense opposition and has a duty to lobby for regulation and conditional supervised rollout of LLMs. (shrink)

Intercultural Pragmatics studies how language systems are used in social encounters between speakers who have different first languages and cultures, yet communicate in a common language. The field first emerged in the early 21st century, joining two seemingly antagonistic approaches to pragmatics research: the cognitive-philosophical approach, which considers intention as an a priori mental state of the speaker, and the sociocultural-interactional approach, which considers it as a post factum construct created by both speaker and hearer though conversation. Istvan Kecskes, an (...) early proponent of intercultural pragmatics, was among the first to propose merging the two to form the socio-cognitive approach now core to the field. In Intercultural Pragmatics, the first book on the subject, Kecskes establishes the foundations of the field, boldly combining the pragmatic view of cooperation with the cognitive view of egocentrism in order to incorporate emerging features of communication. He argues that people cooperate by generating and formulating intention that is relevant to the given actual situational context. At the same time, however, because of their egocentrism they activate the most salient information to their attention in the construction and comprehension of utterances. Within this approach, interlocutors are considered as social beings searching for meaning with individual minds embedded in a socio-cultural collectivity, and intention is a cooperation-directed practice that is governed by relevance which depends on actual situational experience.Intercultural pragmatics is a rapidly-growing field, and the only subfield of pragmatics to incorporate features of intercultural interaction into mainstream pragmatics. This volume offers both a valuable synthesis of current research and a new way to think about pragmatics. (shrink)

István Mészáros was one of the greatest political theorists of the twentieth century. Left unfinished at the time of his death, Beyond Leviathan is written on the magisterial scale of his previous book, Beyond Capital, and meant to complement that work. It focuses on the transcendence of the state, along with the transcendence of capital and alienated labor, while traversing the history of political theory from Plato to the present. Aristotle, More, Machiavelli, and Vico are only a few of the (...) thinkers discussed in depth. The larger objective of this work is no less than to develop a full-fledged critique of the state, in the Marxian tradition, and set against the critique of capital. Not only does it provide, for the first time, an-all-embracing Marxian theory of the state, it gives new political meaning to the notion of "the withering away of the state." In his definitive, final work, Mészáros seeks to illuminate the political preconditions for a society of substantive equality and substantive democracy. In his scholarly and personal introduction, John Bellamy Foster traces the gestation of this masterwork and its place in the history of political theory. (shrink)

An important question in language evolution is whether segmentation as a linguistic process is able to yield compositionality. Segmentation is hypothesized to be a process to bridge the gap between holistic and compositional lexicons. However, to date no thorough analytical method has been provided to test the feasibility of segmentation. In this paper, an analytical model is presented that can predict the probability of encountering various kinds of overlaps by observing utterance pairs, and the probability of finding confirmation in the (...) language for newly extracted segments. Language users start by using a previously evolved holistic lexicon to communicate about simple environments. They segment these holistic utterances to smaller pieces, which can be used as elements of a compositional lexicon. The model reveals that the feasibility of segmentation depends on the definition of counterexamples, i.e. those associations (pairs), which either cause ambiguous extraction of segments, or do not allow segmentation at all. On one hand if inexact overlaps are considered to be contradictory (i.e. causing confusion) to a perfect exact overlap, then the probability is so minuscule that it renders the role of segmentation marginal during language evolution. On the other hand, if such inexact counterexamples are able to be segmented unambiguously due to extra cognitive capacities, segmentation may have a much higher feasibility. Keywords: segmentation; fractionation; analysis; holistic; protolanguage; compositionality. (shrink)

Largely due to the popular allegation that contemporary science has uncovered indeterminism in the deepest known levels of physical reality, the debate as to whether humans have moral freedom, the sort of freedom on which moral responsibility depends, has put aside to some extent the traditional worry over whether determinism is true. As I argue in this paper, however, there are powerful proofs for both chronological determinism and necessitarianism, forms of determinism that pose the most penetrative threat to human moral (...) freedom. My ultimate hope is to show that, despite the robust case against human moral freedom that can be made without even relying on them, chronological determinism and necessitarianism should be regarded with renewed urgency. (shrink)

István Mészáros; IX—Metaphor and Simile: Preliminary Notes to a Discussion of Norms and Values, Proceedings of the Aristotelian Society, Volume 67, Issue 1, 1 J.

In this mini-review, we summarized the results of 12 visual mismatch negativity studies that attempted to use this component as a tool for investigating differences between non-clinical samples of participants as well as the possibility of automatic discrimination in the case of specific categories of visual stimuli. These studies investigated the effects of gender, the effects of long-term differences between the groups of participants, and the effects of short-term states, as well as the vMMN effect elicited by artworks as a (...) special stimulus category. (shrink)

Recenzio Kiraly V. Istvan Death and History c. konyverol.

In 1988, Smolensky proposed that connectionist processing systems should be understood as operating at what he termed the `subsymbolic' level. Subsymbolic systems should be understood by comparing them to symbolic systems, in Smolensky's view. Up until recently, there have been real problems with analyzing and interpreting the operation of connectionist systems which have undergone training. However, recently published work on a network trained on a set of logic problems originally studied by Bechtel and Abrahamsen (1991) seems to offer the potential (...) to provide a detailed, empirically based answer to questions about the nature of subsymbols. In this paper, a network analysis procedure and the results obtained using it are discussed. This provides the basis for an insight into the nature of subsymbols, which is surprising. (shrink)

Review the Istvan Kiraly V.'s book: Death and History.

I discuss a solution to the Yale shadow puzzle, due to Roy Sorensen, based on the actual process theory of causation, and argue that it does not work in the case of a new version of the puzzle, which I call "the Bilkent shadow puzzle". I offer a picture of the ontology of shadows that constitute the basis for a new solution that uniformly applies to both puzzles.

Contemporary phenomenological psychopathology has raised questions concerning selfhood and its possible alterations in schizophrenia spectrum disorders. Although the notion of the self is central to several accounts of anomalies, it remains a question how exactly the radically minimal experiential features of selfhood can be altered. Indeed, the risk is to reduce the notion of selfhood so drastically, that it can no longer account for alterations of experience. Here we propose to give thickness to the minimal self. To do this we (...) first discuss Sartre’s phenomenological definition of coenesthesia as the translucent matter of consciousness articulating it with the notion of existential feelings. We then draw on the historical research on coenesthesia to dig deeper in this translucent materiality identified as the element of the body. We show that selfhood, even in its most minimal level, must be conceived of with a specific elemental thickness, corresponding to a phenomenological materiality of embodiment. We argue that a phenomenological reading of coenesthesia as the bodily element of ipseity can shed a new light on the anomalies of self-experience. (shrink)

Philosophy Compass, Volume 17, Issue 7, July 2022.

The paper explicates and defends a direct realist view of episodic memory as pastperception, on the model of the more prominent direct realism about perception. First, a number of extant allegedly direct realist accounts are critically assessed, then the slogan that memory is past-perception is explained, defended against objections, and compared to extant rival views. Consequently, it is argued that direct realism about memory is a coherent and defensible view, and an attractive alternative to both the mainstream causal theories and (...) the post-causal and constructivist views. (shrink)

First, I argue that there is no agreement within non-classical cognitive science as to whether one should eliminate representations, hence, it is not clear that Brette's appeal to it is going to solve the problems with coding. Second, I argue that Brette's criticism of predictive coding as being intellectualistic is not justified, as predictive coding is compatible with embodied cognition.

The paper discusses radical constructivism about episodic memory as developed by Kourken Michaelian under the name of “simulationism”, a view that equates episodic memory with mental time travel. An alternative, direct realist view is defended, which implies disjunctivism about the appearance of remembering. While admitting the importance of mental time travel as an underlying cognitive mechanism in episodic memory, as well as the prima facie reasonableness of the simulationist’s critique of disjunctivism, I formulate three arguments in defense of disjunctivism, which (...) thus appears to be a feasible alternative to radical constructivism. (shrink)

The aim of this book is to examine Erasmus' attitude toward the medieval past and to relate it to his historical consciousness.

Clark & Thornton are too hasty in their dismissal of uninformed learning; nonmonotonic processing units show considerable promise on type-2 tasks. I describe a simulation which succeeds on a “pure” type-2 problem. Another simulation challenges Clark & Thornton 's claims about the serendipitous nature of solutions to type-2 problems.

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.1 (2001) 139-141 [Access article in PDF] Helen S. Lang. The Order of Nature in Aristotle's Physics: Place and the Elements. Cambridge: Cambridge University Press, 1998. Pp. xii + 324. £40. This is an unsuccessful book. Some of the reasons for its failure are complex, others are more simple. I cannot address all, but shall simply discuss the fundamental claims about four large (...) topical units—about nature, place, void and elemental motion—indicating why they are untenable.Discussing the celebrated definition of nature in Physics II.1, Lang contends that in it the verb kineisthai should be taken in the passive voice, that nature should be understood as a principle or cause of being moved and of being at rest, and not just blandly as a principle of motion and rest. Since Aristotle asserts in Book VIII of the Physics that the elements contain a passive principle of motion (255b30f), Lang's contention would mean that the elements in this respect do not differ from other natural entities. This is highly unlikely, given the systematic contrast of self-moving composite natural entities and simple, unarticulated elemental natures at 255a5-18. Lang goes so far as to assert [End Page 139] that "kineisthai is always passive, not middle (or reflexive), in both Plato and Aristotle" (42). Fortunately, we need not accept this on her word: although kineisthai can be both passive and middle, in some instances (notably in aorist and future), passive and middle forms are different. Accordingly, Lang's claim must be rejected on the basis of the very first passage she helpfully quotes as an "additional example" in n.24 on p.42: Physics VII.1 242a37f employs the middle voice future, kinesétai, and not the passive form, kinethésetai. The passage, teeming with different forms of the verb kineisthai, describes an entity which contains the principle of motion in itself, which moves naturally. This indisputably shows that Lang's contention is wrong.Lang, contrary to the well-entrenched scholarly consensus, claims that place is not the first (=innermost) extremity or first unmoved boundary of the containing body, but the extremity of the first body, i.e., of the celestial sphere. (The transposition of the qualification "first" happens in several, non-conclusive installments, see e.g. 99f, or 106f.) This transposition, however, runs counter to several of Aristotle's stipulations about place. Lang's all-encompassing extremity can only be the common (koinos) place of everything there is, whereas Aristotle is keen on finding the proper or particular (idios) place, a location which contains nothing but the entity itself (209a32-b1). The entirety of the discussion in Physics IV.4-5 attests that it is this latter place which Aristotle defines here: the first place is neither smaller, nor bigger than the thing in place (211a1f, a23-29, a31-33, etc.). Aristotle repeatedly stresses that the extremities of the contained body and its container are "in the same" (211a33f, b11f). This remark surely would be out of place about the remote extremity of the first containing body. It is also repeatedly set out that the direction of explanation is bottom-up, and not top-down, as Lang's all-encompassing universal place would require: it is by being in a particular locus that we can be said to be in (the sphere of) air, and by this in the heaven (209a33-b1, 211a23-26).Lang's proposal is not just theoretically unappealing. The traditional should not be rejected recklessly, without an attentive discussion. After all, it "apparently beg[a]n immediately with Theophrastus," as Lang rather uncannily admits (105), and it was Theophrastus, and not Lang, who studied and worked for decades with Aristotle.A key assertion of the chapter on void also rests on a grave philological blunder. Lang argues that interpreters switched from Aristotle's expression "that through which" (to di' hou) to "medium," thereby surrendering the original net of notions, in which the natural activity of the element impeded the progression of the... (shrink)

The paper presents the current status and the principal directions of research work in Hungary. The author lists the basic studies published in the 1960’s as well as the major journals and publications concerned with ethical problems. Moreover he describes the main centres responsible for initiating and coordinating ethical researches and the teaching of ethics.

I argue that bodybuilding should not qualify as a sport, given that at the competition stage it lacks an essential feature of sports, namely, skillful activity. Based on the classic distinction between Leib and Körper in phenomenology, I argue that bodybuilding competition’s sole purpose is to present the Körper, whereas sports are about manifestations of Leib. I consider several objections to this analysis, after which I conclude that bodybuilding is an endeavor closer to both beauty competitions and classical sculpture rather (...) than to any other known sports. (shrink)

In this paper I attempt to show, against certain versions of trope theory, that properties with analyzable particularity cannot be merely exactly similar: such properties are either particularized properties (tropes) that are dissimilar to every any other trope, or else universalized properties (universals). I argue that each of the most viable standard and nonstandard particularizers that can be employed to secure the numerical difference between exactly similar properties can only succeed in grounding the particularity of properties, that is, in having (...) properties be tropes, at the expense of ruling out the possibility of their exact similarity. Here are the four nonstandard particularizers that I examine: the genealogy of a property, the history of a property, the causal effects of a property, and the duration of a property. And here are the two standard particularizers that I examine: the bearer of a property, by which I mean either a bare particular or a spatiotemporal location, and the property itself, by which I mean that the property is self-particularized. In my concluding remarks, I explain that the only remaining hope for preserving the possibility of exactly similar tropes is regarding properties as primitively particular, and that this must mean not that properties are self-particularized but that they are particularized due to nothing. I close by arguing that this may not help trope theory after all. (shrink)

Here I recount my practicum sessions with Albert, a client who struggles with anger outbursts. Since it can be hard to draw a line between a DSM and a non-DSM issue, my first inclination as a practitioner of Logic-Based Therapy (LBT)—and in line with practice boundaries and referral standards affirmed by the National Philosophical Counseling Association (NPCA)—was to refer Albert to a licensed therapist. But since Albert was already seeing a therapist, and since Albert never loses cognizance of what he (...) is doing during an outburst, I proceeded with Albert anyway. I did make it clear, however, that we would not focus directly on past traumas or substance abuse or family dynamics, but simply on his emotional reasoning in and around those times when he feels angry. Ultimately, I found (1) that damnation, can’tstipation, and perfectionism were the chief fallacies nurturing Albert’s tendency for outbursts and (2) that the uplifting philosophy of Spinoza would be especially effective at stoking self-respect, self-control, and metaphysical security (the direct antidotes to these fallacies) in someone like Albert, an informed and committed naturalist and determinist. (shrink)

The contributors to this volume examine the diverse roles played by moral virtues in the political writings of the Later Middle Ages. Medieval political thought has a long tradition of scholarship, and its ethical dimension has always received sustained attention. This volume specifically concentrates on the meaning and function of virtues in a political context, a theme which has thus far been neglected. The authors deal with Latin texts (occasionally in combination with vernacular ones) from the 13th to 15th centuries (...) that define, legitimize, or criticize secular rule by using catalogues of virtues, originating from ancient philosophy as well as Christian moral theology. The medieval texts under discussion are of French, German, English, Italian, and Spanish origin, and vary from educational treatises and historiography to moral theology and political philosophy. (shrink)

Connectionism is a style of modeling based upon networks of interconnected simple processing devices. This style of modeling goes by a number of other names too. Connectionist models are also sometimes referred to as 'Parallel Distributed Processing' (or PDP for short) models or networks.1 Connectionist systems are also sometimes referred to as 'neural networks' (abbreviated to NNs) or 'artificial neural networks' (abbreviated to ANNs). Although there may be some rhetorical appeal to this neural nomenclature, it is in fact misleading as (...) connectionist networks are commonly significantly dissimilar to neurological systems. For this reason, I will avoid using this terminology, other than in direct quotations. Instead, I will follow the practice I have adopted above and use 'connectionist' as my primary term for systems of this kind. (shrink)

EXCERPT.--With exception to early essays by George von Glahn and Mark Sanders, serious critical scholarship on the writings of Ted Kooser began after the 1980 release of the now-classic Sure Signs, Kooser’s fifth major collection of poems. Looking back over the thirty-plus years since then, only about a dozen or so significant studies—none of which book-length—currently boulder out against the relative flatscape of secondary materials constituted mostly by quick and dirty reviews. Aside from the essays by Wes Mantooth, Allan Benn, (...) and Mary K. Stillwell in this special issue of Midwestern Miscellany, the following works particularly stand out and, in my view, must be consulted by the Kooser scholar: David Baker’s “Ted’s Box”; William Barillas’s Chapter 7 of The Midwestern Pastoral; Victor Contoski’s “Words and Raincoats”; Dana Gioia’s “The Anonymity of the Regional Poet”; Jeff Gundy’s “Among the Erratics”; Jonathan Holden’s “The Chekov of American Poetry”; Denise Low’s “Sight in Motion”; David Mason’s “Introducing Ted Kooser”; and both Mary K. Stillwell’s “The ‘In Between’” and her “When a Walk is a Poem.”. (shrink)

In this article we characterize all those sequences of cardinals of length ω1 which are cardinal sequences of some compact scattered space . This extends the similar results from [R. La Grange, Concerning the cardinal sequence of a Boolean algebra, Algebra Universalis, 7 307–313] for such sequences of countable length. For ordinals between ω1 and ω2 we can only give a sufficient condition for a sequence of that length to be a cardinal sequence of a compact scattered space. This condition (...) is, arguably, the most one can expect in ZFC. In any case, ours is a significant extension of the sufficient conditions given in [J.C. Martinez, A consistency result on thin-tall superatomic Boolean algebras, Proc. Amer. Math. Soc. 115 473–477] and [J. Bagaria, Locally generic Boolean algebras and cardinal sequences, Algebra Universalis 47 283–302]. (shrink)