Results for 'Andrzej Wro��ski'

1000+ found
Order:
  1.  28
    Knowledge and Inquiry: Essays on Jaakko Hintikka’s Epistemology and Philosophy of Science.Matti Sintonen (ed.) - 1997 - Brill | Rodopi.
    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. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Categorical Abstract Algebraic Logic: Syntactically Algebraizable \-Institutions.George Voutsadakis - 2009 - Reports on Mathematical Logic:105-151.
    This paper has a two-fold purpose. On the one hand, it introduces the concept of a syntactically \-algebraizable \-institution, which generalizes in the context of categorical abstract algebraic logic the notion of an algebraizable logic of Blok and Pigozzi. On the other hand, it has the purpose of comparing this important notion with the weaker ones of an \-protoalgebraic and of a syntactically \-equivalential \-institution and with the stronger one of a regularly \-algebraizable \-institution. \-protoalgebraic \-institutions and syntactically \-equivalential \-institutions (...)
     
    Export citation  
     
    Bookmark  
  3. Creativity and Consciousness: Philosophical and Psychological Dimensions.Jerzy Brzezinski, Santo di Nuovo, Tadeusz Marek & Thomasz Maruszewski (eds.) - 1993 - Rodopi.
    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 (...)
     
    Export citation  
     
    Bookmark  
  4.  34
    Euphony and Logos: Essays in Honour of Maria Steffen-Batóg and Tadeusz Batóg.Roman Murawski & Jerzy Pogonowski (eds.) - 1997 - Rodopi.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  10
    Practical Argumentation as Reasoned Advocacy.Marcin Lewiński - 2017 - Informal Logic 37 (2):85-113.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  7
    Alpine Ski Coaches’ and Athletes’ Perceptions of Factors Influencing Adaptation to Stress in the Classroom and on the Slopes.Paul Davis, Anton Halvarsson, Wictor Lundström & Carolina Lundqvist - 2019 - Frontiers in Psychology 10.
  7. Andrzej Wajda's Speech at the Oscar Award Ceremony.Andrzej--Awards Wajda - 2000 - Dialogue and Universalism 10 (9-10):14-15.
    No categories
     
    Export citation  
     
    Bookmark  
  8.  10
    Skiing and Thinking About It: Moment-to-Moment and Retrospective Analysis of Emotions in an Extreme Sport.Audun Hetland, Joar Vittersø, Simen Oscar Bø Wie, Eirik Kjelstrup, Matthias Mittner & Tove Irene Dahl - 2018 - Frontiers in Psychology 9.
  9.  14
    Thirty Years of Foundational Studies.Andrzej Mostowski - 1966 - New York: Barnes & Noble.
  10.  33
    Skiing and its Discontents: Assessing the Turist Experience From a Psychoanalytical, a Neuroscientific and a Sport Philosophical Perspective.Hub Zwart - 2017 - Sport, Ethics and Philosophy 11 (3):323-338.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  9
    A Novel Approach to Equality.Andrzej Indrzejczak - 2021 - Synthese 199 (1-2):4749-4774.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  97
    Foundations and Current Problems of General Relativity (Notes by Graham Dixon, Petros Florides and Gerald Lemmer).Andrzej Trautman - 1965 - In A. Trautman (ed.), Lectures on General Relativity. Englewood Cliffs, N.J., Prentice-Hall. pp. 1--1.
  13.  17
    Adam Grobler, Metodologia Nauk [Methodology of the Sciences] by Andrzej Bronk, Pawel Kawalec.Andrzej Bronk & Pawel Kawałec - 2008 - Forum Philosophicum: International Journal for Philosophy 13 (1):147-149.
  14. Bibliografia Andrzeja Walickiego/na podstawie materiałów dostarczonych przez autora oprac. Andrzej Przymusiała.Andrzej Przymusiała - 1999 - Archiwum Historii Filozofii I Myśli Społecznej 44:249-273.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Bibliografia zawartości" Archiwum Historii Filozofii i Myśli Społecznej" T. l: 1957-T. 50-51: 2005-2006/oprac. Andrzej Przymusiała. [REVIEW]Andrzej Przymusiała - 2006 - Archiwum Historii Filozofii I Myśli Społecznej 50.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  51
    Nelson Algebras Through Heyting Ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  17.  42
    On Academic Achievements and Services of Professor Andrzej Walicki.Andrzej de Lazari - 2006 - Dialogue and Universalism 16 (3/4):98-100.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  36
    Swimming and Skiing: Two Modes of Existential Consciousness.Andy Martin - 2010 - Sport, Ethics and Philosophy 4 (1):42 – 51.
    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. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  3
    Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.
    Direct download  
     
    Export citation  
     
    Bookmark   50 citations  
  20.  24
    A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
    The paper is a brief survey of some sequent calculi which do not follow strictly the shape of sequent calculus introduced by Gentzen. We propose the following rough classification of all SC: Systems which are based on some deviations from the ordinary notion of a sequent are called generalised; remaining ones are called ordinary. Among the latter we distinguish three types according to the proportion between the number of primitive sequents and rules. In particular, in one of these types, called (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  28
    We Must Interpret: The Hermeneutic Retrieval of the Philosophical Tradition. Andrzej Wiercinski in Conversation with Boyd Blundell.Andrzej Wierciński & Boyd Blundell - 2011 - Analecta Hermeneutica 3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  22
    The Proposal of Philosophical Basis of the Health Care System.Andrzej Bielecki & Sylwia Nieszporska - 2017 - Medicine, Health Care and Philosophy 20 (1):23-35.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  61
    An Interview with Andrzej Wajda.Aleksandra Ziółkowska-Boehm & Andrzej Wajda - 2007 - The Chesterton Review 33 (1-2):294-301.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24. Natural Deduction.Andrzej Indrzejczak - 2015
    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 →.
     
    Export citation  
     
    Bookmark   4 citations  
  25.  28
    Some Investigations of Varieties of N -Lattices-Lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  26.  40
    Discussion Following the Lecture by Jan Małecki and Andrzej Tomczak.Jan Małecki & Andrzej Tomczak - 2008 - Dialogue and Universalism 18 (9-10):162-166.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  27.  27
    Admissibility of Cut in Congruent Modal Logics.Andrzej Indrzejczak - 2011 - Logic and Logical Philosophy 20 (3):189-203.
    We present a detailed proof of the admissibility of cut in sequent calculus for some congruent modal logics. The result was announced much earlier during the Trends in Logic Conference, Toruń 2006 and the proof for monotonic modal logics was provided already in Indrzejczak [5]. Also some tableau and natural deduction formalizations presented in Indrzejczak [6] and Indrzejczak [7] were based on this result but the proof itself was not published so far. In this paper we are going to fill (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  15
    Luck, Love, and Extreme Skiing: Distributive Injustice Without Unfairness.Kerah Gordon-Solmon - 2016 - Moral Philosophy and Politics 3 (1).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  7
    Note on G. J. Massey's Closure-Algebraic Operation.Bolesław Sobociński - 1970 - Notre Dame Journal of Formal Logic 11 (3):343-346.
  30.  6
    The Critical Theory of Jurgen Habermas.Andrzej Rapaczynski - 1981 - Noûs 15 (3):423-428.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  31. Pieces of Mereology.Andrzej Pietruszczak - 2005 - Logic and Logical Philosophy 14 (2):211-234.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  32.  53
    Why Do We Believe Theorems?Andrzej Pelc - 2009 - Philosophia Mathematica 17 (1):84-94.
    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 (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  33.  92
    Undecidability Without Arithmetization.Andrzej Grzegorczyk - 2005 - Studia Logica 79 (2):163-230.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  34.  24
    Axiomatic Extensions of the Constructive Logic with Strong Negation and the Disjunction Property.Andrzej Sendlewski - 1995 - Studia Logica 55 (3):377 - 388.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  15
    On Bounded Type-Definable Equivalence Relations.Ludomir Newelski & Krzysztof Krupi?Ski - 2002 - Notre Dame Journal of Formal Logic 43 (4):231-242.
    We investigate some topological properties of the spaces of classes of bounded type-definable equivalence relations.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  36.  33
    Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
  37.  2
    Genealogia, swoistość i zadania hermeneutyki filozoficznej (Andrzej Przyłębski, \"Hermeneutyczny zwrot filozofii\").Andrzej Kucner - 2007 - Humanistyka I Przyrodoznawstwo 13:349-360.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  35
    A Labelled Natural Deduction System for Linear Temporal Logic.Andrzej Indrzejczak - 2003 - Studia Logica 75 (3):345 - 376.
    The paper is devoted to the concise description of some Natural Deduction System (ND for short) for Linear Temporal Logic. The system's distinctive feature is that it is labelled and analytical. Labels convey necessary semantic information connected with the rules for temporal functors while the analytical character of the rules lets the system work as a decision procedure. It makes it more similar to Labelled Tableau Systems than to standard Natural Deduction. In fact, our solution of linearity representation is rather (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  61
    The Systems of Leśniewski in Relation to Contemporary Logical Research.Andrzej Grzegorczyk - 1955 - Studia Logica 3 (1):77-95.
  40.  17
    Reasonable Ultrafilters, Again.Andrzej Rosłanowski & Saharon Shelah - 2011 - Notre Dame Journal of Formal Logic 52 (2):113-147.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  41.  49
    A General Concept of Being a Part of a Whole.Andrzej Pietruszczak - 2014 - Notre Dame Journal of Formal Logic 55 (3):359-381.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  18
    Classical Mereology is Not Elementarily Axiomatizable.Andrzej Pietruszczak - 2015 - Logic and Logical Philosophy 24 (4).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  27
    From Private Attitude to Public Opinion: A Dynamic Theory of Social Impact.Andrzej Nowak, Jacek Szamrej & Bibb Latané - 1990 - Psychological Review 97 (3):362-376.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  44.  3
    “Parvus Error in Principio Magnus Est in Fine”: Thomas Aquinas’s Reinterpretation of the Understanding of Being and Essence as the Basis for the Discovery of the First Cause as Ipsum Esse.Andrzej Maryniarczyk - 2019 - Roczniki Filozoficzne 67 (4):27-51.
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  9
    Theory of Gravitation.Andrzej Trautman - 1973 - In Jagdish Mehra (ed.), The Physicist's Conception of Nature. Boston: Reidel. pp. 179--201.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  46.  15
    Discernible Elements in Models for Peano Arithmetic.Andrzej Ehrenfeucht - 1973 - Journal of Symbolic Logic 38 (2):291-292.
  47.  72
    Axiomatizability of Geometry Without Points.Andrzej Grzegorczyk - 1960 - Synthese 12 (2-3):228 - 235.
  48.  27
    N–Localization Property.Andrzej Rosłanowski - 2006 - Journal of Symbolic Logic 71 (3):881 - 902.
    This paper is concerned with n-localization property introduced by Newelski and Rosłanowski in [10] and getting it for CS iterations of forcing notions.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  18
    An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details.Andrzej Grzegorczyk - 1974 - Dordrecht and Boston: D. Reidel Pub. Co..
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  50.  11
    Love Styles in the Context of Life History Theory.Andrzej Łukasik & Magdalena Marzec - 2017 - Polish Psychological Bulletin 48 (2):237-249.
    The evolutionary function of love is to create a strong bond between the partners with reproduction in view. In order to achieve this goal, humans use various sexual/reproductive strategies, which have evolved due to specific reproductive benefits. The use of particular strategies depends on many factors but one of the most important is early childhood experiences, on which life history theory focuses. John Lee identified 6 basic love styles: eros, ludus, storge, pragma, agape, and mania. Our goal was to check (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000