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: 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)

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)

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)

"Kapitał społeczny ludzi starych na przykładzie mieszkańców miasta Białystok" to książka oparta na analizach teoretycznych i empirycznych, która przedstawia problem diagnozowania i używania kapitału społecznego ludzi starych w procesach rozwoju lokalnego i regionalnego. Kwestia ta jest istotna ze względu na zagrożenia i wyzwania związane z procesem szybkiego starzenia się społeczeństwa polskiego na początku XXI wieku. Opracowanie stanowi próbę sformułowania odpowiedzi na pytania: jaki jest stan kapitału społecznego ludzi starych mieszkających w Białymstoku, jakim ulega przemianom i jakie jest jego zróżnicowanie? Ludzie (...) starzy są tu postrzegani jako kategoria społeczna, czyli zbiór osób podobnych do siebie pod względem społecznie istotnych cech (takich jak wiek, posiadane role społeczne i świadomość korzystania ze świadczeń społecznych), którzy są świadomi tego podobieństwa i swojej odrębności od innych. Przyjmuje się ponadto, iż osoby takie przekroczyły 60. rok życia. Zakłada się też, że w zasobach ludzkich skumulowany jest kapitał ludzki, społeczny i kulturowy. Kapitał społeczny jest tu ujmowany szeroko jako potencjał współdziałania osadzony w powiązaniach międzyludzkich i normach społecznych, który może przynosić korzyści osobom, grupom i społeczeństwom. W części teoretycznej przedstawiono informacje o starości jako etapie w życiu jednostki, wyjaśniono pojęcie ludzi starych, omówiono społeczne teorie starzenia się, historyczne czynniki oddziaływające na położenie kategorii społecznej ludzi starych, zmiany ich miejsca w społeczeństwie polskim w trakcie transformacji ustrojowej i na początku XXI wieku, możliwe konsekwencje wzrostu długości życia w warunkach demokracji i kapitalizmu oraz charakterystykę problemu starzenia się ludności Białegostoku jako miasta pogranicza. Zaprezentowano też różnorodne koncepcje kapitału społecznego, sfery jego oddziaływania na rozwój społeczno-gospodarczy, jego stan w Polsce oraz wytyczne do strategicznego budowania jego zasobów. Przybliżono również wybrane informacje o aktywności ludzi starych w życiu publicznym, społecznym i gospodarczym jako kluczowych cechach ich kapitału społecznego. Porządkując różne stanowiska teoretyczne, wyniki badań i dane statystyczne, dążono do powiązania wielu rozproszonych źródeł w przekonaniu, iż jest to istotne w celu określenia i zagospodarowania zasobów kapitału społecznego seniorów, jak również niwelacji opóźnienia polskiej socjologii w zakresie badań nad ludźmi starymi. Pomimo, iż za podstawową perspektywę teoretyczną publikacji uznana została koncepcja kapitału P. Bourdieu, autor bierze również pod uwagę propozycje badawcze J.S. Colemana, R.D. Putnama, F. Fukuyamy, A. Giddensa, P. Sztompki i A. Sadowskiego. Drugi rozdział zawiera określenie ram metodologicznych badań przeprowadzonych na potrzeby tej publikacji. Omówiono przyjęte założenia badawcze oraz przybliżono sposób i przebieg realizacji badań. Przede wszystkim zdecydowano się na korzystanie z metody jakościowej i zastosowanie techniki wywiadu swobodnego ukierunkowanego. Uznano, iż podmiotowy kontakt z ludźmi starymi umożliwi dokładniejsze rozpoznanie kontekstu, w którym znajdują się zasoby ich kapitału społecznego. Jest to ważne, gdyż przenoszenie na rodzimy grunt opracowanych za granicą interpretacji działań ludzi starych i rozwiązań aktywizujących, może okazać się nieskuteczne lub wywołać negatywne efekty zewnętrzne. Ponadto w literaturze przedmiotu zwraca się uwagę na niedostatek badań gerontologicznych zgodnych z paradygmatem interpretatywnym. Badaniu poddano 26 respondentów w wieku od 60 do 89 lat żyjących w mieście Białystok związanych z jedną z dwóch różnych instytucji: Domem Pomocy Społecznej i Uniwersytetem Trzeciego Wieku. Poprzez porównywanie osób znajdujących się na dwóch biegunach aktywności społecznej możliwe było dostrzeżenie podobieństw i różnic w ich wyposażeniu kapitałowym, a zarazem w osiągniętych w ciągu życia pozycjach w strukturze klasowej i zasobach służących pomyślnej starości6. W trzecim rozdziale przedstawiona została część wyników analiz empirycznych. Przybliżono tu sposób, w jaki ludzie starzy myślą o podobnych sobie przodkach i osobach współczesnych, a także czynniki, w zależności od których zmienia się ich pozycja społeczna w mieście oraz problemy społeczne, jakie uznają za najważniejsze dla ludzi starych. Analizie poddano opinie o ich czasie wolnym, szansach i barierach aktywności ekonomicznej. Wyróżniono typy kapitału społecznego ludzi starych w zależności od instytucji, z którymi są związani oraz podejścia do postrzegania i wykorzystywania zróżnicowania wewnętrznego seniorów. Omówiono wizerunek seniorów w środkach masowego przekazu. Publikacja nie zawiera ścisłego zakończenia. W ostatnim rozdziale wskazano jedynie na główne wnioski płynące z badań oraz na potencjalne dalsze kierunki analiz. Uzupełnienie tego podejścia stanowią zamieszczone w aneksie zestawienia oddolnych technik budowania kapitału społecznego oraz podstawowych cech Miast Przyjaznych Starszemu Wiekowi. Z opracowania tego z pewnością będą mogli skorzystać nie tylko naukowcy zajmujący się tematyką ludzi starych, ale i pracownicy socjalni, politycy, pracodawcy, przedstawiciele mediów i organizacji pozarządowych oraz obywatele Białegostoku i innych miast. ** "Social Capital of Old People on the Example of Bialystok Residents" is a book based on theoretical and empirical study, which presents an issue of diagnosing and using of old people social capital in the local and regional development processes. This issue is significant because of the threats and challenges associated with process of rapid ageing of Polish society at the beginning of 21st century. Publication, in particular, is an attempt to give answers to the following questions: what is the state of old people social capital in Bialystok, what transformations it undergoes and how is it differentiated? In this study old people are viewed as a social category, which is a set of people similar to each other in terms of socially significant features (such as age, possessed social roles and awareness of received social benefits), who are aware of these similarities and differences between each other. Moreover, it is assumed, that such persons exceeded the 60 years of age. It is also assumed that human, social and cultural capital is accumulated in the human resources. Social capital is recognized here broadly as a potential for collaboration embedded in interpersonal relationships and social norms that may benefit individuals, groups and societies. The book consists of three chapters. The first, which is the theoretical part of work, includes information about: old age as a stage of individual life and explanation of the old people notion. It discusses social theories of ageing, historical factors affecting on the social position of old people category, changes in their place in Polish society during the system transformation and in the early 21st century. It describes the possible consequences of increased life expectancy for democracy and capitalism - including the concepts of society for all ages, silver economy. It also features ageing population issue, as well as social policy towards the elderly and old age in Bialystok as the borderland city. A variety of social capital concepts were presented; the spheres of its influence on socio-economic development, its status in Poland and guidelines for strategic building of its resources. Selected information on the activity of old people in public, social and economic life as key features of their social capital was brought closer. Putting various theoretical positions, results of research and statistical data in order was aimed to link many dispersed sources considering that it is relevant to identify and develop seniors' social capital resources, as well as leveling the delay of Polish sociology research on the elderly. Fundamental theoretical perspective of publication is the concept of capital according to P. Bourdieu. However, the proposals of J.S. Coleman, R.D. Putnam, F. Fukuyama, A. Giddens, P. Sztompka and A. Sadowski were also used. The second chapter contains a methodological framework for the purposes of study. Research assumptions, method and course of implementation of studies were discussed. The study is based on the qualitative method and the application of in-depth interview techniques. It was considered that the personal contact with old people will be more accurate than other research techniques to identify the context in which they social capital resources can be found. It is important because the transfer of developed abroad activating solutions and interpretations of old people actions may be ineffective or have negative external effects in the Polish context. Moreover, in the Polish science literature attention is paid to scarcity of gerontological research in accordance with the interpretive paradigm. Study involved 26 respondents aged 60 to 89 years living in Bialystok associated with one of two different institutions: nursing home for the elderly and University of the Third Age. By comparing the persons on two extremes of social activity it was possible to see similarities and differences in their capital equipment, and also in achievements of the life positions in the class structure and resources aimed at successful ageing. The third chapter presents the empirical analysis of the research results. This part outlines the way in which old people think about their ancestors and contemporary people. It also shows factors according to changes in their social position in the city, social issues which they consider most important for old people, their opinions about leisure time, opportunities and barriers of economic activity and types of old people social capital depending on the institution with which they are associated. Approach to the perception and use of internal disparities of seniors were also discussed. The analysis additionally contains the evaluation of senior citizens image in the polish mass media. This publication does not contain a strict ending. It only identifies the main conclusions of the research and potential directions of future analysis. Above all, older people could improve their position not by demanding increases in social benefits from which major parts are often taken away by their family members, but by highlighting their human, social and cultural capital. It is necessary to create favorable conditions for social and professional life of old people and their cooperation with members of local communities. Important role in this regard is played by institutions implementing three tasks: stimulating senior citizens' desire to satisfy previously unrealized needs; creating relationships between them so that they can solve their own problems and work for the others; and providing legal, social and vocational guidance. Stimulating cooperation between existing public, commercial and non-governmental sector organizations may serve to achieve these goals. The dissemination of bottom-up techniques of social capital building and checklist of essential features of Age-friendly Cities may also be important. -/- . (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)

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.

Local and global dependencies and interactions between individuals, groups and institutions are becoming increasingly opaque and risky. This is due to increased importance of highly complex abstract systems created and supported in order to maintain of transport, communications, finance, energy, media, security infrastructure, as well as social and cultural institutions. These systems require the knowledge and skills of experts. Professionals that not only satisfy identified needs, but also create new thereby contribute the development of cultural narcissism phenomenon. The aim of (...) the book is to discuss relations of experts and mass narcissism, on the background of shaping the knowledge societies and knowledge-based economies, and moreover their transformations towards the societies and economies based on creativity and wisdom. Undertaken analysis is contribute to sociology of expertise and intervention by indicating four selected contemporary issues: dilemmas of the knowledge society development; selection between trust substitutes and its reconstruction methods; transformations of social stratification; and the choice of pathways to socio-economic development. (shrink)

Andrzej Klimczuk, Raport Desk Research: samorządowa i obywatelska współpraca transgraniczna w województwie podlaskim. Przegląd literatury i dokumentów strategicznych (Desk Research Report: Local government and civic organisations cross-border cooperation in the Podlaskie region. A literature and strategic documents review), Fundacja SocLab, Białystok 2013, 137p. ** Celem niniejszego opracowania jest przybliżenie podstaw teoretycznych dyplomacji publicznej oraz charakterystyki metod i obszarów współpracy transgranicznej prowadzonej przez samorządy województwa podlaskiego. Raport w szczególności zwraca uwagę na obywatelski i samorządowy wymiar polskiej polityki zagranicznej. Podjętą analizę (...) ukierunkowano na rozpoznanie dotychczasowych praktyk w tym zakresie, jak też na określenie wniosków i rekomendacji, co do dalszego rozwoju zdecentralizowanej polityki zagranicznej. W raporcie w pierwszej kolejności omówiono podstawowe pojęcia teoretyczne związane z obywatelską i samorządową współpracą transgraniczną. Zwrócono uwagę na priorytety zdecentralizowanej polityki zagranicznej Polski oraz na zróżnicowanie sektorowe aktorów współpracy transgranicznej w województwie podlaskim. Następnie w podziale na powiaty omówiono realizowane i planowane inicjatywy współpracy transgranicznej obecne w dostępnych publicznie dokumentach strategicznych samorządów woj. podlaskiego. W dalszej części raportu podjęto próbę podsumowania obszarów i metod współpracy oraz wskazano na główne wnioski i rekomendacje. ** The aim of this paper is to present the theoretical basis of public diplomacy and the characteristics of methods and areas of cross-border cooperation conducted by local governments in Podlaskie Voivodship. Report, in particular, draws attention to the civic and local government dimension of Polish foreign policy. Undertaken analysis was targeted to recognition of existing practices in this area, as well as to identify conclusions and recommendations for further development of decentralized foreign policy. This report first discusses the basic theoretical concepts related to citizenship and local government cross-border cooperation. Attention was drawn to priorities of Polish decentralized foreign policy and sectoral diversification of cross-border cooperation actors in the Podlaskie Voivodship. Next the existing and planned cross-border cooperation initiatives present in the public programs and strategies of local governments and districts were discussed. Later in the report an attempt to summarize the areas and methods of cooperation were undertaken as well as some main conclusions and recommendations were pointed out. (shrink)

Jakość Życia Seniorów W Xxi Wieku Z Perspektywy Polityki Społecznej Andrzej Klimczuk Wydawnictwo Biblioteka (2010) .

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)

Raport powstał z inicjatywy Fundacji Pomocy Matematykom i Informatykom Niesprawnym Ruchowo w ramach projektu „Centrum Edukacji i Aktywizacji Zawodowej Osób Niepełnosprawnych - Oddziały Bydgoszcz i Łódź". Stanowi on rezultat badań zjawiska niepełnosprawności i kategorii społecznej, jaką stanowią osoby niepełnosprawne, oraz funkcjonowania ponad 30 agencji zatrudnienia wyspecjalizowanych we wsparciu osób niepełnosprawnych na rynku pracy. Pierwszy rozdział ekspertyzy dotyczy sposobów definiowania zjawiska niepełnosprawności, w drugim zaś - podjęto zagadnienie budowania potencjału niepublicznych służb zatrudnienia osób niepełnosprawnych. Trzeci rozdział raportu zawiera informacje dotyczące przyjętej (...) metodologii badań, a czwarty prezentuje wyniki analiz zebranego materiału empirycznego w odniesieniu do oferty agencji zatrudnienia i jej klientów. Tematem piątego rozdziału pracy jest kondycja agencji zatrudnienia osób niepełnosprawnych, prowadzonych przez organizacje pozarządowe. Motyw przewodni kolejnego rozdziału to otoczenie zewnętrzne agencji zatrudnienia. Ostatnia cześć raportu dotyczy rekomendacji wspomagających rozwiązywanie dylematów rozwojowych, przed którymi stoją agencje zatrudnienia. ** This report was made on the initiative of the Foundation Supporting Disabled Mathematicians and IT professionals in the project "Centre for Education and Vocational Activation of Persons with Disabilities - Branches Bydgoszcz and Lodz." It is the result of research on disability phenomenon and people with disabilities social category. It contains information about operations of more than 30 employment agencies specialized in helping people with disabilities into the labor market. First chapter of expertise relates to methods for defining the prevalence of disability and in the second - it was the issue of capacity building for non-disabled employment services. Third chapter of the report provides information on the methodology of research, and the fourth presents the results of an empirical analysis of the collected material in relation to the offer of employment agencies and their clients. Theme of the fifth chapter of the work is the condition of the disabled employment agency run by NGOs. Theme of the next chapter is the external environment of employment agencies. Last part of the report focuses on solving a recommendation supporting development dilemmas faced by agencies employment. -/- . (shrink)

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

"The importance of questions is beyond doubt. But the degree of attention paid to them in logic and linguistics is still less than they deserve." What is a question? How to represent questions in formal languages? How to model reasoning in which questions are involved? Can we prove anything by means of pure questioning? How to model goal-directed problem solving? These are the main issues of Andrzej Wi niewski's "Questions, Inferences, and Scenarios." This book offers a state-of-the-art exposition of (...) Inferential Erotetic Logic, that is, an approach to the logic of questions focused on inferences which lead to questions as conclusions. Wi niewski characterizes semantic relations which determine validity of these inferences within the framework of Minimal Erotetic Semantics, applicable to a wide range of formal languages. He elaborates in detail the concept of erotetic search scenario, a tool for modelling problem solving. Moreover, the author presents some applications of Inferential Erotetic Logic in proof theory. Andrzej Wi niewski is one of the most prominent contemporary researchers in the logic of questions. Currently, he is a full professor at the Department of Logic and Cognitive Science, Institute of Psychology, Adam Mickiewicz University in Pozna, Poland. (shrink)

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 →.

A new type of formalization of classical first-order logic with equality is introduced on the basis of the sequent calculus. It serves to justify the claim that equality is a logical constant characterised by well-behaved rules satisfying properties usually regarded as essential. The main feature of this approach is the application of sequents built not only from formulae but also from terms. Two variants of sequent calculus are examined, a structural and a logical one. The former is defined in accordance (...) with Dos̆en’s criteria for logical constants. The latter is a standard Gentzen’s sequent calculus and satisfies Hacking’s criteria for logicality, including cut elimination. It is also shown that provided rules are harmonious in the sense advocated by Gratzl and Orlandelli. (shrink)

The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of every (...) science, (b) principles of correct formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (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)

The paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in constructive mathematics and computer science, and called here quasi-free logics. All free and quasi-free logics considered are formalised in the framework of sequent calculus, the latter for the first time. It is shown that in all cases remarkable simplifications of the starting systems are possible due to the special rule dealing with identity and existence predicate. Cut elimination is (...) proved in a constructive way for sequent calculi adequate for all logics under consideration. (shrink)

Dynamical Grammar explores the consequences for language acquisition, language evolution, and linguistic theory of taking the underlying architecture of the language faculty to be that of a complex adaptive dynamical system. It contains the first results of a new and complex model of language acquisition which the authors have developed to measure how far language input is reflected in language output and thereby get a better idea of just how far the human language faculty is hard-wired.