Results for 'Andrzej Wi��niewski'

1000+ found
Order:
  1.  2
    Questions, Inferences, and Scenarios.Andrzej Wisniewski - 2013 - College Publications.
    "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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  2. Outplacement - Odpowiedzialne Zwolnienia Pracownicze W Kontekście Rozwoju Regionalnego.Magdalena Klimczuk-Kochańska & Andrzej Klimczuk - 2013 - In Robert Geisler (ed.), Odpowiedzialność - Przestrzeń Lokalnego Społeczeństwa Obywatelskiego, Biznesu I Polityki. Instytut Socjologii, Uniwersytet Opolski. pp. 111--135.
    Trwaj¸a}cy na pocz¸a}tku XXI wieku globalny kryzys gospodarczy wymusza podejmowanie przez przedsiȩbiorstwa działań restrukturyzacyjnych. Zmiany te czȩsto wi¸a}ż¸a} siȩ z redukcj¸a} zatrudnienia i kształtowaniem nowych relacji z pracownikami. Outplacement stanowi wci¸a}ż mało popularn¸a} i słabo rozpoznawaln¸a} w Polsce koncepcjȩ odpowiedzialnego zarz¸adzania zwolnieniami pracowników, która pozwala na złagodzenie negatywnych skutków utraty pracy i na skrócenie okresu bezrobocia. Celem opracowania jest przybliżenie istoty i potencjału stosowania outplacementu w Polsce. Podjȩta krytyczna analiza literatury przedmiotu obejmuje wskazanie działań na rzecz antycypacji procesów restrukturyzacji i (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  18
    Discussion Following Andrzej Schnizel’s Lecture.Andrzej Schnizel - 2008 - Dialogue and Universalism 18 (9-10):154-156.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4. 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  
  5.  26
    Józef Andrzej Stuchliński, Problemy Wyboru Strategii Metodologicznej W Biologii Współczesnej. [REVIEW]Józef Andrzej Stuchliński - 1980 - Dialectics and Humanism 7 (2):170-174.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  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 (4 more)  
     
    Export citation  
     
    Bookmark  
  7. 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  
  8.  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.
  9.  43
    On Academic Achievements and Services of Professor Andrzej Walicki.Andrzej de Lazari - 2006 - Dialogue and Universalism 16 (3/4):98-100.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. 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  
  11.  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  
  12.  29
    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  
  13.  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 (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  7
    The Posing of Questions: Logical Foundations of Erotetic Inferences.Andrzej Wiśniewski - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.
    This book is a study in the logic of questions (sometimes called erotetic logic). The central topics in erotetic logic have been the structure of questions and the question-answer relationship. This book doesn't neglect these problems, but much of it is focussed on other issues. The main subject is the logical analysis of certain relations between questions and the contexts of their appearance. And our aim is to elaborate the conceptual apparatus of the inferential approach to the logic of questions. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   56 citations  
  15.  4
    Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.
    Direct download  
     
    Export citation  
     
    Bookmark   50 citations  
  16.  7
    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  
  17. 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   5 citations  
  18.  34
    Exploring the Brains of Baduk Experts: Gray Matter Morphometry, Resting-State Functional Connectivity, and Graph Theoretical Analysis.Wi Hoon Jung, Sung Nyun Kim, Tae Young Lee, Joon Hwan Jang, Chi-Hoon Choi, Do-Hyung Kang & Jun Soo Kwon - 2013 - Frontiers in Human Neuroscience 7.
  19.  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   23 citations  
  20. 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.
  21.  12
    Effects of Internal–External Congruence-Based CSR Positioning: An Attribution Theory Approach.Whitney Ginder, Wi-Suk Kwon & Sang-Eun Byun - 2021 - Journal of Business Ethics 169 (2):355-369.
    Although corporate social responsibility appears to be mutually beneficial for companies and consumers, the modern marketplace has left both parties in vulnerable positions. Consumers are increasingly subjected to incongruent CSR messages such as greenwashing, while companies are trapped in a strategic positioning dilemma with regard to how to most effectively and ethically approach CSR communication. This has led some companies to instead adopt a strategically silent approach, such as greenhushing. To capture this CSR positioning dilemma and test the positioning effects (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  22.  54
    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 (12 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  23. Questions and Inferences.Andrzej Wisniewski - 2001 - Logique Et Analyse 44.
  24.  21
    Andrzej Grzegorczyk. Some Relational Systems and the Associated Topological Spaces. Fundamenta Mathematicae, Vol. 60 , Pp. 223–231. [REVIEW]R. A. Bull - 1969 - Journal of Symbolic Logic 34 (4):652-653.
  25. 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  
  26. Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  27.  12
    Wojciech Sady: The Structure of the Relativity and Quantum Revolution in Physics.Andrzej Łukasik, Marcin Gileta & Sebastian Kozera - 2022 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 53 (2):223-229.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  23
    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  
  29.  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   27 citations  
  30. Purhwa Kŭrigo Puron Han Sidae Ŭi Ch'ŏrhak: Pak Ch'i-U Ŭi Sam Kwa Ch'ŏrhak Sasang.Sang-bok Wi - 2012 - Kil.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  8
    Fregean Description Theory in Proof-Theoretical Setting.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  30
    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   10 citations  
  33.  18
    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  
  34.  23
    Madison, WI, USA March 31–April 3, 2012.Alan Dow, Isaac Goldbring, Warren Goldfarb, Joseph Miller, Toniann Pitassi, Antonio Montalbán, Grigor Sargsyan, Sergei Starchenko & Moshe Vardi - 2013 - Bulletin of Symbolic Logic 19 (2).
  35.  11
    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  
  36.  61
    The Systems of Leśniewski in Relation to Contemporary Logical Research.Andrzej Grzegorczyk - 1955 - Studia Logica 3 (1):77-95.
  37.  34
    Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
  38.  27
    Beyond Domain-Specific Expertise: Neural Signatures of Face and Spatial Working Memory in Baduk Experts.Wi Hoon Jung, Tae Young Lee, Youngwoo B. Yoon, Chi-Hoon Choi & Jun Soo Kwon - 2018 - Frontiers in Human Neuroscience 12.
  39.  4
    Free Logics are Cut-Free.Andrzej Indrzejczak - 2021 - Studia Logica 109 (4):859-886.
    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 (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  40.  9
    Herrscherliche Wißbegier und politisches Unvermögen. Historische und allegorische Lesarten der herrschaft Alfons‘ X.Barbara Schlieben - 2007 - In Christine Tauber, Johannes Süßmann & Ulrich Oevermann (eds.), Die Kunst der Mächtigen Und Die Macht der Kunst: Untersuchungen Zu Mäzenatentum Und Kulturpatronage. Akademie Verlag. pp. 89-104.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  22
    Linear Time in Hypersequent Framework.Andrzej Indrzejczak - 2016 - Bulletin of Symbolic Logic 22 (1):121-144.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  42.  19
    Classical Mereology is Not Elementarily Axiomatizable.Andrzej Pietruszczak - 2015 - Logic and Logical Philosophy 24 (4).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  3
    G. H. Mead's Concept of Rationality: A Study of the Use of Symbols and Other Implements.Wi Jo Kang - 1976 - Mouton.
  44.  14
    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  
  45.  29
    More About Λ-Support Iterations of (<Λ)-Complete Forcing Notions.Andrzej Rosłanowski & Saharon Shelah - 2013 - Archive for Mathematical Logic 52 (5-6):603-629.
    This article continues Rosłanowski and Shelah (Int J Math Math Sci 28:63–82, 2001; Quaderni di Matematica 17:195–239, 2006; Israel J Math 159:109–174, 2007; 2011; Notre Dame J Formal Logic 52:113–147, 2011) and we introduce here a new property of (<λ)-strategically complete forcing notions which implies that their λ-support iterations do not collapse λ + (for a strongly inaccessible cardinal λ).
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  27
    Review: Andrzej Grzegorczyk, Some Relational Systems and the Associated Topological Spaces. [REVIEW]R. A. Bull - 1969 - Journal of Symbolic Logic 34 (4):652-653.
  47. Profesor Andrzej Kasia (wspomnienie).Dobrochna Dembińska-Siury - 2002 - Przeglad Filozoficzny - Nowa Seria 42 (2):7-10.
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Teologia Moralna W Służbie Wiary Kościoła.Andrzej Derdziuk - 2010 - Wydawn. Kul.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Porządek przyczyn w Compendium divinorum Heimeryka de Campo.Andrzej Dumała - 2002 - Przeglad Filozoficzny - Nowa Seria 43 (3):205-216.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  33
    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 (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
1 — 50 / 1000