What happens when collectivity and law intersect? Lisa Hahn and Markus Hasl outline the state of research on this question and add new answers offered by this special issue. On the one hand, the search for interdisciplinary encounters shows that law is both means and object of collective legal struggles. In doing so, collectives shape law. On the other hand, law (re)produces collectives through categorization and personalization; it juridifies. In doing so, it oscillates between productivity and destructiveness. The authors (...) conclude that to advance the productive potential of collectivity and better regulate its risks, theoretical and doctrinal innovations are needed. (shrink)

We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.

We give two theories, Th1 and Th2, which are explicitly definable over each other , but are not definitionally equivalent. The languages of the two theories are disjoint.

A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc 2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.

Henkin and Tarski proved that an atomic cylindric algebra in which every atom is a rectangle must be representable . This theorem and its analogues for quasi-polyadic algebras with and without equality are formulated in Henkin, Monk and Tarski [13]. We introduce a natural and more general notion of rectangular density that can be applied to arbitrary cylindric and quasi-polyadic algebras, not just atomic ones. We then show that every rectangularly dense cylindric algebra is representable, and we extend this result (...) to other classes of algebras of logic, for example quasi-polyadic algebras and substitution-cylindrification algebras with and without equality, relation algebras, and special Boolean monoids. The results of op. cit. mentioned above are special cases of our general theorems. We point out an error in the proof of the Henkin-Monk-Tarski representation theorem for atomic, equality-free, quasi-polyadic algebras with rectangular atoms. The error consists in the implicit assumption of a property that does not, in general, hold. We then give a correct proof of their theorem. Henkin and Tarski also introduced the notion of a rich cylindric algebra and proved in op. cit. that every rich cylindric algebra of finite dimension satisfying certain special identities is representable. We introduce a modification of the notion of a rich algebra that, in our opinion, renders it more natural. In particular, under this modification richness becomes a density notion. Moreover, our notion of richness applies not only to algebras with equality, such as cylindric algebras, but also to algebras without equality. We show that a finite dimensional algebra is rich iff it is rectangularly dense and quasi-atomic; moreover, each of these conditions is also equivalent to a very natural condition of point density . As a consequence, every finite dimensional rich algebra of logic is representable. We do not have to assume the validity of any special identities to establish this representability. Not only does this give an improvement of the Henkin-Tarski representation theorem for rich cylindric algebras, it solves positively an open problem in op. cit. concerning the representability of finite dimensional rich quasi-polyadic algebras without equality. (shrink)

We investigate in an algebraic setting the question of which logical languages can express the properties integral, permutational, and rigid for algebras of relations.

This volume offers recent developments in pragmatics and adjacent territories of investigation, including important new concepts such as the pragmatic act and the pragmeme, and combines developments in neighboring disciplines in an integrative holistic pragmatic approach. The young science of pragmatics has, from its inception, differentiated itself from neighboring fields in the humanities, especially the disciplines dealing with language and those focusing on the social and anthropological aspects of human behavior, by focusing on the language user in his or her (...) societal environment.This collection of papers continues that emphasis on language use, and pragmatic acts in their context. The editors and contributors share a perspective that essentially considers language as a system for communication and wants to look at language from a societal perspective, and accept the view that acts of interpretation are essentially embedded in culture. In an interdisciplinary approach, some authors explore connections with social theory, in particular sociology or socio-linguistics, some offer a political stance, others explore connections with philosophy and philosophy of language, and several papers address problems in theoretical pragmatics. (shrink)

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

It is shown that Tarski’s set of ten axioms for the calculus of relations is independent in the sense that no axiom can be derived from the remaining axioms. It is also shown that by modifying one of Tarski’s axioms slightly, and in fact by replacing the right-hand distributive law for relative multiplication with its left-hand version, we arrive at an equivalent set of axioms which is redundant in the sense that one of the axioms, namely the second involution law, (...) is derivable from the other axioms. The set of remaining axioms is independent. Finally, it is shown that if both the left-hand and right-hand distributive laws for relative multiplication are included in the set of axioms, then two of Tarski’s other axioms become redundant, namely the second involution law and the distributive law for converse. The set of remaining axioms is independent and equivalent to Tarski’s axiom system. (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)

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)

Autour du Manifeste de Vienne se trouvent reunis des textes fondateurs ecrits autour de 1929. Leurs auteurs: Carnap, Hahn, Neurath, Schlick l'ame du Cercle de Vienne, et Waismann plus proche de Wittgenstein, temoignent d'un courant philosophique constituant aujourd'hui la tradition analytique de source continentale a la fois empiriste et logique. Forme de maniere informelle a Vienne, au coeur de l'Europe, le Cercle reunissait des savants de differentes branches qui voulaient se donner une philosophie susceptible d' unifier leurs vues. Echo (...) aux reves d'unite de la science, cette philosophie en exprime aussi le renversement complet. Veritable Discours de la methode, mais d'esprit anti-cartesien, elle entend reconstruire la science de maniere a evincer la speculation metaphysique, le but etant qu'aucun enonce ne soit laisse a l'exterieur de cette grande architecture de symboles s'il etait pourvu de sens. La declaration de guerre contre la metaphysique est un geste de militance a une epoque riche en differents manifestes. Incomprehensible en dehors du contexte socio-politique viennois de ces annees, elle porte aussi un programme de reconstruction rationnelle qui, au dela du langage de la science, devait toucher tous les secteurs de la vie. Plus complexe qu'il n'y parait, ce programme contient, en reference a Wittgenstein, son prestigieux representant a cote d'Einstein et Russell, une mise en garde contre differentes formes d'irrationalismes, qui est d'actualite. (shrink)

The act of animal killing affects the human psyche in manners that are culturally contingent. Throughout history, societal attitudes towards the taking of animal lives have mostly been based on deference and/or dominion. Postdomestic societies have evolved in fundamentally different ways. Meat production is abundant yet concealed, animals are categorized and stereotyped, and slaughter has become a highly disquieting activity. Increased awareness of postdomestic meat production systems raises a moral polemic and provokes disgust in some consumer segments. Overall, a heterogeneous (...) set of solutions has emerged to deal with the societal upset and cognitive dissonance caused by animal slaughter. This includes the so-called carnism approach, a rise in animal welfare programs, a market demand for reassuring narratives, a rehabilitation of the metier of farmers and butchers, crowd butchering, neo-ritualism and home slaughter, the biotechnological exploration of “cultured meat” and “pain-free meat”, entomophagy, “meatless meat”, and the increasing proliferation of vegan and vegetarian lifestyles. (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, 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 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)

This paper is an introduction: in particular, to algebras of relations of various ranks, and in general, to the part of algebraic logic algebraizing quantifier logics. The paper has a survey character, too. The most frequently used algebras like cylindric-, relation-, polyadic-, and quasi-polyadic algebras are carefully introduced and intuitively explained for the nonspecialist. Their variants, connections with logic, abstract model theory, and further algebraic logics are also reviewed. Efforts were made to make the review part relatively comprehensive. In some (...) directions we tried to give an overview of the most recent results and research trends, too. (shrink)

Wealth and Virtue reassesses the remarkable contribution of the Scottish Enlightenment to the formation of modern economics and to theories of capitalism. Its unique range indicates the scope of the Scottish intellectual achievement of the eighteenth century and explores the process by which the boundaries between economic thought, jurisprudence, moral philosophy and theoretical history came to be established. Dealing not only with major figures like Hume and Smith, there are also studies of lesser known thinkers like Andrew Fletcher, Gershom Carmichael, (...) Lord Kames and John Millar as well as of Locke in the light of eighteenth century social theory, the intellectual culture of the University of Edinburgh in the middle of the eighteenth century and of the performance of the Scottish economy on the eve of the publication of the Wealth of Nations. While the scholarly emphasis is on the rigorous historical reconstruction of both theory and context, Wealth and Virtue directly addresses itself to modern political theorists and economists and throws light on a number of major focal points of controversy in legal and political philosophy. (shrink)

(1990). Uncertainty as a Technique of the Exercise of Power: An Approach to the Question of Transition. World Futures: Vol. 29, Transition in Eastern Europe, pp. 47-67.

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

This paper argues that current pragmatic theories fail to describe common ground in its complexity because they usually retain a communication-as-transfer-between-minds view of language, and disregard the fact that disagreement and egocentrism of speaker-hearers are as fundamental parts of communication as agreement and cooperation. On the other hand, current cognitive research has overestimated the egocentric behavior of the dyads and argued for the dynamic emergent property of common ground while devaluing the overall significance of cooperation in the process of verbal (...) communication. The paper attempts to eliminate this conflict and proposes to combine the two views into an integrated concept of common ground, in which both core common ground and emergent common ground converge to construct a dialectical socio-cultural background for communication.Both cognitive and pragmatic considerations are central to this issue. While attention explains why emergent property unfolds, intention explains why presumed shared knowledge is needed. Based on this, common ground is perceived as an effort to converge the mental representation of shared knowledge present as memory that we can activate, shared knowledge that we can seek, and rapport, as well as knowledge that we can create in the communicative process. The socio-cognitive approach emphasizes that common ground is a dynamic construct that is mutually constructed by interlocutors throughout the communicative process. The core and emergent components join in the construction of common ground in all stages, although they may contribute to the construction process in different ways, to different extents, and in different phases of the communicative process. (shrink)

This paper argues that current pragmatic theories fail to describe common ground in its complexity because they usually retain a communication-as-transfer-between-minds view of language, and disregard the fact that disagreement and egocentrism of speaker-hearers are as fundamental parts of communication as agreement and cooperation. On the other hand, current cognitive research has overestimated the egocentric behavior of the dyads and argued for the dynamic emergent property of common ground while devaluing the overall significance of cooperation in the process of verbal (...) communication. The paper attempts to eliminate this conflict and proposes to combine the two views into an integrated concept of common ground, in which both core common ground and emergent common ground converge to construct a dialectical socio-cultural background for communication.Both cognitive and pragmatic considerations are central to this issue. While attention explains why emergent property unfolds, intention explains why presumed shared knowledge is needed. Based on this, common ground is perceived as an effort to converge the mental representation of shared knowledge present as memory that we can activate, shared knowledge that we can seek, and rapport, as well as knowledge that we can create in the communicative process. The socio-cognitive approach emphasizes that common ground is a dynamic construct that is mutually constructed by interlocutors throughout the communicative process. The core and emergent components join in the construction of common ground in all stages, although they may contribute to the construction process in different ways, to different extents, and in different phases of the communicative process. (shrink)

Written in 1970 by a prominent Marxist philosopher and student of Georg Lukács, this book argues that alienation is the central idea in all of Karl Marx's work. To distinguish Marx's original concept from its use by other writers over the years, the topic is approached in three different ways. First, the origin of the idea of alienation is discussed along with an analysis of the way Marx structured it into a theory. Then alienation is explored beyond its political aspect, (...) as it has been used in economics, ontology, moral philosophy, and aesthetics. The contemporary usefulness of the term is covered in the last section of the book, which concludes that current debates about the individual in society and the role of education can be fruitfully discussed in terms of alienation. (shrink)

Mainstream metaphysics has been preoccupied by inquiring into the nature of major kinds of entities, like objects, properties and events, while avoiding minor entities, like shadows or holes. However, one might want to hope that dealing with such minor entities could be profitable for even solving puzzles about major entities. I propose a new ontological puzzle, the Shadow of Constitution Puzzle, incorporating the old puzzle of material constitution, with shadows in the role of the minor entity to guide our approach (...) to the issues involved. I then analyze the standard answers to the original puzzle of constitution, in their role as potential solutions to the new puzzle. Finally, I discuss three views that can solve the proposed puzzle. (shrink)

Communication is not as smooth a process as current pragmatic theories depict it. In Rapaport’s words “We almost always fail […]. Yet we almost always nearly succeed: This is the paradox of communication”. This paper claims that there is a need for an approach that is able to explain this “bumpy road” by analyzing both the positive and negative features of the communicative process. The paper presents a socio-cognitive approach to pragmatics that takes into account both the societal and individual (...) factors including cooperation and egocentrism that, as claimed here, are not antagonistic phenomena in interaction. This approach is considered an alternative to current theories of pragmatics that do not give an adequate account of what really happens in the communicative process. They consider communication an idealistic, cooperation-based, context-dependent process in which speakers are supposed to carefully construct their utterances for the hearer taking into account all contextual factors and hearers do their best to figure out the intentions of the speakers. This approach relies mainly on the positive features of communication including cooperation, rapport and politeness while almost completely ignores the untidy, trial-and-error nature of communication and the importance of prior contexts captured in the individual use of linguistic units. The overemphasis on cooperative, societal, contextual factors has led to disregard individual factors such as egocentrism and salience that are as important contributors to the communicative process as cooperation, context and rapport. The socio-cognitive approach is presented as a theoretical framework to incorporate and reconcile two seemingly antagonistic sides of the communicative process and explain the dynamic interplay of prior and actual situational contexts. (shrink)

Among others we will prove that the equational theory of ω dimensional representable polyadic equality algebras (RPEA ω 's) is not schema axiomatizable. This result is in interesting contrast with the Daigneault-Monk representation theorem, which states that the class of representable polyadic algebras is finite schema-axiomatizable (and hence the equational theory of this class is finite schema-axiomatizable, as well). We will also show that the complexity of the equational theory of RPEA ω is also extremely high in the recursion theoretic (...) sense. Finally, comparing the present negative results with the positive results of Ildiko Sain and Viktor Gyuris [12], the following methodological conclusions will be drawn: The negative properties of polyadic (equality) algebras can be removed by switching from what we call the "polyadic algebraic paradigm" to the "cylindric algebraic paradigm". (shrink)

"Not only profound in its analysis, but also so passionately inspired by sympathy for the downtrodden and their struggle for liberation..." --Daniel Singer, The Nation "This is an important book, heavy in size and tone. It belongs in every serious library." --Choice --This text refers to an alternate edition.