The paper introduces a concept of logic applied to a formalization of the so-called inferences preserving degrees of truth. Semantical and syntactical characterizations of three kinds of logics preserving degrees of truth are provided. The other approach than in [3] and [9] to the problem of expressing that a sentence is less true than a sentence is presented.

In the paper, tracing the traditional Hilbert-style syntactic account of logics, a syntactic characteristic of a closure operation defined on a complete lattice follows. The approach is based on observation that the role of rule of inference for a given consequence operation may be played by an ordinary binary relation on the complete lattice on which the closure operation is defined.

Two different kinds of multiple-conclusion consequence relations taken from Shoesmith and Smiley and Galatos and Tsinakis or Nowak, called here disjunctive and conjunctive, respectively, defined on a formal language, are considered. They are transferred into a bounded lattice and a complete lattice, respectively. The properties of such abstract consequence relations are presented.

Formalization of reasoning which accepts rules of inference leading to conclusions whose logical values are not smaller than the logical value of the “weakest” premise leads to the concept of consequence operation preserving degrees of truth. Several examples of such consequence operation have already been considered . In the present paper we give a general notion of the consequence operation preserving degrees of truth and its characterization in terms of projective generation and selfextensionality.

The paper deals with a generalization of the notion of partition for wider classes of binary relations than equivalences: for quasiorders and tolerance relations. The counterpart of partition for the quasiorders is based on a generalization of the notion of equivalence class while it is shown that such a generalization does not work in case of tolerances. Some results from [5] are proved in a much more simple way. The third kind of “partition” corresponding to tolerances, not occurring in [5], (...) is introduced. (shrink)

There are well-known isomorphisms between the complete lattice of all partitions of a given set A and the lattice of all equivalence relations on A. In the paper the notion of partition is generalized in order to work correctly for wider classes of binary relations than equivalence ones such as quasiorders or tolerance relations. Some others classes of binary relations and corresponding counterparts of partitions are considered.

W artykule analizuje się pojęcie „proposition" (sądu w sensie logicznym) wprowadzone w pracy D. Vandervekena "What is a Proposition", stosując metody algebraiczne. Analiza ta umożliwia głębsze zrozumienie tego pojęcia, prowadzi m.in. do uogólnienia pojęcia „mocnej implikacji" (§5), jej głównym rezultatem jest pewna reprezentacja pojęcia „proposition” (§ 6).

Our purpose is to formulate a complete logic of propositions that takes into account the fact that propositions are both senses provided with truth values and contents of conceptual thoughts. In our formalization, propositions are more complex entities than simple functions from possible worlds into truth values. They have a structure of constituents (a content) in addition to truth conditions. The formalization is adequate for the purposes of the logic of speech acts. It imposes a stronger criterion of propositional identity (...) than strict equivalence. Two propositions P and Q are identical if and only if, for any illocutionary force F, it is not possible to perform with success a speech act of the form F(P) without also performing with success a speech act of the form F(Q). Unlike hyperintensional logic, our logic of propositions is compatible with the classical Boolean laws of propositional identity such as the symmetry and the associativity of conjunction and the reduction of double negation. (shrink)

Two examples of Galois connections and their dual forms are considered. One of them is applied to formulate a criterion when a given subset of a complete lattice forms a complete lattice. The second, closely related to the first, is used to prove in a short way the Knaster-Tarski’s fixed point theorem.

The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r the least multiple-conclusion consequence relation containing r, is dened on the grounds of a natural Galois connection. It is shown that the very closure C is an isomorphism from the power set algebra of a simple binary relation to the Boolean algebra of all multiple-conclusion consequence relations.

The paper deals with seven propositional paraconsistent logics. Four of them are based on intuitionistic positive logic: the minimal Johansson’s logic, some two its weakenings and its extension by the law of excluded middle. The remaining three ones are their counterparts having the classical positive base. For all logics the Kripke-style semantics is provided.

Celem pracy jest analiza formalna pewnych ogólnych własności charakteryzujących wnioskowania. Autorzy twierdzą, że posiadanie tych własności jest warunkiem koniecznym, aby wnioskowanie było logicznie wartościowe. Wprowadzają aksjomatycznie pojęcie "uogólnionej operacji inferencji", które formalnie ujmuje wnioskowanie mające owe cechy. Następnie reprezentują uogólnioną operację inferencji przy użyciu relacji binarnych określonych na podzbiorach języka. Podają również taką reprezentację dla logicznej operacji konsekwencji (każda logiczna operacja konsekwencji jest uogólnioną operacją inferencji).

The aim of this article is to evaluate critically possibilities of interpreting Łukasiewicz logic by means of J.Słupecki s method presented in reference (1). In paragraph 1, we are giving a formal construction on which the method of partial interpretation Ƚ₃ is based. Paragraph 2 contains initial assumptions through which prof. J. Słupecki obtains the partial interpretation Ƚ₃ In paragraph 3, we prove that the way of obtaining this interpretation is really based on the construction from paragraph 1. Finally, in (...) paragraph 4, we present our opinion on the interpretation Ƚ₃. We prove that this interpretation cannot be obtained by means of the applied method. (shrink)

Theological Faculty of the Adam Mickiewicz University in Poznań organized a series of sessions devoted to problems of dialogue. Professor Baniak, the main organizer of those meetings, invited philosophers, theologians, pedagogues, psychologists and other intellectuals/scientists, whose area of interest was dialogue. The first conference took place in June 2001, the last in June 2007, and organizers have a hope that the endeavor would be continued. Lectures given at conferences were devoted to many subjects—classical philosophy of dialogue, dialogue in theological thought, (...) interreligious dialogue etc. (shrink)

The paper contains two concepts of implication that can be called analytic in the sense of Parry [5] or Fine [2]. Contrary to the Parry's approach, these implications do not involve S4 strict implication but the classical one. This fact refers to the similar notion of so-called demodalized analytic implication of Dunn [1] and strong implication of Vanderveken, cf. [4, 6]. The features of analytic classical implications are presented in the form of two propositional logics on the pure implicational language.

The paper examines the evolution of Marek Siemek’s “dialogical principle.” The early version of this principle, sketched in the essay “Dialogue and Its Myth”, meets several criteria of the phenomenology of dialogue and even hermeneutics. However, Siemek has continued to change his concept of dialogue over the decades. In his recent book, Freedom, Reason, Intersubjectivity, he explores transcendental preconditions of free and reasonable activism, i.e., the Fichtean “limitative synthesis” of I and Non-I and its applications in social interrelations. He (...) no longer considers the empirical, anthropological, and phenomenological aspects of dialogics and mutual recognition. He also replaces mutuality with reciprocity, asymmetry with symmetry, and phenomenology with transcendentalism. (shrink)

Contents: Leszek NOWAK, Marcin PAPRZYCKI: Introduction. ON THE NATURE OF SOCIAL SYSTEM. Ulrich K. PREUSS: Political Order and Democracy. Carl Schmitt and his Influence. Katarzyna PAPRZYCKA: A Paradox in Hobbes' Philosophy of Law. Stephen L. ESQUITH: Democratic Political Dialogue. Edward JELINSKI: Democracy in Polish Reformist Socialist Thought. Katarzyna PAPRZYCKA: The Master and Slave Configuration in Hegel's System. Maurice GODELIER: Lévi-Strauss, Marx and After. A reappraisal of structuralist and Marxist tools for analyzing social logics. Krzysztof NIEDZWIADEK: On the Structure of (...) Social System. Waldemar CZAJKOWSKI: Social Being and Its Reproduction. ON RATIONALITY AND CAPTIVITY. Marek ZIO??L??KOWSKI: Power and Knowledge. Leszek NOWAK: Two Inter-Human Limits to the Rationality of Man. Marcin PAPRZYCKI: The non-Christian Model of Man. An Attempt at a Psychoanalytic Explanation. Robert EGIERT: Toward the Sophisticated Rationalistic Model of Man. ON SOCIAL REVOLUTION. Leszek NOWAK: Revolution is an Opaque Progress but a Progress Nonetheless. Katarzyna PAPRZYCKA, Marcin PAPRZYCKI: How Do Enslaved People Make Revolutions? Grzegorz TOMCZAK: Is It Worth Winning a Revolution? Krzysztof BRZECHCZYN: Civil Loop and the Absorption of Elites. Richard C. MCCLEARY: What Makes Marxist Historical Materialism Objective? Grzegorz KOTLARSKI: Classes and Masses in Social Philosophy of Rosa Luxemburg. ON REAL SOCIALISM. Ernest GELLNER: The Civil and the Sacred. Witold MARCISZEWSKI: Economics and the Idea of Information. Why socialism must have collapsed? Leszek NOWAK, Katarzyna PAPRZYCKA, Marcin PAPRZYCKI: On Multilinearity of Socialism. Achim SIEGEL: The Overrepression Cycle in the Soviet Union. An Operationalization of a Theoretical Model. Krzysztof BRZECHCZYN: The State of the Teutonic Order as a Socialist Society. DISCUSSIONS. Richard MCCLEARLY: Socioanalysis and Philosophy. W??l??odzimierz HELLER: The Public and the Private in Hannah Arendt's Political Philosophy. Methodological Remarks. Krzysztof BRZECHCZYN: Unsuccessful Conquest and Successful Subordination. A contribution to the theory of intersocial relations. (shrink)

The volume brings together contributions in the spirit embodied by Marek J. Siemek and Jakub Kloc-Konkołowicz, two Warsaw philosophers truly devoted to Classical German Philosophy. They were simultaneously in a relationship between thinker and adept, and thinker and thinker. They both taught philosophy, with a strong emphasis on classic German philosophy, at Warsaw University. Under the theme “Ethical Theory in Classic German Philosophy Then and Now,” students and companions continue their discussions with both of them.

Contents: PART I. PHILOSOPHICAL EXPLANATIONS OF CREATIVITY AND CONSCIOUSNESS. Krystyna ZAMIARA: The psychological approach to creativity. A critical appraisal. Rick L. FRANKLIN: Creativity and depth in understanding. Zdzis??l??awa PIATEK: Creativity of life and F.W. Nietzsche's idea of Superman. Jaromír JANOUSEK: Dialogue and joint activity: A psychological approach. Krystyna ZAMIARA: Some remarks on Piaget's notion of "consciousness" and its importance for the studies of culture. Anna GA??L??DOWA, and Aleksander NELICKI: Attitudes towards values as a factor determining creativity. PART II. THE ROLE (...) OF CREATIVITY IN THE THEORY-BUILDING. Leszek NOWAK: On creativity in theory-building. Izabella NOWAK: Discovery and correspondence. A contribution to the idealizational approach to science. Jerzy BRZEZI??N??SKI: Research process in psychology in the context of the researcher's methodological consciousness. Andrzej FALKOWSKI: Cognitive similarity in scientific discovery: An ecological approach. PART III: CONSCIOUSNESS IN HISTORICAL PERSPECTIVE. Kathleen V. WILKES: Inside insight. Franco DI MARIA, and Gioacchino LAVANCO: History and epistemology of the unconscious. Franco DI MARIA, and Gioacchino LAVANCO: Conscious/unconscious and group-analysis. Banjamin WALLACE, Andrzej KOKOSZKA, and Deanna D. TUROSKY: Historical and contemporary thoughts on consciousness and its altered states. PART IV. BETWEEN EXPRESSION AND PROJECTION. Micha??l?? STASIAKIEWICZ: Creativity and projection: Paradigm opposition and implicit correspondence. Anna BRZEZI??N??SKA: Creative expression versus projection. PART V. THE ROLE OF PSYCHOPHYSIOLOGICAL COMPONENTS IN EXPLANATION OF PHENOMENA OF CONSCIOUSNESS AND CREATIVITY. Mario BUNGE: Explaining creativity. Piotr WOLSKI: Hemispheric asymmetry and consciousness. Is there any relationship? Andrzej KOKOSZKA: A rationale for psychology of consciousness. PSYCHOLOGICAL EXPLANATIONS OF CREATIVITY AND CONSCIOUSNESS. Santo DI NUOVO: Consciousness and attention. Tomasz MARUSZEWSKI: Two looks on consciousness. Is there any interface between philosophy of science and psychology? Marek KOWALCZYK: On the question of the functions of consciousness. Dean Keith SIMONTON: From childhood giftedness to creative genius. Magdalena FAFROWICZ, Tadeusz MAREK, and Czes??l??aw NOWOROL: Effectiveness of innovation as a function of creative style of behavior and type of leadership. Mark A. RUNCO, and Joni RADIO GAYNOR: Creativity and optimal development. (shrink)

Descriptions of bodies within the literature of the enactive approach to cognitive science exhibit an interesting dialectical tension. On the one hand, a body is considered to be a unity which instantiates an identity, forming an intrinsic basis for value. On the other, a living body is in a reciprocally defining relationship with the environment, and is therefore immersed and entangled with, rather than distinct from, its environment. In this paper I examine this tension, and its implications for the enactive (...) approach, particularly the enactive conceptions of life and bodies. Following the lead of others, I argue that enactive cognitive science can benefit from a deeper reading and integration with extant work on the complexity and multiplicity of the living body within feminist philosophy and feminist science studies. (shrink)

Inhalt: Rainer ADOLPHI: Weltbild und Ich-Verständnis. Die Transformation des >Primats der praktischen Vernunft< beim späteren Fichte. Jacinto RIVERA DE ROSALES: Das Absolute und die Sittenlehre von 1812. Sein und Freiheit. Marek J. SIEMEK: Fichtes und Hegels Konzept der Intersubjektivität. Ewa NOWAK-JUCHACZ: Das Anerkennungsprinzip bei Kant, Fichte und Hegel. Ronald MATHER: On the Concepts of Recognition. Makoto TAKADA: Verwandlung der Individuumslehre bei Fichte. Hans Georg von MANZ: Deduktion und Aufgabe des individuellen Ich in Fichtes Darstellungen der Wissenschaftslehre von 1810/11. (...) Jürgen STAHL: Zur Kultur in der Vermittlungsrolle zwischen empirischem und absolutem Ich. Christoph ASMUTH: Metaphysik und Historie bei J.G. Fichte. Stephan GNÄDINGER: Vorsehung. Ein religionsphilosophisches Grundproblem bei J.G. Fichte. Johannes HEINRICHS: Die Mitte der Zeit als Tiefpunkt einer Parabel. Fichtes Geschichtskonstruktion und Grundzüge der gegenwärtigen Zeitenwende. Marco M. OLIVETTI: Zum Religions- und Offenbarungsverständnis beim jungen Fichte und bei Kant. (shrink)

This chapter outlines an embodied conception of noise. From an enactive and ecological perspective noise is an inevitable complement to the richness of bodily sensitivities and complex actions. The world around us, the universe, is replete, full of inexhaustible texture available to be explored at every scale at which we are capable, or can become capable, of making distinctions. Drawing on work in ecological psychology I suggest that noise is our experience of that encompassing fullness, and can be encountered in (...) a number of different ways depending on the organisation of our bodies and activities at different scales across a given period. While that fullness can be overwhelming, and create challenges for us to distinguish and coordinate effectively with the particular aspects of the world most relevant to our present concerns - noise can be intrusive and disruptive - I argue that there are significant positive aspects to the phenomenon. Noise is an inherent part of the rich messiness of the world as discussed in recent enactive work, which provides both robustness to developmental processes as well as opportunities for action that support adaptive agency. In a noisy, messy world there are always more options available to explore. (shrink)

Enactive and ecological approaches to cognitive science both claim a “mutuality” between agents and their environments – that they have a complementary nature and should be addressed as a single whole system. Despite this apparent agreement, each offers criticisms of the other on precisely this point – enactivists claiming that ecological psychologists over-emphasise the environment, while the complementary criticism, of agent-centred constructivism, is levelled by ecological psychologists at enactivists. In this paper I suggest that underlying the confusion between the two (...) approaches is the complexity of agency, which comes in different forms, at different scales or levels of analysis. Cognitive science has not theorised the relationship between these different forms in a sufficiently disciplined manner, and a task therefore remains of finding a way to map the complex territory of agency. (shrink)

In the article I discuss the conceptual problem of other minds and different approaches to mental concepts. Firstly, I introduce the conceptual problem and argue that solutions proposed by theory-theory and direct perception approach are inadequate. I claim that mental concepts are neither theoretical terms nor observational terms. Then, I consider third option which states that mental concepts are dispositional terms, i.e. they concern particular patterns (stereotypes) of behavior. Finally, I argue that dispositional approach is to some extent coherent with (...) phenomenological account and that phenomenological concept of embodiment can improve this position. (shrink)

The paper concerns the problem of the legal responsibility of autonomous machines. In our opinion it boils down to the question of whether such machines can be seen as real agents through the prism of folk-psychology. We argue that autonomous machines cannot be granted the status of legal agents. Although this is quite possible from purely technical point of view, since the law is a conventional tool of regulating social interactions and as such can accommodate various legislative constructs, including legal (...) responsibility of autonomous artificial agents, we believe that it would remain a mere ‘law in books’, never materializing as ‘law in action’. It is not impossible to imagine that the evolution of our conceptual apparatus will reach a stage, when autonomous robots become full-blooded moral and legal agents. However, today at least, we seem to be far from this point. (shrink)