Results for 'Bartosz Gula'

139 found
Order:
  1.  8
    The Hot Hand Exists in Volleyball and is Used for Allocation Decisions.Markus Raab, Bartosz Gula & Gerd Gigerenzer - 2012 - Journal of Experimental Psychology: Applied 18 (1):81-94.
  2.  32
    Rules for Subatomic Derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.
    In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences and the terms from which they (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  3.  33
    Assessment, Scorekeeping and the Normativity of Meaning: A Reply to Kiesselbach.Bartosz Kaluziński - 2016 - Acta Analytica 31 (1):107-115.
    This paper is an attempt to examine Mattias Kiesselbach’s account of the thesis that meaning is normative that was presented in his recently published article titled “The normativity of meaning: from constitutive norms to prescriptions.” Kiesselbach’s account has three crucial points: the applicability of norms, the transtemporal character of the constitutive norms and commitments incurred by or attributed to the speaker within the scorekeeping practice. I will discuss all these crucial points, and I will argue that his account raises many (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  47
    Science and Religion in the Kraków School.Bartosz Brożek & Michael Heller - 2015 - Zygon 50 (1):194-208.
    This article outlines the contributions of the Kraków School to the field of science and religion. The Kraków School is a group of philosophers, scientists, and theologians who belong to the milieu of the Copernicus Center for Interdisciplinary Studies. The members of the group are engaged in inquiries pertaining to the relationship between theology and various sciences, in particular cosmology, evolutionary theory, and neuroscience. The article includes a presentation of the historical background of the School, as well as its main (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  30
    Rules and Games.Bartosz Kaluziński - 2019 - Philosophia 47 (4):1165-1176.
    We have taken a look at the rules of games in order to acquire some knowledge concerning constitutive rules and, probably, institutional phenomena in general. In this paper we tried to elaborate a system account of constitutive rules. We claim that all accounts that put emphasis on the form of rules are vulnerable. It appears that constitutive rules are interconnected and always form a system that can be internally differentiated. Thanks to adopting certain qualitative criterion we were able to distinguish (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  9
    Unexpected Action Outcomes Produce Enhanced Temporal Binding but Diminished Judgement of Agency.Bartosz Majchrowicz & Michał Wierzchoń - 2018 - Consciousness and Cognition 65:310-324.
  7.  98
    Associative Substitutional Semantics and Quantified Modal Logic.Bartosz Więckowski - 2010 - Studia Logica 94 (1):105-138.
    The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  22
    Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.Bartosz Więckowski - 2016 - Journal of Logic, Language and Information 25 (2):215-268.
    A first-order language with a defined identity predicate is proposed whose apparatus for atomic predication is sensitive to grammatical categories of natural language. Subatomic natural deduction systems are defined for this naturalistic first-order language. These systems contain subatomic systems which govern the inferential relations which obtain between naturalistic atomic sentences and between their possibly composite components. As a main result it is shown that normal derivations in the defined systems enjoy the subexpression property which subsumes the subformula property with respect (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  80
    A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.Bartosz Więckowski - 2012 - Studia Logica 100 (4):815-853.
    The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  47
    Constructive Belief Reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.
    The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski with a specific kind of set-forming operator suited for the representation of belief attitudes. The extended formalism allows us to interpret constructions which involve, e.g., iteration of belief, quantifying into belief contexts, and anaphora in belief reports. Moreover, constructive solutions to canonical instances of the problem of hyperintensionality are suggested. The paper includes a discussion of Ranta’s constructive account of belief reports.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  54
    On the Legal Responsibility of Autonomous Machines.Bartosz Brożek & Marek Jakubiec - 2017 - Artificial Intelligence and Law 25 (3):293-304.
    The paper concerns the problem of the legal responsibility of autonomous machines. In our opinion it boils down to the question of whether such machines can be seen as real agents through the prism of folk-psychology. We argue that autonomous machines cannot be granted the status of legal agents. Although this is quite possible from purely technical point of view, since the law is a conventional tool of regulating social interactions and as such can accommodate various legislative constructs, including legal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  10
    Information and Communication Technologies in Primary Healthcare – Barriers and Facilitators in the Implementation Process.Bartosz Pędziński, Paweł Sowa, Waldemar Pędziński, Michalina Krzyżak, Dominik Maślach & Andrzej Szpak - 2013 - Studies in Logic, Grammar and Rhetoric 35 (1):179-189.
    Despite the great expansion and many benefits of information and communication technologies in healthcare, the attitudes of Polish general practitioners to e-health have not been explored. The aim of this study was to determine the GPs’ perception of ICT use in healthcare and to identify barriers to the adoption of EMR in the Podlaskie Voivodeship. Online and telephone surveys were conducted between April and May 2013. Responses from 103 GP practices, 43% of all practices in the region, were analysed. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  29
    Law and Defeasibility. A Few Comments on The Logic of Legal Requirements.Bartosz Brożek - 2014 - Revus 23:165-170.
    The Logic of Legal Requirements. Essays on Defeasibility, edited by Jordi Ferrer Beltrán and Giovanni Battista Ratti, and published by Oxford University Press in 2012, is a very much welcome contribution to one of the most discussed topics in the contemporary legal theory and philosophy. Defeasibility is connected to many essential issues such as the nature of legal reasoning, the structure of legal norms and legal system, the concept of legal validity, as well as the mechanisms and limits of..
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  25
    Moral Perspectives On Euthanasia.Richard Gula - 1991 - Studies in Christian Ethics 4 (1):22-39.
  15.  7
    Disjunctions with Stopping Conditions.Roman Kossak & Bartosz Wcisło - forthcoming - Bulletin of Symbolic Logic:1-28.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  3
    Hiperreal Dimension of Dying: Reception of the Phenomenon by Jean Baudrillard, Zuzanna Janin, and Bogna Burska.Michalina Guła - 2015 - Philosophy Study 5 (1).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  58
    Optimization of Use of Public Funds for Promotion of The Rational Use of Energy and Renewable Energy Sources: The Example of Poland.Elzbieta Gula & Arkadiusz Figorski - 2009 - World Futures 65 (5-6):417-426.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  25
    Models of Weak Theories of Truth.Mateusz Łełyk & Bartosz Wcisło - 2017 - Archive for Mathematical Logic 56 (5-6):453-474.
    In the following paper we propose a model-theoretical way of comparing the “strength” of various truth theories which are conservative over PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document}. Let Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {Th}}$$\end{document} denote the class of models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} which admit an expansion to a model of theory Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  9
    Subatomic Negation.Bartosz Więckowski - forthcoming - Journal of Logic, Language and Information:1-56.
    The operators of first-order logic, including negation, operate on whole formulae. This makes it unsuitable as a tool for the formal analysis of reasoning with non-sentential forms of negation such as predicate term negation. We extend its language with negation operators whose scope is more narrow than an atomic formula. Exploiting the usefulness of subatomic proof-theoretic considerations for the study of subatomic inferential structure, we define intuitionistic subatomic natural deduction systems which have several subatomic operators and an additional operator for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  19
    Sub-Neocortical Brain: A Mechanical Tool for Creative Generation?Bartosz Karaszewski - 2008 - Trends in Cognitive Sciences 12 (5):171-172.
  21.  18
    Externalism.Bartosz Gostkowski - 2007 - Polish Journal of Philosophy 1 (1):148-150.
  22.  7
    Models of Positive Truth.Mateusz Łełyk & Bartosz Wcisło - 2019 - Review of Symbolic Logic 12 (1):144-172.
    This paper is a follow-up to [4], in which a mistake in [6] was corrected. We give a strenghtening of the main result on the semantical nonconservativity of the theory of PT−with internal induction for total formulae${$, denoted by PT−in [9]). We show that if to PT−the axiom of internal induction forallarithmetical formulae is added, then this theory is semantically stronger than${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left$. In particular the latter is not relatively truth definable in the former. Last but not (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  19
    Folk Psychology and Law: The Case of Eliminativism.Marek Jakubiec & Bartosz Janik - 2017 - Semina Scientiarum 16:155-167.
    The aim of this paper is very modest. First, we want to assess how different strategies of naturalization might deal with the need of using folk psychology in legal domain. Second, we want to check whether folk psychology is indeed indispensable in the legal domain. Third, we want to describe possible problems with one strategy of naturalization, i.e. radical naturalization with classical elimination. Our conclusion will be that despite various attempts, every project of naturalization of law will have to resolve (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  19
    Models of PT- with Internal Induction for Total Formulae.Cezary Cieslinski, Bartosz Wcisło & Mateusz Łełyk - 2017 - Review of Symbolic Logic 10 (1):187-202.
    We show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PT tot ) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PT tot contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  6
    Dominando a Própria Carne: Gula, Temperança E Boas Maneiras À Mesa Nos Manuais de Civilidade.Maria Cecilia Barreto Amorim Pilla - 2018 - Dialogos 22 (1):218.
    “Comer para viver e não viver para comer”, essa é uma máxima que parece ter percorrido a história do Ocidente. Desde o século XIII a moderação tornou-se um ideal e a renascença trouxe consigo a civilidade das maneiras, transformando a voracidade do comer em uma atitude animalesca. Utilizando como fontes, manuais de civilidade de diferentes épocas, pretende-se analisar preceitos neles contidos sobre ideais de comportamento social e moral diante da comida, e em que medida podemos perceber permanências e transformações de (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Crise de la Théologie Morale?T. Styczen, W. Chudy & J. Gula - 1984 - Roczniki Filozoficzne 32 (2):45-64.
  27. Law and Mind: A Survey of Law and the Cognitive Sciences.Bartosz Brożek, Jaap Hage & Nicole Vincent (eds.) - 2021 - Cambridge University Press.
    Are the cognitive sciences relevant for law? How do they influence legal theory and practice? Should lawyers become part-time cognitive scientists? The recent advances in the cognitive sciences have reshaped our conceptions of human decision-making and behavior. Many claim, for instance, that we can no longer view ourselves as purely rational agents equipped with free will. This change is vitally important for lawyers, who are forced to rethink the foundations of their theories and the framework of legal practice. Featuring multidisciplinary (...)
    No categories
     
    Export citation  
     
    Bookmark  
  28.  4
    Local Collection and End-Extensions of Models of Compositional Truth.Mateusz Łełyk & Bartosz Wcisło - 2021 - Annals of Pure and Applied Logic 172 (6):102941.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  12
    Truth and Feasible Reducibility.Ali Enayat, Mateusz Łełyk & Bartosz Wcisło - 2020 - Journal of Symbolic Logic 85 (1):367-421.
    Let ${\cal T}$ be any of the three canonical truth theories CT^− (compositional truth without extra induction), FS^− (Friedman–Sheard truth without extra induction), or KF^− (Kripke–Feferman truth without extra induction), where the base theory of ${\cal T}$ is PA. We establish the following theorem, which implies that ${\cal T}$ has no more than polynomial speed-up over PA. Theorem.${\cal T}$is feasibly reducible to PA, in the sense that there is a polynomial time computable function f such that for every ${\cal T}$-proof (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Obrzezanie i nacięcie podłużne jako rytuał inicjacji. Zarys problematyki według Bruno Bettelheima.Bartosz Abramowicz - 2005 - Hybris. Revista de Filosofía 3.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Wyobraźnia.Bartosz Araszewicz - 2011 - Ruch Filozoficzny 68 (3).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  27
    Rola paradoksu kłamcy w konstrukcji logicznych teorii prawdy.Bartosz BOŻEK - 2002 - Zagadnienia Filozoficzne W Nauce 30.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  27
    Sprzeczność logiczna a konflikt nauki i wiary.Bartosz BOŻEK - 2001 - Zagadnienia Filozoficzne W Nauce 29.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  9
    Analogy and Balancing. A Reply to David Duarte.Bartosz Brożek - 2015 - Revus 25:163-170.
    The goal of the paper is to reply to David Duarte’s critique of the partial reducibility thesis―a claim I defended in one of my books that analogy is partly reducible to the balancing of legal principles. In the first part of the paper I sketch the framework against which the thesis was formulated, i.e. Robert Alexy’s theory of legal reasoning. In the second part I attempt to rebut Duarte’s objections, pointing out that they do not take into account the Alexian (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  9
    Analogno sklepanje in tehtanje. Odgovor Davidu Duarteju.Bartosz Brożek - 2015 - Revus 25:155-162.
    Cilj članka je odgovoriti na kritiko, ki jo je David Duarte usmeril zoper tezo o delni zvedljivosti, tj. trditev, ki jo Brożek zagovarja v eni izmed svojih knjig in pravi, da je analogno sklepanje deloma zvedljivo na tehtanje pravnih načel. Prvi del članka oriše okvir, ki je avtorju služil pri oblikovanju teze o zvedljivosti, tj. Alexyjevo teorijo pravnega sklepanja. Drugi del je namenjen ovrženju Duartejevih ugovorov. Ti naj namreč ne bi upoštevali prej omenjenega okvira. V zadnjem delu avtor še zatrdi, (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Defeasibility of Legal Reasoning.Bartosz Brożek - 2004 - Kantor Wydawniczy "Zakamycze".
  37. Games, Trees and Deontic Logic.Bartosz Brożek - 2011 - In Jerzy Stelmach & Wojciech Załuski (eds.), Game Theory and the Law. Copernicus Center Press.
  38.  12
    Introduction to the Special Issue on Machine Law.Bartosz Brożek, Jaap Hage & Bipin Indurkhya - 2017 - Artificial Intelligence and Law 25 (3):251-253.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. Outline of a Theory of Law's Normativity.Bartosz Brożek - 2011 - In Jerzy Stelmach & Bartosz Brożek (eds.), The Normativity of Law. Copernicus Center Press.
  40.  6
    On Tû-Tû.Bartosz Brożek - 2015 - Revus 27:15-23.
    The goal in this short paper is to argue that so-called intermediary concepts play an essential role in organizing and generating legal knowledge. The point of departure is a reconstruction and a critique of Alf Ross’s analysis of such concepts. His goal was to argue that there exist concepts in the law which have no semantic reference, yet it is reasonable to use them as they perform some useful function regarding the presentation of legal rules. The author believes that Ross (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  6
    O tû-tûju.Bartosz Brożek - 2015 - Revus 27:7-14.
    Avtor zatrjuje, da imajo t. i. posredniški pojmi ključno vlogo pri urejanju in tvorbi pravnega znanja. V izhodišču povzame Rossovo razmišljanje o takšnih pojmih, ki ga nato kritizira. Ross je skušal pokazati, da v pravu obstajajo pojmi, ki nimajo nobenega pomenskega ozira, a je njihova raba kljub temu nekaj razumnega, saj imajo pri predstavitvi pravnih pravil koristno vlogo. Avtor meni, da sta obe Rossovi trditvi napačni: zmoten je njegov sklep, da posredniški pojmi nimajo nobenega pomenskega ozira, Rossova opredelitev njihove vloge (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Philosophy in Science: Methods and Applications.Bartosz Brożek, Janusz Mączka & Wojciech P. Grygiel (eds.) - 2011 - Copernicus Center Press.
  43.  34
    Popper wobec semantycznej teorii prawdy [dyskusje i polemiki].Bartosz Brożek - 2002 - Zagadnienia Filozoficzne W Nauce 31.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  7
    Supervenience and Normativity.Bartosz Brożek, Antonino Rotolo & Jerzy Stelmach (eds.) - 2017 - Springer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  9
    Sobre Tû-Tû.Bartosz Brożek - 2015 - Revus 27:25-34.
    El propósito en este breve artículo es argumentar que los llamados conceptos intermediarios juegan un rol esencial en la organización y generación del conocimiento jurídico. El punto de partida es una reconstrucción y crítica del análisis de Alf Ross sobre dichos conceptos. Su objetivo era argumentar que existen conceptos en el derecho que no tienen referencia semántica, pero que aun así es razonable usarlos dado que cumplen con algunas funciones útiles relacionadas con la presentación de las reglas jurídicas. El autor (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Anne L. C. Runehov, The Human Being, the World and God. Studies at the Interface of Philosophy of Religion, Philosophy of Mind and Neuroscience. [REVIEW]Bartosz Bukatko - forthcoming - Ruch Filozoficzny:1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  3
    Anne L. C. Runehov, The Human Being, the World and God. Studies at the Interface of Philosophy of Religion, Philosophy of Mind and Neuroscience. [REVIEW]Bartosz Bukatko - 2020 - Ruch Filozoficzny 75 (4):185.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Fryderyka Nietzschego rozmyślania o muzyce.Bartosz Działoszyński - 1998 - Sztuka I Filozofia 15:254.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Filozofia pojedynku – Hercen, Puszkin, Lermontow.Bartosz Działoszyński - 2013 - Przeglad Filozoficzny - Nowa Seria 87 (3):239-254.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Giorgio Colli o Nietzschem i dziejach filozofii.Bartosz Działoszyński - 1999 - Principia.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 139