Contents: Matti SINTONEN: From the Science of Logic to the Logic of Science. I: HISTORICAL PERSPECTIVES. Zev BECHLER: Hintikka on Plenitude in Aristotle. Marja-Liisa KAKKURI-KNUUTTILA: What Can the Sciences of Man Learn from Aristotle? Martin KUSCH: Theories of Questions in German-Speaking Philosophy Around the Turn of the Century. Nils-Eric SAHLIN: 'HE IS NO GOOD FOR MY WORK': On the Philosophical Relations between Ramsey and Wittgenstein. II: FORMAL TOOLS: INDUCTION, OBSERVATION AND IDENTIFIABILITY. Theo A.F. KUIPERS: The Carnap-Hintikka Programme in Inductive Logic. (...) Isaac LEVI: Caution and Nonmonotonic Inference. Ilkka NIINILUOTO: Inductive Logic, Atomism, and Observational Error. Arto MUTANEN: Theory of Identifiability. III: QUESTIONS IN INQUIRY: THE INTERROGATIVE MODEL. Sylvain BROMBERGER: Natural Kinds and Questions. Scott A. KLEINER: The Structure of Inquiry in Developmental Biology. Andrzej WISNIEWSKI: Some Foundational Concepts of Erotetic Semantics. Jan WOLE??N??SKI: Science and Games. IV: GROWTH OF KNOWLEDGE: EXPLANATION AND DISCOVERY. Matti SINTONEN: Explanation: The Fifth Decade. Erik WEBER: Scientific Explanation and the Interrogative Model of Inquiry. George GEBHARD: Scientific Discovery, Induction, and the Multi-Level Character of Scientific Inquiry. Mika KIIKERI: On the Logical Structure of Learning Models. V: JAAKKO HINTIKKA: REPLIES. VI: ABSTRACTS. (shrink)

Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej KANDULSKI: Categorial Grammars with (...) Structural Rules. Miros??l??awa KO??L??OWSKA-GAWIEJNOWICZ: Labelled Deductive Systems for the Lambek Calculus. Roman MURAWSKI: Satisfaction Classes - a Survey. Kazimierz _WIRYDOWICZ: A New Approach to Dyadic Deontic Logic and the Normative Consequence Relation. Wojciech ZIELONKA: More about the Axiomatics of the Lambek Calculus. THEORETICAL LINGUISTICS. Jacek Juliusz JADACKI: Troubles with Categorial Interpretation of Natural Language. Maciej KARPI??N??SKI: Conversational Devices in Human-Computer Communication Using WIMP UI. Witold MACIEJEWSKI: Qualitative Orientation and Grammatical Categories. Zygmunt VETULANI: A System of Computer Understanding of Texts. Andrzej WÓJCIK: The Formal Development of van Sandt's Presupposition Theory. W??l??adys??l??aw ZABROCKI: Psychologism in Noam Chomsky's Theory . Ryszard ZUBER: Defining Presupposition without Negation. PHILOSOPHY OF LANGUAGE AND METHODOLOGY OF SCIENCES. Jerzy KMITA: Philosophical Antifundamentalism. Anna LUCHOWSKA: Peirce and Quine: Two Views on Meaning. Stefan WIERTLEWSKI: Method According to Feyerabend. Jan WOLE??N??SKI: Wittgenstein and Ordinary Language. Krystyna ZAMIARA: Context of Discovery - Context of Justification and the Problem of Psychologism. (shrink)

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)

The paper offers a theoretical investigation into the sources of normativity in practical argumentation. The chief question is: Do we need objectively-minded, unbiased arguers or can we count on “good” argumentative processes in which individual biases cancel each other out? I address this question by analysing a detailed structure of practical argument and its varieties, and by discussing the tenets of a comparative approach to practical reason. I argue that given the comparative structure proposed, reasoned advocacy in argumentative activity upholds (...) reasonableness whenever that activity is adequately designed. I propose some basic rules for such a design of practical argumentation. (shrink)

This article addresses the question whether skiing as a nature sport enables practitioners to develop a rapport with nature, or rather estranges and insulates them from their mountainous ambiance. To address this question, I analyse a recent skiing movie from a psychoanalytical perspective and from a neuro-scientific perspective. I conclude that Jean-Paul Sartre’s classical but egocentric account of his skiing experiences disavows the technicity involved in contemporary skiing as a sportive practice for the affluent masses, which actually represents an urbanisation (...) of the sublime, symptomatic for the current era. (shrink)

Ageing populations are a major consideration for socio-economic development in the early twenty first century. This demographic change is mainly seen as a threat rather than as an opportunity to improve the quality of human life, especially in Europe, where ageing has resulted in a reduction in economic competitiveness. Economic Foundations for Creative Ageing Policy mixes the silver economy, the creative economy, and the social economy to construct positive solutions for an ageing population. Klimczuk covers theoretical analyses and case study (...) descriptions of good practices to suggest strategies that could be internationally popularized. Contents: Foreword by Harry R. Moody Foreword by Kathrin Komp Introduction 1. Old Age as a Stage in the Life Course and the Life Cycle 2. Forms of Older People’s Capital 3. Creativity and Ageing: Concepts and Controversies 4. Mixed Economy and Multisectoral Approach to Population Ageing 5. Silver, Creative, and Social Economies as Positive Responses to Population Ageing 6. Benefits at the Interface Between Economic Systems Conclusion Afterword by Lukasz Tomczyk. (shrink)

The formalist point of view maintains that formal derivations underlying proofs, although usually not carried out in practice, contribute to the confidence in mathematical theorems. Opposing this opinion, the main claim of the present paper is that such a gain of confidence obtained from any link between proofs and formal derivations is, even in principle, impossible in the present state of knowledge. Our argument is based on considerations concerning length of formal derivations. Thanks to Jody Azzouni for enlightening discussions concerning (...) the subject of this paper and to anonymous referees whose important remarks permitted us to correct the arguments and improve presentation. The remaining flaws remain, of course, solely the responsibility of the author. This research was partially supported by NSERC discovery grant and by the Research Chair in Distributed Computing at the Université du Québec en Outaouais. CiteULike Connotea Del.icio.us What's this? (shrink)

At the beginning of the XXI century, human societies are entering a period of "late modernity" characterized by new forms of trust and risk, untransparent social situations and economic, political and cultural globalization. These processes are associated with the presence of abstract systems that surround people and which require support of people with expertise in the fields which include transport, telecommunications, finance, security, media, energy. At the same time, it is noted that the expertise cult is born and specialists not (...) only meet the identified needs, but also produce new, thus contributing to the development of a culture of narcissism. Article aims to explain the characteristics of expert systems and cultural narcissism, experts role as a participant in social change, model types and kinds of experts with their arcane in to ontological and epistemological structures of the social world. I also highlight the problems associated with the suppression of restrictions in to the access of expertise knowledge. ** Wraz z początkiem XXI wieku społeczeństwa ludzkie wchodzą w okres „późnej nowoczesności” cechujący się nowymi formami zaufania i ryzyka, nieprzejrzystością sytuacji społecznych oraz postępującą globalizacją ekonomiczną, polityczną i kulturową. Procesy te wiążą się z obecnością systemów abstrakcyjnych, które otaczają ludzi i do funkcjonowania wymagają wsparcia osób z wiedzą specjalistyczną z zakresu m.in. transportu, telekomunikacji, finansów, bezpieczeństwa, mediów, energetyki. Jednocześnie zauważa się, iż rodzi się kult ekspertyzy a specjaliści nie tylko zaspokajają rozpoznane potrzeby, ale też wytwarzają nowe, przyczyniając się tym samym do rozwoju kultury narcyzmu. Artykuł ma na celu przybliżenie specyfiki systemów eksperckich i narcyzmu kulturowego, roli eksperta jako uczestnika przemian społecznych, modelowych typów ekspertów i rodzajów ich wtajemniczeń w struktury ontologiczne i epistemologiczne świata społecznego oraz zwrócenie uwagi na problemy związane ze znoszeniem ograniczeń dostępu do wiedzy specjalistycznej. -/- . (shrink)

The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described. The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction is (...) also given. These results are applied to compare the equational category N of Nelson algebras and some its subcategories with the equational category H of Heyting algebras. It is proved that the category N is topological over the category H. (shrink)

The philosophical argument between Jean-Paul Sartre and Albert Camus can be summarised in their conflicting accounts of skiing and swimming. For Sartre skiing exemplifies the struggle of existence and the angst of the alienated ego. For Camus, swimming represents some glimmering of collective harmony, the possibility of transcendence. Sartre's thinking is inflected by quantum theory and the 'steady state', whereas Camus is more of a wave theorist, with a lingering nostalgia for the 'primeval atom' and a fondness for peak experiences. (...) Put together their separate ways of analysing consciousness suggest a two-phase account of cognition. (shrink)

The studies of health care systems are conducted intensively on various levels. They are important because the systems suffer from numerous pathologies. The health care is analyzed, first of all, in economic aspects but their functionality in the framework of systems theory is studied, as well. There are also attempts to work out some general values on which health care systems should be based. Nevertheless, the aforementioned studies, however, are fragmentary ones. In this paper holistic approach to the philosophical basis (...) of health care is presented. The levels on which the problem can be considered are specified explicitly and relations between them are analyzed, as well. The philosophical basis on which the national health care systems could be based is proposed. Personalism is the basis for the proposal. First of all, the values, that are derived from the personalistic philosophy, are specified as the basic ones for health care systems. Then, general organizational and functional properties of the system are derived from the assumed values. The possibility of adaptation of solutions from other fields of social experiences are also mentioned. The existing health care systems are analyzed within the frame of the introduced proposal. (shrink)

We examine some extensions of the constructive propositional logic with strong negation in the setting of varieties of $\mathcal{N}$ -lattices. The main aim of the paper is to give a description of all pretabular, primitive and preprimitive varieties of $\mathcal{N}$ -lattices.

Natural Deduction Natural Deduction is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and … Continue reading Natural Deduction →.

We investigate some topological properties of the spaces of classes of bounded type-definable equivalence relations.

In the present paper the well-known Gödels – Churchs argument concerning the undecidability of logic (of the first order functional calculus) is exhibited in a way which seems to be philosophically interestingfi The natural numbers are not used. (Neither Chinese Theorem nor other specifically mathematical tricks are applied.) Only elementary logic and very simple set-theoretical constructions are put into the proof. Instead of the arithmetization I use the theory of concatenation (formalized by Alfred Tarski). This theory proves to be an (...) appropriate tool. The decidability is defined directly as the property of graphical discernibility of formulas. (shrink)

In this paper† we will treat mereology as a theory of some structures that are not axiomatizable in an elementary langauge and we will use a variable rangingover the power set of the universe of the structure). A mereological structure is an ordered pair M = hM,⊑i, where M is a non-empty set and ⊑is a binary relation in M, i.e., ⊑ is a subset of M × M. The relation ⊑ isa relation of being a mereological part . We (...) formulate an axiomatization of mereological structures, different from Tarski’s axiomatization aspresented in [10] . We prove that these axiomatizations are equivalent . Of course, these axiomatizations are definitionally equivalent to thevery first axiomatization of mereology from [5], where the relation of being aproper part ⊏ is a primitive one.Moreover, we will show that Simons’ “Classical Extensional Mereology”from [9] is essentially weaker than Leśniewski’s mereology. (shrink)

Zadaniem niniejszego wprowadzenia jest nakreślenie pewnych ram historycznych i teoretycznych współczesnej immunologii. Dyscyplina ta stosunkowo niedawno ukształtowana stara się wyjaśnić wszelkiego rodzaju zjawiska stojące na straży integralności organizmu. Organizmu rozumianego jako złożona struktura, wielosystemowa, ukształtowana w toku ewolucji. W wypadku tak szeroko rozumianego pojęcia odporności ewidentnie wymagana jest wnikliwa dyskusja, dlatego filozofowie biologii i naukowcy immunolodzy od pół wieku analizują podstawowe definicje i dochodzą do interesujących konkluzji.

We study axiomatic extensions of the propositional constructive logic with strong negation having the disjunction property in terms of corresponding to them varieties of Nelson algebras. Any such varietyV is characterized by the property: (PQWC) ifA,B V, thenA×B is a homomorphic image of some well-connected algebra ofV.We prove:• each varietyV of Nelson algebras with PQWC lies in the fibre –1(W) for some varietyW of Heyting algebras having PQWC, • for any varietyW of Heyting algebras with PQWC the least and the (...) greatest varieties in –1(W) have PQWC, • there exist varietiesW of Heyting algebras having PQWC such that –1(W) contains infinitely many varieties (of Nelson algebras) with PQWC. (shrink)

We continue investigations of reasonable ultrafilters on uncountable cardinals defined in previous work by Shelah. We introduce stronger properties of ultrafilters and we show that those properties may be handled in λ-support iterations of reasonably bounding forcing notions. We use this to show that consistently there are reasonable ultrafilters on an inaccessible cardinal λ with generating systems of size less than $2^\lambda$ . We also show how ultrafilters generated by small systems can be killed by forcing notions which have enough (...) reasonable completeness to be iterated with λ-supports. (shrink)

In this article, the author notes that Thomas Aquinas, in his brief work entitled De Ente et Essentia, proved that at the base of understanding the world, the human being, and God in particular, there is our understanding of being and its essence. When we make a small mistake at the beginning in our understanding of being and its essence, it will turn to be a big one in the end. And what is “at the end” of our knowledge is (...) the discovery of the First and Ultimate Cause of all things, known as: Ipsum Esse, God, the Absolute, The Most Perfect Substance, on whom everything depends, and who depends not on anything else. These present inquiries about the proper understanding of being and its essence are aimed at formulating proof of the necessity of existence of a Being that is the First Cause, and which, existing as Ipsum Esse, is the source and reason of existence of all beings. Without these inquiries, the proof itself would be incomprehensible, and more importantly it would be a purely a priori one. Furthermore, without the existential conception of being, which Thomas first formulated, one could not discover the First Cause which, as Ipsum Esse, is the source of the existence of every being. This issue seems to have escaped the attention of the author of the book Aquinas’s Way to God. The Proof in “De Ente et Essentia.”. (shrink)

Recent years have seen the appearance of many English-language hand books of logic and numerous monographs on topical discoveries in the foundations of mathematics. These publications on the foundations of mathematics as a whole are rather difficult for the beginners or refer the reader to other handbooks and various piecemeal contribu tions and also sometimes to largely conceived "mathematical fol klore" of unpublished results. As distinct from these, the present book is as easy as possible systematic exposition of the now (...) classical results in the foundations of mathematics. Hence the book may be useful especially for those readers who want to have all the proofs carried out in full and all the concepts explained in detail. In this sense the book is self-contained. The reader's ability to guess is not assumed, and the author's ambition was to reduce the use of such words as evident and obvious in proofs to a minimum. This is why the book, it is believed, may be helpful in teaching or learning the foundation of mathematics in those situations in which the student cannot refer to a parallel lecture on the subject. This is also the reason that I do not insert in the book the last results and the most modem and fashionable approaches to the subject, which does not enrich the essential knowledge in founda tions but can discourage the beginner by their abstract form. A. G. (shrink)

This chapter discusses the basic concepts that will form the basis for further construction of the theoretical model of the creative ageing policy. An overview of the basic notions will allow us to avoid ambiguity and to introduce the main assumptions of contemporary social gerontology and human development theories.

National healthcare systems in all countries do not act effectively. Therefore, especially strategies for introducing organizational innovation to public organization should be considered. The problem is how to organize the research in this field. One of the generally accepted solutions is the systemic approach to healthcare systems. In this paper multiagent systems theory and autonomous systems theory are applied to the analysis of main types of healthcare systems. Such analysis allows us to consider the system properties: the level of the (...) autonomy, energy dissipation in the system, the payoff specificity, functional role of the agents in the system, the level of the agents’ cooperation, and delays in flows of money, requests, rules, and controls. As a result, some new functionalities of the healthcare system on the national level have been found and analysed. The aforementioned parameters are good tools to analyse the system functionality. (shrink)

The transitivity of the relation of part to whole is often questioned. But it is among the most basic principles of mereology. In this paper we present a general solution to the problem of transitivity of parthood which may be satisfactory for both its advocates and its opponents. We will show that even without the transitivity of parthood one can define—basic in mereology—the notion of being a mereological sum of some objects. We formulate several proposals of general approaches to the (...) concept of being a part of a whole, none of which contains any existential assumptions. By adding the transitivity of parthood we obtain an axiomatization of “existentially neutral” mereology. (shrink)

This is an extended version of the lectures given during the 12-thConference on Applications of Logic in Philosophy and in the Foundationsof Mathematics in Szklarska Poręba. It contains a surveyof modal hybrid logic, one of the branches of contemporary modal logic. Inthe first part a variety of hybrid languages and logics is presented with adiscussion of expressivity matters. The second part is devoted to thoroughexposition of proof methods for hybrid logics. The main point is to showthat application of hybrid logics (...) may remarkably improve the situation inmodal proof theory. (shrink)

Hypersequent calculus, developed by A. Avron, is one of the most interesting proof systems suitable for nonclassical logics. Although HC has rather simple form, it increases significantly the expressive power of standard sequent calculi. In particular, HC proved to be very useful in the field of proof theory of various nonclassical logics. It may seem surprising that it was not applied to temporal logics so far. In what follows, we discuss different approaches to formalization of logics of linear frames and (...) provide a cut-free HC formalization ofKt4.3, the minimal temporal logic of linear frames, and some of its extensions. The novelty of our approach is that hypersequents are defined not as finite sets but as finite lists of ordinary sequents. Such a solution allows both linearity of time flow, and symmetry of past and future, to be incorporated by means of six temporal rules. Extensions of the basic calculus with simple structural rules cover logics of serial and dense frames. Completeness is proved by Schütte/Hintikka-style argument using models built from saturated hypersequents. (shrink)