This paper criticizes non-constructive uses of set theory in formal economics. The main focus is on results on preference aggregation and Arrow’s theorem for infinite electorates, but the present analysis would apply as well, e.g., to analogous results in intergenerational social choice. To separate justified and unjustified uses of infinite populations in social choice, I suggest a principle which may be called the Hildenbrand criterion and argue that results based on unrestricted axiom of choice do not meet this criterion. The (...) technically novel part of this paper is a proposal to use a set-theoretic principle known as the axiom of determinacy ), not as a replacement for Choice, but simply to eliminate applications of set theory violating the Hildenbrand criterion. A particularly appealing aspect of \ from the point of view of the research area in question is its game-theoretic character. (shrink)

We prove that all finitely axiomatizable tense logics with temporal operators for ‘always in the future’ and ‘always in the past’ and determined by linear fows time are coNP-complete. It follows, for example, that all tense logics containing a density axiom of the form ■n+1F p → nF p, for some n ≥ 0, are coNP-complete. Additionally, we prove coNP-completeness of all ∩-irreducible tense logics. As these classes of tense logics contain many Kripke incomplete bimodal logics, we obtain many natural (...) examples of Kripke incomplete normal bimodal logics which are nevertheless coNP-complete. (shrink)

In this paper, we are going to analyze the phenomenon of modal incompleteness from an algebraic point of view. The usual method of showing that a given logic L is incomplete is to show that for some L and some cannot be separated from by a suitably wide class of complete algebras — usually Kripke algebras. We are going to show that classical examples of incomplete logics, e.g., Fine logic, are not complete with respect to any class of complete BAOs. (...) Even above Grz it is possible to find a continuum of such logics, which immediately implies the existence of a continuum of neighbourhood-incomplete Grz logics. Similar results can be proved for Löb logics. In addition, completely incomplete logics above Grz may be found uniformly as a result of failures of some admissible rule of a special kind. (shrink)

In this article, we tell a story about incompleteness in modal logic. The story weaves together an article of van Benthem, “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, ${\cal V}$-baos. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem’s article resolves the open question (...) in the negative. In addition, for the case of bimodal logic, we show that there is a naturally occurring logic that is incomplete with respect to ${\cal V}$-baos, namely the provability logic $GLB$. We also show that even logics that are unsound with respect to such algebras do not have to be more complex than the classical propositional calculus. On the other hand, we observe that it is undecidable whether a syntactically defined logic is ${\cal V}$-complete. After these results, we generalize the Blok Dichotomy to degrees of ${\cal V}$-incompleteness. In the end, we return to van Benthem’s theme of syntactic aspects of modal incompleteness. (shrink)

In this paper, we introduce an extension of the modal language with what we call the global quantificational modality [∀p]. In essence, this modality combines the propositional quantifier ∀p with the global modality A: [∀p] plays the same role as the compound modality ∀pA. Unlike the propositional quantifier by itself, the global quantificational modality can be straightforwardly interpreted in any Boolean Algebra Expansion (BAE). We present a logic GQM for this language and prove that it is complete with respect to (...) the intended algebraic semantics. This logic enables a conceptual shift, as what have traditionally been called different “modal logics” now become [∀p]-universal theories over the base logic GQM: instead of defining a new logic with an axiom schema such as □φ→□□φ, one reasons in GQM about what follows from the globally quantified formula [∀p](□p→□□p). (shrink)

This paper provides several examples of how modal logic can be used in studying the XML document navigation language XPath. More specifically, we derive complete axiomatizations, computational complexity and expressive power results for XPath fragments from known results for corresponding logics. A secondary aim of the paper is to introduce XPath in a way that makes it accessible to an audience of modal logicians.

This is a new edition of the manual published in 1974 and 1984. Compared with those earlier editions it is revised, enlarged and more precise in its argumentation. In its beginnings the manual aimed at meeting the didactic needs to present students of the Faculty of Christian Philosophy at the ATK a complete handling of Christian ethics. The author, who wrote his manual in difficult times of communist ideology, decided to include in one work, besides a positive exposition of Christian (...) ethics, a critical discussion with other ethical systems as well as his own explicit theory on Augustinian and Thomistic ethics, which he endeavoured to develop. Thus the work interlocked the didactic objectives and the process of growth and justification of the Author's views, Krakow 2001, p. 308). (shrink)

Argues that the key distinction between human and nonhuman social cognition consists in our complex, diverse and flexible capacities to shape each other's minds in ways that make them easier to interpret.

Argues that the key distinction between human and nonhuman social cognition consists in our complex, diverse and flexible capacities to shape each other's minds in ways that make them easier to interpret.

The article presents two concepts of indexicality. The first, more standard and narrow, identifies indexicality with systematic (meaning controlled) context-sensitivity. The second, broader (derived from the work of Jerzy Pelc), conceives indexicality in terms of the potential variability of the general semiotic characteristics expressions (with respect to the context of use). The text introduces the concept of a pragmatic matrix that serves for a schematic representation of contextual variation. I also recapitulate briefly the views of Jerzy Pelc on the meaning (...) (manner of use) and use of expressions, and briefly indicate its relationship approaches with contemporary debates around contextualism and status of non-sentential speech acts. Finally, the relationship between the broader notion of indexicality and the directival theory of meaning is analyzed. (shrink)

The article rejects various attempts to negate the subjectivity of human embryo, formulated among others in the Polish debate entitled 'Stem cells - life for life?' and organised by the Ministry of Scientific Research and Information Technology in 2003 and 2004. The Author thinks that the proposal to treat a human embryo as a deceased donor of organs, is wrong both in the field of embryology and philosophical anthropology. It is also wrong to question the subjectivity of human embryo using (...) various criteria of growth (developed nervous system, brain, consciousness, participation in the life of society and looking after one's own interests). For these criteria do not define humanity but describe human being in various phases of expressions of his/her human nature. That is why it is not acceptable to make the right to life conditional on the stage and degree of the actualization of humanity. Furthermore, one cannot justify the deprivation of the subjectivity of human embryo because of medical progress and the so-called good of humankind. The acceleration of progress cannot be done at the cost of life of some group of human beings. (shrink)

This is a new edition of the manual published in 1974 and 1984. Compared with those earlier editions it is revised, enlarged and more precise in its argumentation. In its beginnings the manual aimed at meeting the didactic needs to present students of the Faculty of Christian Philosophy at the ATK a complete handling of Christian ethics. The author, who wrote his manual in difficult times of communist ideology, decided to include in one work, besides a positive exposition of Christian (...) ethics, a critical discussion with other ethical systems as well as his own explicit theory on Augustinian and Thomistic ethics, which he endeavoured to develop. Thus the work interlocked the didactic objectives and the process of growth and justification of the Author's views, Krakow 2001, p. 308). (shrink)

Maximilian de Gaynesford has argued against the standard view that the reference of the first-person pronoun ‘I’ is determined by a rule linking the referent to some feature of the context of use. In this paper, we argue that de Gaynesford's arguments are inconclusive. Our main aim, however, is to formulate a novel version of the reference rule for ‘I’. We argue that this version can deal with several problematic cases. Our strategy involves analysing the so-called agent of the context (...) as the person responsible for a particular speech act. From this analysis, we exclude a particular class of uses of ‘I’, uses that we believe are best understood as demonstrative. (shrink)

This is a new edition of the manual published in 1974 and 1984. Compared with those earlier editions it is revised, enlarged and more precise in its argumentation. In its beginnings the manual aimed at meeting the didactic needs to present students of the Faculty of Christian Philosophy at the ATK a complete handling of Christian ethics. The author, who wrote his manual in difficult times of communist ideology, decided to include in one work, besides a positive exposition of Christian (...) ethics, a critical discussion with other ethical systems as well as his own explicit theory on Augustinian and Thomistic ethics, which he endeavoured to develop. Thus the work interlocked the didactic objectives and the process of growth and justification of the Author's views, Krakow 2001, p. 308). (shrink)

The bioethics of four principles, named as principlism, began in 1979 with the work of Principles of Biomedical Ethics by Tom Beauchamp and James F. Childress and has been widely criticized since the 80s. In recent years four rival approaches towards principlism have been specified in this critique. These include: a) impartial rule theory, developed by K. Danner Clouser; b) casuistry, represented by Albert Jensen, and c) virtue ethics, developed by Edmund D. Pellegrino. The critique of principlism presented by K. (...) Danner Clouser, Bernard Gert was not only defended by T. Beauchamp and J.F. Childress themselves, but also by others, including B. Andrew Lustig, David DeGrazia, and Henry Richardson. The discussion has not weakened but continued till the present time. It was presented extensively in the June issue of The Journal of Medicine and Philosophy. We want to join the discussion from the position of personalistic bioethics. (shrink)

This is a new edition of the manual published in 1974 and 1984. Compared with those earlier editions it is revised, enlarged and more precise in its argumentation. In its beginnings the manual aimed at meeting the didactic needs to present students of the Faculty of Christian Philosophy at the ATK a complete handling of Christian ethics. The author, who wrote his manual in difficult times of communist ideology, decided to include in one work, besides a positive exposition of Christian (...) ethics, a critical discussion with other ethical systems as well as his own explicit theory on Augustinian and Thomistic ethics, which he endeavoured to develop. Thus the work interlocked the didactic objectives and the process of growth and justification of the Author's views, Krakow 2001, p. 308). (shrink)

There are three working theses formulated and proved in the paper. First, business ethics as a science not wishful thinking, encounters the following, impossible to overcome, difficulties: Lack of a precise definition of business ethics, Ethical relativism, Strong competition on national, international, and global market, Shareholders’ interests vs. social responsibility of a company, Objective (based on scientific laws) limitations of business ethics, Ethical codes vs. the rules of a company, labour and employment legislation. Second, the author claims that a company (...) cannot be treated as an ethical education institution. This kind of education should begin in a family, kindergartens, and schools. The issues of business ethics should be included into ethical education in above mentioned places. (e.g. negotiation, to keep one’s promise, to keep on schedule etc.) Third, the issue of business ethics (ethical codes) should not be restricted to a company only. It should be put into the context of sector, national, multinational, and global market. (shrink)

Lesio to piąta powieść kryminalna Joanny Chmielewskiej, która stanowi w jej pisarstwie pozycję wyjątkową. Podjęta w artykule interpretacja ma ukazać zarówno sposoby przekształcenia modelu powieści kryminalnej, jak i wydobyć jej humorystyczna dominantę. W analizie tekstu stosowano metody badań strukturalnych połączone z elementami socjologii literatury. Powieść odbiega od ukształtowanego wcześniej wzorca zmianą struktury narracyjnej z pierwszoosobowej na trzecio-osobową oraz mocniejszym wyeksponowaniem ludycznego obrazu świata. Autorka akcentowała aspekt humorystyczny, wysuwając go przed kryminalną intrygę i skupiając się na kreacji bohatera oraz na wywołanych (...) jego działaniami komicznych zdarzeniach. Twórczość Chmielewskiej wyodrębniał stosowany przez nią typ komizmu, który odróżniał jej utwory od „klasycznego” kryminału. W Lesiu nastąpiła zmiana konwencji – kryminał „serio” zastąpiła zabawa w kryminał. Autorka konwencjom powieści kryminalnej, nadawała nowe znaczenia i odwołując się do obiegowych motywów gatunku (zbrodnia (nie)doskonała, napad na pociąg), banalizuje je i ośmiesza. Kolejne części artykułu skupiają się na: charakterystyce bohatera; aspektach komediowych; parodii i stylizacjach językowych, których tłem są stosunki społeczno-kulturowe w PRL w latach siedemdziesiątych XX wieku. Istotną przyczyną zwrotu pisarzy i czytelników w stronę „zabawnej sensacji” zdaje się rodzaj oswajania negatywnie kojarzonej przez wielu Polaków niezbyt odległej przeszłości. Kpina z aparatu sprawiedliwości, pokazywanie nieudolnych policjantów, opieszałość organów ścigania łączą się z apologią zwykłego obywatela, który „domowymi sposobami” radzi sobie w tej rzeczywistości. Powieść Chmielewskiej znalazła licznych naśladowców i kontynuatorów po roku 1989 w nurcie groteskowym powieści kryminalnej. Lesio stanowi ważny przykład rozmaitości gatunkowej powieści kryminalnej, zmienności form i funkcji aspektu ludycznego w jej strukturze. (shrink)

When it comes to social criticism of the economy, Critical Theory has thus far failed to discover specific immanent norms in that sphere of activity. In response, we propose that what is needed is to double down on the idealism of Critical Theory by taking seriously the sophisticated structure of agency developed in Hegel’s own account of freedom as self-determination. When we do so, we will see that the anti-metaphysical gestures of recent Critical Theory work in opposition to its attempts (...) to develop immanent critique. In this paper we first briefly reconsider Axel Honneth’s project as it concerns economic institutions and then respond by returning to the problem of freedom and articulating a view according to which the problem of individual self-determination and the problem of social production are the same problem seen from different angles. Then we present briefly Hegel’s own social theory from this perspective before moving on to trace the outlines of such a critical theory of contemporary capitalism. (shrink)

The subject of this paper is modern representative democracy. Instead of discussing the many theories which strive to define and describe the essence of democracy, such as the classic, the competitive, the structural, the participatory, the concessionary, etc., it is our aim to present the various practical approaches to "democracy in action" in the post-Communist period, i.e., to characterize the various notions of the axiological and philosophical assumptions that provide the cornerstone of democracy.

Summary The logical structure of the complete process of argumentation in the historical science is deductive. It implies confirmation and disconfirmation of hypotheses with the help of the concept of the indicator, which is more objective and more universal than the one of the source; the problem of the objectivity of criteria of the reasoning of hypotheses is being discussed.

The paper tries to show that the theory of Srzednicki and Żurkowska can be viewed as an new and interesting solution of the classical problem: Can we cognize the objective reality? The theory discussed here conquer the cognitive skepticism on the condition, that there is not a impassable gap between the pre-ego experiencing without the notions and the subject cognizing by using the notions.

The paper proposes a metaaxiological political framework, which is the ground for the thesis that the central idea that underlies politics is well-being and its improvement. Every political activity relies on certain goods, values and standards forming its operational framework. The aim and essence of politics is to ensure the realization of constitutive values. These values include the normative concept of the human being and constitutive values underpinning the functioning of the state and political community (i.e. good life, justice, freedom, (...) security, peace, identity, unity, rule of law, representation, sovereignty, legitimacy). On the one hand, the normative values represent preconditions that have to be present in every political sphere. On the other, they serve as ideals pursued by states and political systems. They are investigated by means of normative typological categories. (shrink)

I argue for two claims. First I argue against the consensus view that accurate behavioral prediction based on accurate representation of cognitive states, i.e. mind reading , is the sustaining function of propositional attitude ascription. This practice cannot have been selected in evolution and cannot persist, in virtue of its predictive utility, because there are principled reasons why it is inadequate as a tool for behavioral prediction. Second I give reasons that favor an alternative account of the sustaining function of (...) propositional attitude ascription. I argue that it serves a mind-shaping function. Roughly, propositional attitude ascription enables human beings to set up regulative ideals that function to mold behavior so as to make it easier to coordinate with. (shrink)

The author presents the problem of humanizing the demon and giving to the human being the demonic features. The analysis focuses on modern Polish prose, especially on such works: Cz. Miłosz, A. Szczypiorski, J. Broszkiewicz, A. Gołubiew, T. Konwicki, G. Herling- Grudziński. He is mostly interested in the devil figure as an evil spirit.

Cet article aborde le rôle du personnage du diable dans le roman de Jerzy Krzysztoń Obłęd. Jusqu'à présent ce rôle n'est pas suffisamment apprécié, malgré qu’il soit de très grande importance. La raison d’être du diable dans ce roman e’est la personnification des états psychiques du heros et du narrateur en commun. Dans Obłęd le diable a été présenté, avant tout, du point de vue médical et il a enrichi la description de la maladie du héros principal. Comme la figure (...) du mal, le personnage du diable facilite à contempler la réalité du mal et de la souffrance. (shrink)