We characterize all finitary consequence relations over S4.3, both syntactically, by exhibiting so-called passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic L extending S4 has projective unification if and only if L contains S4.3. In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known (...) results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relations over S4.3 is countable and distributive and it forms a Heyting algebra. (shrink)

Advertising is one of the commonly visible elements of the urban landscape (real and virtual). It also does not require proof that advertisements of cities as such are also part of their “cityscape.” Since at least the nineteenth century, cities have advertised themselves as attractive places to live, visit, or do business. Therefore, the following research question can be asked: How do Polish cities present themselves in advertisements one can find in the landscape? The study assumes that each advertisement should (...) clearly identify the sender and indicate its specific characteristics, distinguishing itself from its competitors. Polish cities began to use logos and slogans as a mecha­nism of description and distinction after 1990, when socioeconomic changes started. There are quite a few studies on this activity, but most of them are single case studies. Therefore, the authors decided to examine a relatively large sample of Polish cities, which allows for statistical analysis. Analysis of the logo and slogan content allows the authors to examine the desired image or the projected identity of Polish cities. The methods were chosen because they admit qualitative and quantitative analysis, especially when there is a sufficiently large sample. Therefore, the survey covered all towns and cities with more than 20,000 inhabitants in Poland. There are 218 such towns in total. The analysis was carried out in the first half of 2021. In conclusion, the authors find that the advertising of Polish cities is embedded in the past, promotes resources (substance), sometimes geographical location, but rarely refers to famous characters and human potential. And such a picture of these cities one may find on outdoor advertisements, which sometimes produce dissonance when accompanying modern buildings or new transport solutions in the city. (shrink)

What is the class of possible semiotic systems? What kinds of systems could count as such systems? The human mind is naturally considered the prototypical semiotic system. During years of research in semiotics the class has been broadened to include i.e. living systems like animals, or even plants. It is suggested in the literature on artificial intelligence that artificial agents are typical examples of symbol-processing entities. It also seems that semiotic processes are in fact cognitive processes. In consequence, it is (...) natural to ask the question about the relation between semiotic studies and research on artificial cognitive systems within cognitive science. Consequently, my main question concerns the problem of inclusion or exclusion from the semiotic spectrum at least some artificial systems. I would like to consider some arguments against the possibility of artificial semiotic systems and I will try to repeal them. Then I will present an existing natural-language using agent of the SNePS system and interpret it in terms of Peircean theory of signs. I would like also to show that some properties of semiotic systems in Peircean sense could be also found in a discussed artificial system. Finally, I will have some remarks on the status of semiotics in general. (shrink)

In the discussions concerning the date of Dharmakīrti, Jaina sources have never been seriously taken into account. They may, however, provide a valuable insight because Dharmakīrti both criticised and was criticised by Jaina thinkers. Two Jaina authors, Samantabhadra and Pūjyapāda Devanandin, may prove crucial in determining the actual dates of Dharmakīrti. The paper argues that Dharmakīrti directly influenced Samantabhadra in a number of ways, which sets the terminus ante quem for Dharmakīrti, and his traditional chronology has to be reconsidered in (...) the light of new findings. The paper suggests new dates for all the three authors. (shrink)

Two eight-century Jaina contemporaries, a Śvetāmbara philosopher Siddhasena Mahāmati and a Digambara Akalaṅka Bhaṭṭa revolutionised Jaina epistemology, by radically transforming basic epistemological concepts, which had been based on canonical tradition. The paper presents a brief historical outline of the developments of basic epistemological concepts in Jaina philolosophy such as the cognitive criterion and logical faculties as well as their fourteen typological models which serve as the backdrop of important innovations in epistemology introduced by Siddhasena, Pātrasvāmin and Akalaṅka. An important contribution (...) of these Jaina thinkers was to economize Indian logic and the rules of inference, first, by devising only one kind of logical reason called ‘inexplicability otherwise’, based on the single inseparable connection of the proving property with the inferable property, and, second, by limiting the necessary number of the members of the proof formula merely to two. These two innovations were related to the thinkers’ intention to devise a logic which would not primarily be based on empirical verification but its structural patterns would be valid irrespective of external observation. Further, the paper focuses on the nature of the epistemological shifts which Siddhasena and Akalaṅka introduced independently of each other and on the question how Siddhasena’s and Akalaṅka’s ideas were partly anchored in Buddhist concepts of the pramāṇa school of Diṅnāga and Dharmakīrti. With the Buddhist background, Siddhasena sought to define the criteria essential to distinguish true from false cognitions and to provide a novel classification of the pramāṇas. He can further be accredited with formulating the first Jaina descriptive definition of the cognitive criterion. The final section of the paper explains how Akalaṅka applies novel epistemological ideas, first, to construct realistic ontology and objectivity of both the external world and the cognising subject, and, secondly, to combat fundamental Buddhist concepts such as idealism and momentariness. (shrink)

The paper discusses possible roles of consciousness in a semiotic activity of a cognitive agent. The discussion, we claim, is based on two related approaches to consciousness: on Chalmers’ theory of phenomenal and psychological consciousness and on Damasio’s neural theory, which draws a distinction between core and extended consciousness. Two stages of cognitive-semiotic processing are discussed: the moment of perception of a sign as a meaningful entity and the metasemiotic processes understood as the human capacity to reflect on signs and (...) their usage, analyse and control processes of recognition, interpretation of signs and to detect and correct errors in semiotic activity. In the case of the first stage, it is argued that signs as meaningful entities have a distincly experiential character. The feeling of meaningfulness is a result of phenomenal consciousness, in particular a result of the so-called valuation features of phenomenal experience. I claim that this aspect of cognitive-semiotic activity is possible owing to a special neural mechanism called a semiotic marker. It is argued that semiotic systems have to be able to use signs as signs, i.e. they should display some metacognitive capacities, in particular an ability to analyse semiosis at a metalevel. It is argued that such metasemiosis is dependent on psychological consciousness and is realized at the neural level in the form of extended consciousness. The paper is based on a particular understanding of cognitive semiotics as a discipline involving analyses of cognitive processes as semiotic processes, i.e. processes requiring usage of signs. (shrink)

L’article aborde la problématique des actes normatifs de droit pénal adoptés en Pologne dans les années 1944–1956. L’auteur essaie de répondre à la question : comment le régime politique et l’idéologie stalinienne ont-ils influencé la manière de rédiger les textes juridiques de cette branche du droit lors des plus grandes répressions par le pouvoir d’après-guerre en Pologne? À partir de 1944, le droit pénal a été adapté aux besoins des autorités communistes, contrôlées par l’Union soviétique. Dans la période analysée, on (...) a introduit en Pologne plus de cent actes normatifs englobant des dispositions pénales. L’idéologisation du droit pénal est visible dans toutes les parties des actes normatifs : titres, préambules et dispositions juridiques. On retrouve dans leur contenu les valeurs politiques, économiques et sociales fondamentales pour l’idéologie du stalinisme, dont les thèses ont été mises en œuvre en Pologne après la fin de l’occupation allemande. (shrink)

In the paper we examine the method of axiomatic rejection used to describe the set of nonvalid formulae of Aristotle's syllogistic. First we show that the condition which the system of syllogistic has to fulfil to be ompletely axiomatised, is identical to the condition for any first order theory to be used as a logic program. Than we study the connection between models used or refutation in a first order theory and rejected axioms for that theory. We show that any (...) formula of syllogistic enriched with classical connectives is decidable using models in the domain with three members. (shrink)

In the paper I explore the relations between a relatively new and quickly expanding branch of artificial intelligence –- the automated discovery systems –- and some new views advanced in the old debate over scientific realism. I focus my attention on one such system, GELL-MANN, designed in 1990 at Wichita State University. The program's task was to analyze elementary particle data available in 1964 and formulate an hypothesis (or hypotheses) about a `hidden', more simple structure of matter, or to put (...) it in contemporary terms –- the discovery of quarks. The central thesis of my paper is that systems like GELL-MANN not only discover (or rediscover) the hidden structure of matter, but also provide independent strong evidence in favor of scientific realism about entities involved in that structure. I make an attempt to show how an argument for scientific realism about sub-microscopic entities can be constructed that would parallel Ian Hacking's `argument from coincidence' presented with respect to microscopic objects in his famous book Representing and Intervening. (shrink)

The aim of the article is to present the sources of Alasdair MacIntyre’s political conception. Considering his criticism of contemporary culture as known, the issue of man’s subjectivity, its intellectual character, and perception of community as a place of thereby understood realization of the human nature follow. At the same time, an emphasis of the importance of philosophical reflection for self-knowledge of an average member of such a community somehow forces a conclusion on a political nature of an intellectual activity.

Public opinion has it that ethics should be concerned with studying and providing precise and reliable rules of conduct. This view is based in a long philosophical tradition which begins with the Stoics and continues at least to Kant; it is, however, a false view. There are good reasons to turn our attention to these aspects of moral thinking which refer to and emphasize the element of risk and uncertainty. In the article I briefly discuss two of such reasons: the (...) problem of moral luck and the problem of action based on ignorance. Consideration of these two problems leads to the conclusion that the most tricky element in moral thinking is the firm belief of the subject in the truth of the premises on which they base their actions and in the irrelevance of external factors to the assessment of their deeds. In this light I argue that the basic requirement for a moral justification of a particular action is not its conformity to a certain set of rules but the subject’s critical reflection on their course of action. Indeed, what turns an attitude into a moral attitude is an amoral, epistemological factor: criticism and openness to uncertainty. (shrink)

Despite its importance, the work is rather secondary in the sense that it relies, for the most part, on the Buddhist logical legacy. The first extant commentary is the Nyayavatara-vivrti of Siddharsigani.

The aim of the paper is to investigate the relations between the basic moral categories, namely those of norms, ideals and supererogation. The subject of discussion is, firstly, the ways that these categories are understood; secondly, the possible approaches towards moral acting that appear due to their use; and thirdly, their relationship within the moral system. However, what is of a special importance here is the relationship between the categories of norms and ideals (or in a wider aspect — laudable (...) acts) and a thesis about their complementary character. For it seems that the omission of one of the elements that are analysed within a moral system must result in an essential limitation of both the possibilities of finding an adequate approach to a given moral problem (on a descriptive level), as well as defining the full set of normative guidelines. Therefore, as I shall argue, resigning from a two-level method of moral analysis may lead to the atrophy of the very idea of ethics itself. (shrink)

In my paper I present a critique of Dorota Brylla’s interpretation of the dialogue by Nicholas of Cusa - De Deo abscondito, and a critique of her stance on apophatic theology. I consider Brylla’s position an exemplification of a more widespread philosophical point of view in terms of both the interpretation of Nicholas thought and the apophatic tradition as such. I also present an alternative reading of both his dialogue and apophatic theology. Finally, I point out some implications of adopting (...) my position for philosophical theology and the philosophy of religion. (shrink)

Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with deontic action logic based on boolean (...) algebra. (shrink)

In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We present the (...) most important paradigms, including the logic of actions, where actions are interpreted as transitions between the situations and STIT logic, which states only the responsibility of the agent for particular states of affairs. We discuss questions of determinism and indeterminism of actions, identification of basic actions and operations and the issue of identity. The final part of the paper is devoted to deontic categories. In particular, the applicability of the concepts of strong and weak permission and prohibition in different situational contexts, and their relationship to the two concepts of obligation: abstract and derived. (shrink)

We investigate a speci c model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about other agent's epistemic (...) capacities. Moreover, we try to express the description of problem speci cation using the tools from applied ontology { RDF format for information and the Protege editor. (shrink)

Among different types of autonomy of ethics, semantic autonomy seems to be the most interesting. It is a thesis about irreducibility of meaning of ethical terms to some other types of discourse. The paper proposes an argument for the semantic autonomy of ethics, based on a detailed interpretation of the Open Question Argument by G.E. Moore, and followed up by the reading of Philippa Foot's argument about weak objectivity of evaluative meaning of ethical terms. The result of investigation gives the (...) two-fold picture of modern understanding of morality: irrevisability of moral demands as attempted by any theoretical armchair endeavors, which are external to the moral practice, and democratic intersubjectivity of moral discourse. (shrink)

This paper studies some normative relations that hold between actions, their preconditions and their effects, with particular attention to connecting what are often called ‘ought to be’ norms with ‘ought to do’ norms. We use a formal model based on a form of transition system called a ‘coloured labelled transition system’ (coloured LTS) introduced in a series of papers by Sergot and Craven. Those works have variously presented a formalism (an ‘action language’) nC+ for defining and computing with a (coloured) (...) LTS, and another, separate formalism, a modal language interpreted on a (coloured) LTS used to express its properties. We consolidate these two strands. Instead of specifying the obligatory and prohibited states and transitions as part of the construction of a coloured LTS as in nC+, we represent norms in the modal language and use those to construct a coloured LTS from a given regular (uncoloured) one. We also show how connections between norms on states and norms on transitions previously treated as fixed constraints of a coloured LTS can instead be defined within the modal language used for representing norms. (shrink)

We present a dynamical model of interaction between recognition memory and affect, focusing on the phenomenon of “warm glow of familiarity.” In our model, both familiarity and affect reflect quick monitoring of coherence in an attractor neural network. This model parsimoniously explains a variety of empirical phenomena, including mere-exposure and beauty-in-averages effects, and the speed of familiarity and affect judgments.

The sciences, from their ancient beginnings, use a double way of investigation. One was applied to mineral and astronomical bodies, another to living ones. A ruling, tacit, common sense methodological or epistemological principle was this: The method of description should respect the inner essential properties of the object. For instance, neither the movements of the astronomical bodies, nor the behavior of the living bodies should be described in the scale of subatomic interactions. In modern times quite another methodological principle has (...) been enthroned. The cosmos, astronomical, mineral and alive bodies altogether, have, allegedly, to be considered as a single natural whole, ruled by essentially the same set of principles. The properties of the mineral world are accepted as a universal model of descriptive concepts, and the explanatory concepts proper to the mineral world are accepted as a universal model of explanation in biology. So, up to now, the academic sciences have been dominated by the philosophical option of materialist monism, or panmaterialism. This option—we may call it antiteleologism and fragmentarism—has a profound impact on empirical research and the way biological phenomena are described. This strange, unnatural, arbitrarily imposed conceptual framework ignores the most fundamental biological dynamisms, and precludes our intellect from seeing the right questions and striving towards the right answers. Consequently it arbitrarily reduces the range of “scientifically acceptable” explanations. This antiteleological methodology of sciences, imposed on biological mind by philosophers, led to major change in the ideas of philosophers of nature. The physiology and anatomy of the fully developed living bodies has become their central object of study. Much less attention is paid to developmental processes such as biosynthesis, morphogenesis, embryogenesis, phenotypic adaptation and regeneration. The fully shaped structures and their functional properties are considered a hopeful basis of all the necessary explanations. For instance the structure of tile DNA molecule has become more important than the problem of its origin, and the structure of the brain more important than the developmental processes which lead to its construction. However, the enormous progress of biological sciences in spite of the widespread, dominating antiteleological and fragmentarist approach corroborates the very ancient, Aristotelian insight, which put the principal stress on the developmental aspect of life. Aristotle, and his more modern followers, was fascinated by the integrated and intrinsically heterogenous tendencies visible in the course of life. Today, we can say that at least eight such tendencies are universal, i.e. appear in every single form of life : The tendency to select the proper kind of raw material and the proper kind of raw energy present in the environment. The tendency to synthesize new, highly selective forms of chemical structures. The tendency to utilize biological material in the process of building the nano-, micro-, and macro-machines. The tendency for a relatively rapid, continuous production and replacement of all the elements of the functional structures of the body. The tendency for a relatively rapid, continuous modification of the functional structures in a way which makes them more efficient within a changing environment. The tendency to repair and to regenerate the damaged elements of the functional structures of the body. The tendency for multiplication, which means the production of such structures and the depots of the biological material as seeds, eggs, spores or buds. These structures, providing the environmental conditions are favorable, are starting points of new instances of the above described tendencies. The tendency—possibly universal—to provide all the structures of the body with the “recognition marks” which help to eliminate all the, “alien” bodies and to recognize members of the own kind. These tendencies are not homogeneous. Homogeneous tendencies can be illustrated by the tendency of bodies to attract one another. This kind of tendency was the empirical source of such abstract concepts as gravitation, electrostatic force or magnetic force. Biological tendencies are heterogeneous and, at the same time, integrated. Human intellect is capable of recognizing the fundamental indivisibility of the set. A great number of observations and experiments have revealed and verified the fundamental indivisibility of the whole set of these tendencies. The concrete, bodily outcomes of these tendencies, however, are quite different in different families and orders of living things. Because of these differences the existence of different kinds of integrative principles was postulated. In this way a plurality of living substances was assumed. (shrink)

The picture of the beginnings of humankind presented by natural science is often contrasted with what is conveyed in Scripture. It has been pointed out that the Edenic state before sin – which we refer to as original justice – was a time of absolute perfection in which there was no room for any deficiency. According to Thomas Aquinas, however, this picture conflicts with what Paradise was as a state on the way to Heaven. For Aquinas, the difference between Paradise (...) and the present situation is not an ontological one but a change of circumstance, because original justice was not a period of salvation. This means that Paradise was a period of development, thanks to the grace received, which is reconcilable with the principled account of natural science. The key is the distinction between Paradise and Heaven, which sets religion–science reflections in their proper context. Contribution: The article drew attention to notions of original justice, emphasising the Paradise time as the development of virtues, including the theological virtue of faith. This helps to build an adequate theological framework for a fruitful dialogue with the natural sciences, as recommended by Buitendag. (shrink)

In this paper, I propose a specific version of theism which I would call apophatic theism. In the first part of the paper, I argue that this in the only tenableversion of theism. Due to the fact that it may seem indistinguishable from a very strong form of agnosticism (or atheism understood in the etymological sense of the word: as a-theism where ‘a’ means ‘without’), in the second part of my paper, I try to distinguish apophatic theism from agnosticism (or (...) a-theism), and from so called “Wittgensteinian” view of religion, which also may seem similar to the position I propose. (shrink)

This article presents a general overview of philosophical issues undertaken in the work of Richard Otowicz, Jesuit and Professor of Moral Theology at the Pontifical Faculty of Theology in Warsaw. Within the set of views developed by him, the theological perspective undoubtedly assumes pride of place. Often, however, he refers to philosophical issues from which, in his opinion, one cannot escape—issues that bear directly on human life. What is especially striking is Otowicz’s hypothesis that bioethics is a kind of self-defense (...) reflex of mankind, who are attempting by means of it to intellectually grasp the issues relating to the unlimited expansion of technology. Developments and changes observed in the world are forcing humanity to rethink very fundamental issues, such as interpersonal relationships or the relationship of man to nature. (shrink)

The paper analyses the beginnings of systematic ontology in Jainism, which appears to have began after first century CE, albeit certain ontology-relevant terminology in a nascent form was present earlier. A clear expression of systematic ontological reflection is the existence of models that organize ideas and categories in a more consistent conceptual scheme. Jainism follows similar developments that had earlier taken shape in in the early Buddhist Abhidharma, proto-Sāṁkhya-Yoga and proto-Nyāya-Vaiśeṣika. In addition, the paper argues that the models, five in (...) total, can be used as a methodological tool to distinguish various historical layers in early Jaina writings. (shrink)

The paper examines available references to the Ājīvikas that are often identified by scholars, notably by Basham, as genuine quotations from Ājīvikas’ lost works. In addition, the paper analyses some additional material not previously indentifed as possible quotations relevant to Ājīvikism. Unfortunately, none of such references seem to be genuinely derived from an Ājīvika source: All of such passages or verses previously considered genuinely taken from Ājīvika literature turn out to have been composed by non-Ājīvika authors and usually derive either (...) from Jaina works or from fables and narrative literature. There is no clear proof that the Ājīvikas developed their own Sanskrit literature, much less philosophical literature in Sanskrit. Further, the faithfulness and reliability of reports of the Ājīvikas and paraphrases of their views cannot be assessed with any certainty. (shrink)

Even though globalization is not necessarily a modern phenomenon, quantitatively id does exceed anything which we could observe in the past. In its modern form it entails certain side effects and brings news risks which often involves direct encounters of people representing different or conflicting worldviews and systems of values. To speak of “a clash of civilizations” or “a war of civilizations” would be a misunderstanding, probably motivated politically. What is really pertinent is, however, the question to what extent conflicting (...) systems of values (i.e. people representing or subscribing to conflicting systems of values and lifestyles) can coexist or enter in a dialogue, which should be a requirement for any strategy to solve or manage a conflict. In this context, it proves extremely fruitful to distinguish two kinds of rationality: of the first and second level. Such distinction helps, first of all, to understand to what degree, e.g., deeply religiouspeople and secular scientists are rational, and in what context a dialogue or exchange of ideas between such divergent parties is possible. These results can easily be transferred onto a wide range of other conflicting systems of values. Further, the paper claims that it is not cultures or civilizations, the identity which being extremely complex, heterogeneous and multi-layered, as such enter into a conflict but cultural / civilizational subgroups. The conclusion is that a dialogue between two systems of values is in most cases possible, with one exception. (shrink)

Ebbs and flows of liberalism: In choosing this subject, I have subscribed to the assumption that political history takes turns, not unlike the alternating rhythms of social change. It turns from faith to the mirage of earthly salvation; from an eschatological war to the susceptibility toward acquiescence; and from ideological animation to the cynical contests for power and one’s own self‑seeking interests. According to this premise, the ideo‑political construction of a liberal micro‑history is curtailed by the growth and withering — (...) the ebb and flow — of the proclivity to freedom. (shrink)

Summary This article revises the existing explanations for the marriage between Octavian and Scribonia, which emphasised the young Caesar’s desire for an accommodation with Sextus Pompeius, including a mutual normalization of relations and even an alliance. In reality, such actions were never on the agenda of either politician. The marriage to Scribonia was primarily a message addressed by Octavian to Antonius during a period of tense relations in the year 40 BCE, but also to the Roman plebs and to the (...) veterans. (shrink)

THE PROBLEM OF BEING IN PLATONISM FROM THE PERSPECTIVE OF THOMAS AQUINAS. A META-SYSTEMATIC ESSAY In spite of the apparent opposition to Plato, Aristotle accepted a lot from the thought of his master. The intuition, which plays the key role in the system of Plato, was understood by Aristotle in terms of how we grasp the middle term of syllogism. It is not, therefore, the intuition of being, but the reasoning, departing from the experience (nature’s “intention”), which is the way (...) of the cognition of the ultimate. The teleology of being, which Plato was so keen on finding, was found by Aristotle in the physical world as a counterpart of motion. Alas, Aristotle lost sight of what is most valuable in Plato: the sense of being that transgresses the categories. According to Thomas, being is what is the most perfect in things; so, consequently, what is the proper effect of the Ultimate Cause, and what is Its primary aim. It is better to be, i.e. to exist. Each thing craves for being. Being, however, is, in the Dionysius’ sense, a problem; it might guide us to God, but veil Him before us as well. It is a perfection, but not the Perfection itself, Plato was right at this point. Keywords: BEING, PLATO, ARISTOTLE, THOMAS AQUINAS. (shrink)