Results for 'Andrzej Hagger'

1000+ found
Order:
  1. 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  
  2.  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  
  3. On a Generalization of Quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
  4.  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  
  5.  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.
  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.  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  
  8. 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  
  9. 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  
  10.  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  
  11.  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  
  12.  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  
  13. 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.
  14. Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.
    No categories
     
    Export citation  
     
    Bookmark   71 citations  
  15.  1
    Mark Hagger, Norman Rule in Normandy 911–1144. Woodbridge, UK: Boydell, 2017. Pp. Xviii, 798; 8 Black-and-White Figures, 6 Maps, 1 Genealogical Table, and 10 Tables. $99. ISBN: 978-1-7832-7214-3. [REVIEW]David Bates - 2020 - Speculum 95 (2):561-563.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  13
    Commentary: Misguided Effort with Elusive Implications, and Sifting Signal From Noise with Replication Science.Martin S. Hagger & Nikos L. D. Chatzisarantis - 2016 - Frontiers in Psychology 7.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  14
    Law and Ethics Support for Health Professionals: An Alternative Model.L. E. Hagger - 2005 - Journal of Medical Ethics 31 (2):111-111.
    Following surveys identifying the need for ongoing learning in relation to law and ethics amongst health professionals, the Law and Ethics Education and Development initiative was launched. This was a programme of education designed for, and delivered to, health professionals working within the National Health Service , UK, with the added value of multiprofessional learning amongst colleagues from a single institution. The initiative was funded by the NHS Executive and provided for two lecturers to work for three years within the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  18.  10
    Interpersonal Style Should Be Included in Taxonomies of Behavior Change Techniques.Martin S. Hagger & Sarah J. Hardcastle - 2014 - Frontiers in Psychology 5.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  16
    Adequacy of the Sequential-Task Paradigm in Evoking Ego-Depletion and How to Improve Detection of Ego-Depleting Phenomena.Nick Lee, Nikos Chatzisarantis & Martin S. Hagger - 2016 - Frontiers in Psychology 7.
  20.  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  
  21.  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   22 citations  
  22. 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  
  23. 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   14 citations  
  24.  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  
  25. 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  
  26.  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  
  27. Przestrzenie Swiadomo Sci Studia Z Filozofii Literatury.Andrzej Falkiewicz & Leszek Nowak - 1996
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  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  
  29.  39
    On Universal Roots in Logic.Andrzej K. Rogalski & Urszula Wybraniec-Skardowska - 1998 - Dialogue and Universalism 8 (11):143-154.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  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  
  31.  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   3 citations  
  32.  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  
  33. Generalised Sequent Calculus for Propositional Modal Logics.Andrzej Indrzejczak - 1997 - Logica Trianguli 1:15-31.
    The paper contains an exposition of some non standard approach to gentzenization of modal logics. The first section is devoted to short discussion of desirable properties of Gentzen systems and the short review of various sequential systems for modal logics. Two non standard, cut-free sequent systems are then presented, both based on the idea of using special modal sequents, in addition to usual ones. First of them, GSC I is well suited for nonsymmetric modal logics The second one, GSC II (...)
     
    Export citation  
     
    Bookmark   12 citations  
  34.  7
    Rule-Generation Theorem and its Applications.Andrzej Indrzejczak - 2018 - Bulletin of the Section of Logic 47 (4):265-281.
    In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  9
    Nature and Politics: Liberalism in the Philosophies of Hobbes, Locke, and Rousseau.Andrzej Rapaczynski - 1987 - Ithaca: Cornell University Press.
  36.  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   14 citations  
  37.  11
    Free Definite Description Theory – Sequent Calculi and Cut Elimination.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.
    We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives results of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  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   9 citations  
  39.  25
    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   4 citations  
  40.  24
    Przeobrażenia idei sprawiedliwości społecznej. Część I: Sprawiedliwość społeczna jako sprawiedliwość ogólna i rozdzielcza.Andrzej Stoiński - 2018 - Roczniki Filozoficzne 66 (1):77-97.
    W latach 40. XIX wieku Luigi Taparelli i Antonio Rosmini wprowadzili do publicznego obiegu termin „sprawiedliwość społeczna”. Od tamtego czasu znaczenie tego pojęcia znacznie się poszerzyło. Literatura przedmiotu notuje liczne identyfikacje tego konceptu. Niniejszy tekst koncentruje się na wskazaniu kilku jego ujęć. Autor, w siłą rzeczy skrótowo zaprezentowanych analizach, stara się pokazać specyfikę kilku znaczeń nadawanych „sprawiedliwości społecznej”. Sprawiedliwość społeczna będąca przedmiotem analizy w tym artykule utożsamiana jest ze sprawiedliwością ogólną (prawną) i rozdzielczą.
    Direct download (8 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  30
    Przeobrażenia idei sprawiedliwości społecznej. Część III: Sprawiedliwość społeczna jako idea solidarności i równości.Andrzej Stoiński - 2018 - Roczniki Filozoficzne 66 (1):115-132.
    W latach 40. XIX wieku Luigi Taparelli i Antonio Rosmini wprowadzili do publicznego obiegu termin „sprawiedliwość społeczna”. Od tamtego czasu znaczenie tego pojęcia znacznie się poszerzyło. Autor stara się pokazać specyfikę poszczególnych sensów nadawanych „sprawiedliwości społecznej”. Sprawiedliwość społeczna będąca przedmiotem analizy w tym tekście utożsamiana jest z ideami równości i solidarności. Rozpatrywana równość dotyczy szans i uprawnień.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  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  
  43.  4
    Cut Elimination Theorem for Non-Commutative Hypersequent Calculus.Andrzej Indrzejczak - 2017 - Bulletin of the Section of Logic 46 (1/2).
    Hypersequent calculi can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style semantical argument using models built from saturated hypersequents. In this paper we present a variant of this calculus for Kt4.3 with a constructive syntactical proof of cut elimination.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  23
    Libya: The Rise and Fall of Qaddafi.Nicholas Hagger - 2016 - The European Legacy 21 (2):224-225.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  27
    Mark S. Hagger, The Fortunes of a Norman Family: The de Verduns in England, Ireland and Wales, 1066–1316. Dublin and Portland, Oreg.: Four Courts Press, 2001. Pp. 286; 8 Black-and-White Plates, Tables, and 4 Maps. $55.Robin Chapman Stacey - 2003 - Speculum 78 (1):186-187.
  46.  19
    Przeobrażenia idei sprawiedliwości społecznej. Część II: Sprawiedliwość społeczna jako sprawiedliwość wyrównawcza.Andrzej Stoiński - 2018 - Roczniki Filozoficzne 66 (1):99-114.
    W latach 40 XIX wieku Luigi Taparelli i Antonio Rosmini wprowadzili do publicznego obiegu termin „sprawiedliwość społeczna”. Od tamtego czasu znaczenie tego pojęcia znacznie się poszerzyło. W tej części wskazane zostały utożsamienia sprawiedliwości społecznej ze sprawiedliwością wyrównawczą (w odmianach: karzącej, naprawczej i wymiennej). Niektóre z tego rodzaju identyfikacji zakładają istnienie podmiotów kolektywnych. Występują one jako czasowe bądź przestrzenne grupy społeczne i kohorty.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  3
    The Opportunity Cost Model: Automaticity, Individual Differences, and Self-Control Resources.Martin S. Hagger - 2013 - Behavioral and Brain Sciences 36 (6):687-688.
    I contend that Kurzban et al.'s model is silent on three issues. First, the extent to which opportunity-cost computations are automatic or deliberative is unclear. Second, the role of individual differences in biasing opportunity-cost computations needs elucidating. Third, in the absence of tasks, task persistence will be indefinite, which seems unfeasible, so perhaps integration with a limited-resource account is necessary.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  22
    Sequent Calculi for Monotonic Modal Logics.Andrzej Indrzejczak - 2005 - Bulletin of the Section of Logic 34 (3):151-164.
  49. Semiotyka fraz adresowych.Andrzej Łachwa - 1990 - Studia Semiotyczne 16:165-178.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Tekst i jego struktura.Andrzej Łachwa - 1994 - Studia Semiotyczne 19:149-162.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000