The class \ of t rue p airing a lgebras is defined to be the class of relation algebras expanded with concrete set theoretical projection functions. The main results of the present paper is that neither the equational theory of \ nor the first order theory of \ are decidable. Moreover, we show that the set of all equations valid in \ is exactly on the \ level. We consider the class \ of the relation algebra reducts of \ ’s, (...) as well. We prove that the equational theory of \ is much simpler, namely, it is recursively enumerable. We also give motivation for our results and some connections to related work. (shrink)

The class $$\mathsf{TPA}$$ TPA of t rue p airing a lgebras is defined to be the class of relation algebras expanded with concrete set theoretical projection functions. The main results of the present paper is that neither the equational theory of $$\mathsf{TPA}$$ TPA nor the first order theory of $$\mathsf{TPA}$$ TPA are decidable. Moreover, we show that the set of all equations valid in $$\mathsf{TPA}$$ TPA is exactly on the $$\Pi ^1_1$$ Π 1 1 level. We consider the class $$\mathsf{TPA}^-$$ (...) TPA - of the relation algebra reducts of $$\mathsf{TPA}$$ TPA ’s, as well. We prove that the equational theory of $$\mathsf{TPA}^-$$ TPA - is much simpler, namely, it is recursively enumerable. We also give motivation for our results and some connections to related work. (shrink)

We study the notion of H-dimension and the formally stronger k-variable property, as considered by Gabbay, Immerman and Kozen. We exhibit a class of flows of time that has H-dimension 3, and admits a finite expressively complete set of onedimensional temporal connectives, but does not have the k-variable property for any finite k.

v. 1 Egyetem, nevelés, értelmiségi lét.

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 give an overview of decidability results for modal logics having a binary modality. We put an emphasis on the demonstration of proof-techniques, and hope that this will also help in finding the borderlines between decidable and undecidable fragments of usual first-order logic.

"What is required if men and women are to feel at home in society and are to recover their vitality? Into wrestling with that question, Simone Weil put the very substance of her mind and temperament. The apparently solid edifices of our prepossessions fall down before her onslaught like ninepins, and she is as fertile and forthright in her positive suggestions . . . she can be relied upon to toss aside the superficial and to come to grips with the (...) essential and the profound." -- Time Literary Supplement. (shrink)

Simone Weil is one of the most profound thinkers of the twentieth century. Her writings encompass an extraordinary breadth of subjects, including philosophy, religion, sociology, and politics. A political activist and resistance fighter, her accomplishments are even more astonishing in light of her death in 1943 at the age of thirty-four. Whilst Weil was concerned with deep philosophical questions - the nature of human thought and human faculties, the limits of language, and thought's contact with reality through mediation, science and (...) beauty - the full significance of her work has frequently been obscured by her categorization as a purely religious writer or Christian mystic. Simone Weil: Basic Writings is an expertly edited anthology of her most important writings, presenting Weil's philosophy as it relates to politics, the nature of work, human nature in its duality, necessity, beauty and goodness. D. K. Levy and Marina Barabas have translated all the extracts anew, including translations of important notes and references missing from existing English language editions of Weil's work. Following an extensive introduction by D. K. Levy which places Weil's life and thought in context, each section opens with a short introduction situating the chosen passages within Weil's oeuvre. Simone Weil: Basic Writings is an outstanding starting point for anyone seeking an introduction to Weil's philosophy, and also essential reading for students and scholars of Weil's thought in related disciplines. (shrink)

Simone Weil (1909-1943) was a defining figure of the twentieth century; a philosopher, Christian, resistance fighter, anarchist, feminist, labor activist and teacher. She was described by T. S. Eliot as "a woman of genius, of a kind of genius akin to that of the saints," and by Albert Camus as "the only great spirit of our time." Originally published posthumously in two volumes, these newly reissued notebooks, are among the very few unedited personal writings of Weil's that still survive today. (...) Containing her thoughts on art, love, science, God and the meaning of life, they give context and meaning to Weil's famous works, revealing a unique philosophy in development and offering a rare private glimpse of her singular personality. (shrink)

Simone Weil's Leçons de Philosophie are derived from a course she taught at the lyce;e for girls at Roanne in 1933-4. Anne Reynaud-Gue;rithault was a pupil in the class; her notes are not a verbatim record but are a very full and, as far as one can judge, faithful rendering, often catching the unmistakable tone of Simone Weil's voice as well as the force and the directness of her thought. The lectures form a good general introduction to philosophy, ranging widely (...) over problems about perception, mind, language, reasoning and problems in moral and political philosophy too. Her method of presentation is a characteristic combination of abstract argument, personal experience and literary or historical reference. Peter Winch points out in his introduction to the book some of the more systematic connections in her philosophical work (and between this philosophical work and her other concerns), and makes a number of suggestive comparisons between Simone Weil and Wittgenstein. The translation is by Hugh Price from the Plon edition of 1959. Dr Price has added some notes to explain references in the text that might be unfamiliar to English speaking students beginning philosophy. (shrink)

Gravity and Grace was the first ever publication by the remarkable thinker and activist, Simone Weil. In it Gustave Thibon, the priest to whom she had entrusted her notebooks before her untimely death, compiled in one remarkable volume a compendium of her writings that have become a source of spiritual guidance and wisdom for countless individuals.

This thesis defends egalitarianism about knowledge and belief, on which neither is understood in terms of the other, from what I call the abductive argument. This argument is meant to favour views opposed to egalitarianism: doxasticism, on which knowledge is understood in terms of belief, and epistemicism, on which belief is understood in terms of knowledge. The abductive argument turns on the idea that doxasticism and epistemicism, by contrast with egalitarianism, explain certain data about knowledge and belief. I argue, however, (...) that no versions of doxasticism and epistemicism currently on offer are preferable to egalitarianism on abductive grounds. As part of my argument, I also defend the claim that knowledge, by contrast with belief, is an attitude to a fact and explore the implications of this claim for doxasticism and epistemicism. (shrink)

In Intimations of Christianity Among the Ancient Greeks , Simone Weil discusses precursors to Christian religious ideas which can be found in ancient Greek mythology, literature and philosophy. She looks at evidence of "Christian" feelings in Greek literature, notably in Electra, Orestes, and Antigone , and in the Iliad , going on to examine God in Plato, and divine love in creation, as seen by the ancient Greeks.

自史蒂芬·霍金(Stephen Hawking) 的暢銷科普著作《時間簡史》(以下簡稱《簡史》) 在上世紀八十年代末問世以來，至今天二十一世紀，華人基督教界就他宇宙無起點的論述仍有相當之評論，但可惜對評論未有綜合分析。評論者因寫作目的，也甚少交代霍金宇宙學的來龍去脈。故本文嘗試略述霍金宇宙學的歷史 背景及發展經過，繼而舉出華人基督教界的評論，帶出其獨特性，並提出商確的地方，以反省未來可行路向。.

People seem to differ in their visual search performance involving emotionally expressive faces when these expressions are seen on faces of others close to their age compared to faces of non-peers, known as the own-age bias. This study sought to compare search advantages in angry and happy faces detected on faces of adults and children on a pool of children and adults. The goals of this study were to examine the developmental trajectory of expression recognition and examine the development of (...) an OAB. Participants were asked to find a target face displaying an emotional expression among eight neutral faces. Results showed that children and adults found happy faces significantly faster than angry and fearful faces regardless of it being present on the faces of peers or non-peers. Adults responded faster to the faces of peers regardless of the expression. Furthermore, while children detected angry faces significantly faster compared to fearful ones, we found no such difference in adults. In contrast, adults detected all expressions significantly faster when they appeared on the faces of other adults compared to the faces of children. In sum, we found evidence for development in detecting facial expressions and also an age-dependent increase in OAB. We suggest that the happy face could have an advantage in visual processing due to its importance in social situations and its overall higher frequency compared to other emotional expressions. Although we only found some evidence on the OAB, using peer or non-peer faces should be a theoretical consideration of future research because the same emotion displayed on non-peers’ compared to peers’ faces may have different implications and meanings to the perceiver. (shrink)

This article discusses how everyday speech was mediated in early modern England: how speech was registered and remediated through various cultural techniques making it recognizable as a distinct linguistic medium and how these processes intersected with literary writing. A contribution to the study of the early modern English mediascape and its literary ramifications, this essay is also an effort to think historically about media change and literary transformation both as they happen and as they become visible over time. In what (...) follows, I trace the relationship between speech and the cultural techniques that engage with speech as the medium of everyday face-to-face interaction. Although my question is ultimately about speech, not poetry, and although the larger question I am interested in is not about artistic production but about media and cultural techniques more broadly, literary—poetic and especially dramatic—writing is nevertheless central to my essay. My argument grows out of the insights of twentieth-century literary criticism, whose observations about the relationship between speech and writing in 1600 were recognizably informed by the discourse network of their own moment and by their own concerns with modernity and its origins. So even as I am making an argument about the media constellation of a particular moment (an argument that could perhaps be described as crudely historicist), I am also curious about how the features of that moment became visible under different historical conditions or were imprinted by different media constellations and also how the defamiliarizing effect of the new may have made the past look familiar. (shrink)

This article deals with some phenomena of the Hungarian legal language from a historical point of view, with special regard to the terminology of private law going back to Roman law tradition. The author aims, on the one hand, to present the historical background of the current terminology of Hungarian private law by means of some representative examples. On the other hand, it is attempted at demonstrating that “false friends” and some further misunderstandings in the current terminology of Hungarian private (...) law can be led back to the historical determination of the concepts/terms in question. A certain Hungarian legal language existed already in the 16th c., however it reached the common European level by the middle of the 19th c. This development took place mainly under the influence of the Austrian and German law and legal science. Due to the translation of foreign legal terms to Hungarian since the 19th c. there emerged some “global” difficulties of legal terminology also in the Hungarian legal language. As the most important example, the reception of bona fides can be mentioned. It was an amendment of the Hungarian Civil Code in 2006 which tried to eliminate the misunderstandings as regards the principle of good faith conceived formerly by many Hungarian jurists exclusively in subjective sense. The history of reception of the German notions of Gültigkeit and Wirksamkeit in Hungary is extremely intriguing, too. Hungarian jurists did not follow the pattern of the German BGB but developed this pair created by Windscheid by drawing a clear distinction between the validity and effectiveness of legal transactions, similar to the Italian terminology. Sometimes the reception of German notions happened in a less successful way. Despite the important foreign, especially German impacts, the Hungarian legal language is an autonomous one having several remarkable features which deserve attention also in comparison with terminology of the Western legal cultures. (shrink)

This essay discusses a less known period of Karl Mannheim's life, namely the period he spent in Hungary. I attempt to point out that the career of the young Mannheim, starting from a philosophical interest and continuing with a sociological one, is continuous. His first published works and letters prove that in the period preceding his emigration to Germany in 1919 he was concerned with questions that received their mature form in his sociology of knowledge. They include primarily the question (...) of culture, that of perspective-boundedness of cognition, interpretation and the problem of intellectuals. Despite changing disciplines from philosophy to sociology, the continuity of his oeuvre can be shown. (shrink)

This paper argues that group attitudes can be assessed in terms of standards of rationality and that group-level rationality need not be due to individual-level rationality. But it also argues that groups cannot be collective epistemic agents and are not collectively responsible for collective irrationality. I show that we do not need the concept of collective epistemic agency to explain how group-level irrationality can arise. Group-level irrationality arises because even rational individuals can fail to reason about how their attitudes will (...) combine with those of others. In some cases they are morally responsible for this failure, in others they are not. Moreover, the argument for collective epistemic agency is incoherent because reasons-for-groups are ipso facto reasons-for-individual. Instead of talking about reasons-for-groups, we should therefore distinguish between self-regarding reasons and group-regarding reasons. Both kinds of reasons are reasons-for-individuals. These conceptual considerations in favour of moderate individualism are strengthened by an analysis of our moral practice of responding to collective shortfalls of rationality and by the unpalatable moral implications of collectivism about epistemic agency. There is no need to change the subject. Groups can be rational or irrational, but they do not reason. (shrink)

Mutually beneficial exchanges in markets can be exploitative because one party takes advantage of an underlying injustice. For instance, employers of sweatshop workers are often accused of exploiting the desperate conditions of their employees, although the latter accept the terms of their employment voluntarily. A weakness of this account of exploitation is its tendency for over-inclusiveness. Certainly, given the prevalence of global and domestic socioeconomic inequalities, not all exchanges that take place against background injustices should be considered exploitative. This paper (...) offers a framework to identify exploitation in mutually beneficial exchange, focusing on the case of sweatshop labor. It argues that an employer can be viewed as taking unfair advantage of an underlying injustice if and only if the employer’s surplus from the exchange in the unjust state of affairs exceeds the surplus it could maximally obtain in a just state of affairs. The paper illustrates the applicability of this framework using three different conceptions of justice and argues that it is superior to microlevel accounts of exploitation that regard background justice as irrelevant. The paper concludes by describing some normative implications that follow from judging an exchange exploitative. (shrink)

Philosophe politique et intellectuel engage dans la vie des idées aux Etats-Unis comme dans le monde, Michael Walzer est l'un des penseurs de la société parmi les plus stimulants a l'époque contemporaine. Son oeuvre défriche des pistes nouvelles de réflexion dans les domaines du politique, de la justice sociale, de la morale ou de l'identité culturelle. En même temps, Walzer, dont la pensée s'est forgée lors des luttes pour l'égalité des droits civiques aux USA et contre la guerre du Vietnam (...) dans les années 1960, poursuit une activité féconde d'animation du débat public à travers sa revue Dissent. Dans cet essai, Simon Wuhl a souhaité éclairer une autre dimension de la pensée de Michael Walzer : la relation étroite avec la pensée juive, dont les potentialités d'universalisation sont une référence majeure dans la plupart de ses écrits. Qu'elle s'exprime ouvertement comme dans son article emblématique sur " Les deux universalismes ", ou en arrière-fond comme dans son livre plus théorique sur les Sphères de justice, l'empreinte du judaïsme est toujours présente dans son oeuvre pour éclairer les grandes questions de société. Faisant par ailleurs retour, dans certains de ses travaux, sur les textes de base du judaïsme, Walzer mobilise les ressources méthodologiques des sciences humaines pour les soumettre à une relecture critique. (shrink)

Filosofía antigua -- Filosofía medieval : heavy metal y religión -- Filosofía moderna y contemporánea.

Neanderthal extinction is a matter of intense debate. It has been suggested that demography (as opposed to environment or competition) could alone provide a sufficient explanation for the phenomenon. We argue that demography cannot be a ‘stand-alone’ or ‘alternative’ explanation of token extinctions as demographic features are entangled with competitive and environmental factors, and further because demography should not be conflated with neutrality.

This paper develops an account of how economic and political institutions can limit the applicability of principles of justice even in non-relational cosmopolitan conceptions. It shows that fundamental principles of justice underdetermine fair distributive shares as well as justice -based requirements. It argues that institutions partially constitute the content of justice by determining distributive shares and by resolving indeterminacies about justice -based requirements resulting from strategic interaction and disagreement. In the absence of existing institutions principles of justice might not be (...) applicable for assessing distributions or guiding individual action and institutional design. Hence, accepting a specific cosmopolitan conception of justice is insufficient to settle global distributive questions. (shrink)

There are several reasons to explore the role theater played in the life of Søren Kierkegaard and in the inspiration for his works. There are probably more reasons to analyze the role Kierkegaard played for theater, both as a source of inspiration and as a thinker reflecting on different facets of drama, performance, and acting. In the present study I focus on the diversity and complexity of Kierkegaard’s views on theater to elaborate on the possible connections and types of influence (...) he exercised on stage artists and theorists, shaping our contemporary theater theories. Approaches include literature, philosophy, theology, staging, acting, audience, and the history of theater, both in Kierkegaard’s times and later. (shrink)

The article analyzes ethnic data collection pertaining to criminal justice in Hungary. With such a sensitive and delicate issue at hand, Hungary has decided on an evasive approach, resisting ethnic data collection by law enforcement authorities. The author argues that this approach has become one of the obstacles in fighting discrimination and ethnic profiling. Moreover, Hungary’s restrictive approach to ethno-national data classification also causes severe constitutional problems in other, noncriminal legal circumstances, where ethnic data is used in the context of (...) additional rights and affirmative protection provided for ethno-national minorities. The first part of the article describes general problems relating to ethnic data collection and analyses of the Hungarian minority protection framework, in particular, the minority self-government structure (a unique constitutional institution). The second part focuses on the criminal justice system; the author’s aim is to show that prohibiting the official recognition and collection of data on ethnicity by criminal justice authorities has potentially ethnically discriminatory consequences. (shrink)

The thirty year long friendship between Imre Lakatos and the classic scholar and historian of mathematics Árpád Szabó had a considerable influence on the ideas, scholarly career and personal life of both scholars. After recalling some relevant facts from their lives, this paper will investigate Szabó's works about the history of pre-Euclidean mathematics and its philosophy. We can find many similarities with Lakatos' philosophy of mathematics and science, both in the self-interpretation of early axiomatic Greek mathematics as Szabó reconstructs it, (...) and in the general overview Szabó provides us about the turn from the intuitive methods of Greek mathematicians to the strict axiomatic method of Euclid's Elements. As a conclusion, I will argue that the correct explanation of these similarities is that in their main works they developed ideas they had in common from the period of intimate intellectual contact in Hungarian academic life in the mid-twentieth century. In closing, I will recall some relevant features of this background that deserve further research. (shrink)

The prevailing justification for constitutional institutions is that such institutions reflect and enable rational solutions to social problems. However, constitutions are constructed through emotionally driven processes that reflect both the public sentiments of the day and, at least to some extent, basic moral emotions. Historical examples from France and the United States demonstrate the role of such emotional processes in shaping the design of liberal constitutionalism. Further, constitutional law both sets and regulates emotional display rules; favors or disfavors certain emotional (...) commitments; and, particularly through the formulation of fundamental human rights, reflects and shapes emotional moral judgments. The emotional contributors to constitutional design and interpretation may be called “constitutional sentiments.”. (shrink)

If the task of constitutional theory is to set out a language in which the discourse of constitutional law may be grounded, a question of the utmost importance is how this terminology is created, defined and interpreted. In this groundbreaking new work, András Jakab maps out and analyses the grammar and vocabulary on which the core European traditions of constitutional theory are based. He suggests understanding key constitutional concepts as responses to historical and present day challenges experienced by European (...) societies. Drawing together a great and diverse range of literature, much of which has never before been touched upon by scholarship in the English language, Jakab reconceptualises and argues for a new understanding of European constitutional law discourse. In so doing he shines new light on what constitutes its distinctively European nature. This remarkable book is essential reading for all scholars and students of constitutional theory in Europe and beyond. (shrink)

The constitutional freedom of the individual is a specific legal permission to perform certain act-types by virtue of the constitution. Legal and constitutional permissions are either negative permissions, consisting of the lack of obligation or prohibition to perform a conduct, or positive permissions rendering the performance of certain acts possible. Further, a distinction is proposed between legal systems containing their constitution and those not containing their constitution. In the former, constitutional freedom is the freedom to perform any conduct, i.e. any (...) conduct neither obligatory nor prohibited by the law. In legal systems containing their constitution constitutional freedom includes all the act-types obligatorily permitted in the constitution as denominated freedom-rights. The final section contends that the “general right to freedom” is but a special case of the constitutional principle of equality. (shrink)

“I also talked to Buber yesterday; as a person he is lively and simple and remarkable, and seems to have nothing to do with the lukewarm things he has written” – wrote Franz Kafka to his fiancée Felice Bauer in the early 1913. What is the meaning of this harsh, yet respectful portraiture of Buber? Was it a casual ironic remark – or was it rather the way Kafka really thought of Martin Buber? And to what extent was Kafka important (...) for Buber? How can we understand the collaboration between the writer and philosopher? Close reading, contextualization and Begegnungsereignis. (shrink)

Women as individuals experience subtle discrimination regarding career development opportunities as evidenced by research on the Glass Ceiling. This paper looks at the ramifications of technology, specifically the Internet, and how it affects women’s career opportunities.