Results for 'Bartosz Wicckowski'

247 found
Order:
  1.  9
    (1 other version)On Truth in Time.Bartosz Wicckowski - 2010 - In Piotr Stalmaszczyk (ed.), Objects of Inquiry in Philosophy of Language and Linguistics. Ontos Verlag. pp. 381.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  62
    Rethinking the History of Peptic Ulcer Disease and its Relevance for Network Epistemology.Bartosz Radomski, Dunja Šešelja & Naumann Kim - forthcoming - History and Philosophy of the Life Sciences.
    The history of the research on peptic ulcer disease is characterized by a premature abandonment of the bacterial hypothesis, which subsequently had its comeback, leading to the discovery of Helicobacter pylori – the major cause of the disease. In this paper we examine the received view on this case, according to which the primary reason for the abandonment of the bacterial hypothesis in the mid-twentieth century was a large-scale study by a prominent gastroenterologist Palmer, which suggested no bacteria could be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  34
    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  
  4.  38
    The black box problem revisited. Real and imaginary challenges for automated legal decision making.Bartosz Brożek, Michał Furman, Marek Jakubiec & Bartłomiej Kucharzyk - 2024 - Artificial Intelligence and Law 32 (2):427-440.
    This paper addresses the black-box problem in artificial intelligence (AI), and the related problem of explainability of AI in the legal context. We argue, first, that the black box problem is, in fact, a superficial one as it results from an overlap of four different – albeit interconnected – issues: the opacity problem, the strangeness problem, the unpredictability problem, and the justification problem. Thus, we propose a framework for discussing both the black box problem and the explainability of AI. We (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  32
    Notes on bounded induction for the compositional truth predicate.Bartosz Wcisło & Mateusz Łełyk - 2017 - Review of Symbolic Logic 10 (3):455-480.
    We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with \Delta 0 -induction scheme for the truth predicate and the full arithmetical induction scheme is not conservative over Peano Arithmetic. In addition, we show that a slightly modified theory of truth actually proves the global reflection principle over the base theory.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  6.  73
    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 (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7. 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   7 citations  
  8.  56
    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   22 citations  
  9.  37
    Rethinking the history of peptic ulcer disease and its relevance for network epistemology.Bartosz Michał Radomski, Dunja Šešelja & Kim Naumann - 2021 - History and Philosophy of the Life Sciences 43 (4):1-23.
    The history of the research on peptic ulcer disease is characterized by a premature abandonment of the bacterial hypothesis, which subsequently had its comeback, leading to the discovery of Helicobacter pylori—the major cause of the disease. In this paper we examine the received view on this case, according to which the primary reason for the abandonment of the bacterial hypothesis in the mid-twentieth century was a large-scale study by a prominent gastroenterologist Palmer, which suggested no bacteria could be found in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  72
    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   6 citations  
  11.  11
    Rule-following: from imitation to the normative mind.Bartosz Brożek - 2013 - Kraków: Copernicus Center Press.
    Wittgenstein's insights -- Imitation -- Is meaning normative? -- How to blunt Hume's guillotine? -- The miracle of mathematics -- Into Popper's world.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  18
    Niedostatki metod kwestionariuszowych w filozofii eksperymentalnej.Bartosz Maćkiewicz - 2022 - Filozofia Nauki 30 (3):71-100.
    Surveys are the most widely used research tool in experimental philosophy. In this paper, I analyze two types of criticism of the questionnaire method put forward in the literature. The first type is metaphilosophical. It asserts that the surveys used by experimental philosophers are based on a flawed and unproductive method of cases. The second type is methodological. It argues that currently used questionnaires are unfit to measure philosophically relevant phenomena. I show that these objections can be met by a) (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  38
    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  
  14.  38
    Rola paradoksu kłamcy w konstrukcji logicznych teorii prawdy.Bartosz BOŻEK - 2002 - Zagadnienia Filozoficzne W Nauce 30.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  12
    Logic in theology.Bartosz Brożek, Adam Olszewski & Mateusz Hohol (eds.) - 2013 - Kraków: Copernicus Center Press.
    This collection of essays - written by philosophers, logicians, and theologians - is devoted to the problem of the utilization of logic in theological discourse. Viewed from the perspective of logic, the issues covered include such topics as the logic of miracles, the problem of God's omniscience, the application of non-classical logics to theology, and the relationships between science and theology.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Giorgio Colli o Nietzschem i dziejach filozofii.Bartosz Działoszyński - 1999 - Principia.
    No categories
     
    Export citation  
     
    Bookmark  
  17. Natura sporów filozoficznych w ujęciu MacIntyre'a [Alasdair Maclntyre, Trzy antagonistyczne wersje dociekań moralnych. Etyka, Gene­alogia i Tradycja].Bartosz Fingas - 2012 - Studia Philosophica Wratislaviensia:203-210.
     
    Export citation  
     
    Bookmark  
  18.  19
    Panorama inna niż wszystkie.Bartosz Janik - 2017 - Philosophical Problems in Science 62:303-308.
    Recenzja książki: _Panorama współczesnej filozofii_, Jacek Hołówka, Bogdan Dziobkowski, Wydawnictwo Naukowe PWN, Warszawa 2016, ss. 559.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. Pierwszy krok w chmurach: o teorii siedliska wydarzeniowego Alaina Badiou.Bartosz Kuźniarz - 2013 - Diametros 37:69-84.
    No categories
     
    Export citation  
     
    Bookmark  
  20.  28
    Prawda, schemat pojęciowy i świat.Bartosz Orlewski - 2005 - Diametros 5:51-82.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. \"Zmiana sposobu życia\" jako efekt filozofowania - w nawiązaniu do hermeneutycznych idei filozofii.Bartosz Rozbicki - 2011 - Idea Studia nad strukturą i rozwojem pojęć filozoficznych 23 (23).
    No categories
     
    Export citation  
     
    Bookmark  
  22. Ecowskie inspiracje. Semiotyka w komunikacji i kulturze.Bartosz Żukowski (ed.) - 2017 - Lodz: Lodz University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  23. Racjonalizacja pojecia natury w pismach alaina z lille.Bartosz Wieczorek - 2006 - Studia Philosophiae Christianae 42 (2):133-149.
    No categories
     
    Export citation  
     
    Bookmark  
  24. Pragmatystyczna filozofia religii w ujęciu Richarda Rorty'ego.Bartosz Zalepiński - 2011 - Hybris. Internetowy Magazyn Filozoficzny 13.
     
    Export citation  
     
    Bookmark  
  25.  65
    Epistemic Side-Effect Effect: A Meta-Analysis.Bartosz Maćkiewicz, Katarzyna Kuś, Katarzyna Paprzycka-Hausman & Marta Zaręba - 2024 - Episteme 21 (2):609-643.
    Beebe and Buckwalter (2010) made the surprising discovery that people are more inclined to attribute knowledge when norms are violated than when they are conformed to. The epistemic side-effect effect (ESEE) is the analogue of the Knobe effect (Knobe 2003a). ESEE was replicated in a number of experiments. It was also studied under various conditions. We have carried out a meta-analysis of research on ESEE. The results suggest that ESEE is a robust finding but its magnitude is highly variable. Two (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  37
    Subatomic Negation.Bartosz Więckowski - 2021 - Journal of Logic, Language and Information 30 (1):207-262.
    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   2 citations  
  27. Galileusz i rozróżnienie między jakościami pierwotnymi a wtórnymi (I). Argument superesencjalistyczny.Bartosz Żukowski - 2022 - Ruch Filozoficzny 78 (1):25-49.
    "Galileo on the Distinction between Primary and Secondary Qualities (I). A Superessentialist Argument" Galileo’s distinction between primary and secondary qualities has hitherto been examined almost exclusively from a contextual, historical perspective. This paper, the first of two planned, aims to fill this gap by providing a systematic, theoretical analysis of his principal argument for the distinction, as advanced in "The Assayer". I begin with a reconstruction of the key steps in the argument, and then proceed to identify and discuss the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  5
    On the Alternatives to the Ideal Mathematical Points-Like Separatedness.Bartosz Jura - 2024 - Foundations of Physics 55 (1):1-21.
    In a recent paper as an alternative to models based on the notion of ideal mathematical point, characterized by a property of separatedness, we considered a viewpoint based on the notion of continuous change, making use of elements of a non-classical logic, in particular the fuzzy sets theory, with events represented as spatiotemporally blurred blobs. Here we point out and discuss a number of aspects of this imperfect symbolic description that might potentially be misleading. Besides that, we analyze its relation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  79
    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   6 citations  
  30.  18
    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   1 citation  
  31. Analiza lingwistyczna egzystencjalnej doktryny Berkeleya.Bartosz Żukowski - 2011 - Diametros 30:93-108.
    "Berkeley’s Doctrine of Existence. A Linguistic Approach" The paper focuses on a linguistic analysis of Berkeley’s doctrine of existence. It has been shown that the traditional, relational-operational interpretation of Berkeley's existential claims must be expanded by adding a predicative element, which requires that they also be interpret as definitional copulas. The standard interpretation of Berkeley’s claims has been indicated as one of the main causes of misinterpretations of his metaphysics. The new, philosophically intriguing use of the verb ‘to be’, combining (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Inferentialism, Context-Shifting and Background Assumptions.Bartosz Kaluziński - 2022 - Erkenntnis 87 (6):2973-2992.
    In this paper I present how the normative inferentialist can make the distinction between sentence meaning and content of the utterance. The inferentialist can understand sentence meaning as a role conferred to that sentence by the rules governing inferential transitions and content of the utterance as just a part of sentence meaning. I attempt to show how such a framework can account for prominent scenarios presented by contextualists as a challenge to semantic minimalism/literalism. I argue that inferentialism can address contextualist (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33. 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  
  34. Fryderyka Nietzschego rozmyślania o muzyce.Bartosz Działoszyński - 1998 - Sztuka I Filozofia (Art and Philosophy) 15:254.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Filozofia pojedynku – Hercen, Puszkin, Lermontow.Bartosz Działoszyński - 2013 - Przeglad Filozoficzny - Nowa Seria 87 (3):239-254.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  30
    Einfluss von Werten auf Präzedenzentscheidungen der Gerichte nach Jerzy Wróblewski.Bartosz Greczner - 2011 - Rechtstheorie 42 (3):339-375.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  32
    Urojenia jako rodzaje naturalne: problem homeostatycznych klastrów własności.Bartosz Janik - 2016 - Semina Scientiarum 15:124-135.
    The purpose of this article is to analyze the issue of delusions as natural kinds in the context of the problem of scientific basis of psychiatry. In the analysis the author points out that the claim that delusions are a natural kind (perceived rather classically) cannot be maintained and delusions should be analyzed rather as a homeostatic property clusters. This concept is very popular recently in philosophy of psychiatry and will be the subject of analysis of the second part of (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  26
    W poszukiwaniu ukrytej natury - rodzaje naturalne a język prawa.Bartosz Janik - 2017 - Archiwum Filozofii Prawa I Filozofii Społecznej 14 (1):66-73.
  39.  11
    The Manager of Providence? Contemporary Catholic Thought Regarding Environmental Problems in the Light of Encyclical Laudato Si’.Bartosz Jastrzębski - 2020 - Civitas. Studia Z Filozofii Polityki 25:161-180.
    Opposing ecology to Catholicism, or vice versa, has no dogmatic, theological or philosophical foundations – it is a purely rhetorical and political maneuver. Catholicism is, and must be, deeply ecological – although this necessity has not always been properly displayed. This is clearly evidenced by both biblical testimonies confirming the value of every being and the reflection of Tradition within the theology of creation. Similarly, in this context, there are no grounds for invoking the “holy property right” to justify the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  8
    Farewell to postmodernism: social theories of the late left.Bartosz Kuźniarz - 2015 - New York: Peter Lang.
    In the late 1960s, a whole pantheon of thinkers regarding themselves as radicals stole a part of the anarchic praxis of late capitalism, turned it into philosophy, and with the resulting set of views turned against the foundations of the system in a purportedly radical gesture. Postmodernism was the name for the superficially revolutionary culture which then came into existence. The thought of the late left appears as the subsequent response to the cunning of the system.<BR> The main figures of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  7
    Goodbye Mr. Postmodernism: teorie społeczne myślicieli późnej lewicy = Goodbye Mr. Postmodernism: the late left, its thinkers and social theories.Bartosz Kuźniarz - 2011 - Toruń: Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika.
    W latach 80. i 90. ubiegłego stulecia pojęcie postmodernizmu budziło skrajne emocje. Po jednej stronie lokowali się kpiarze i skrajni sceptycy, którzy uznali pisarstwo postmodernistyczne za humbug i wytwór intelektualnej mody. Po drugiej stronie znajdowali się ci, którzy w postmodernizm uwierzyli aż za bardzo, widząc w nim festiwal wszelkich różnic, a zarazem nadejście długo wyczekiwanego królestwa wolności. Czym był jednak w swej istocie ów straszny bądź ekscytujący postmodernizm? I czy nie nadszedł już czas, by spojrzeć na tę sprawę odrobinę chłodniejszym (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Potoczne pojęcie intencjonalności a kultura . Studium porównawcze modyfikatorów intencjonalności w języku polskim , angielskim i włoskim.Bartosz Maćkiewicz, Katarzyna Kuś & Monika Favara - 2021 - In Efekt Knobe’a w świetle rozważań językoznawczych i metodologicznych. Studium teoretyczne i eksperymentalne efektu Knobe’a i problemu Butlera,. Warszawa, Polska:
    Barcz and Zaręba (2021) argue that depending on the shape and the size of the asymmetry in attributions of intentional actions one can distinguish various interpretations of the Knobe effect. Their classification of these interpretations can be used to compare judgments of intentional action across different languages and cultures. Our study in three languages (Polish, English and Italian) indicates that there is some cross-cultural variation both in the ascription of intentionality to an action and in the ascription of actions to (...)
     
    Export citation  
     
    Bookmark  
  43. Odkrycie czy stypulacja? Perypetie definicyjne Plutona w kontekście teorii nazw naturalnorodzajowych Josepha Laporte\'a.Bartosz Orlewski - 2007 - Ruch Filozoficzny 4 (4).
    No categories
     
    Export citation  
     
    Bookmark  
  44.  20
    Health Security in a Democratic State: Child Vaccination – Legal Obligation Versus the Right to Express Consent for a Medical Intervention.Bartosz Pędziński, Joanna Huzarska & Dorota Huzarska-Ryzenko - 2019 - Studies in Logic, Grammar and Rhetoric 59 (1):237-255.
    One of the major objectives in a democratic state is ensuring health security of the citizens including combating epidemic diseases. The subject matter of this article is the presentation and analysis of legal regulations regarding preventive vaccination in Poland, in particular the aspect of imposing a legal obligation and restricting parents’ right to express consent for medical intervention. The reflections made herein are aimed at finding an answer to the question whether the adopted legal solutions are admissible in a democratic (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  25
    Seeking the Documentary. Analysing mechanisms of documentary effect’s creation in photography based on Zofia Rydet’s Sociological Record.Bartosz Pergół - 2019 - Sztuka I Filozofia (Art and Philosophy) 54 (1).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Legal rules, moral norms and democratic principles.Bartosz Wojciechowski, Piotr W. Juchacz & Karolina M. Cern (eds.) - 2013 - Frankfurt: Peter Lang Edition.
  47. ”Kultura” – utwór na chór i orkiestrę. Muzyka jako organon strukturalnej analizy mitów.Bartosz Żukowski - 2015 - In Ewa Starzyńska-Kościuszko, Andrzej Kucner & Piotr Wasyluk (eds.), Filozofia i muzyka. Instytut Filozofii UWM. pp. 245-255.
    'Culture’. The Work for Choir and Orchestra. Music as an Organon for the Structural Analysis of Myth.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  20
    Compositional truth with propositional tautologies and quantifier-free correctness.Bartosz Wcisło - 2023 - Archive for Mathematical Logic 63 (1):239-257.
    In Cieśliński (J Philos Logic 39:325–337, 2010), Cieśliński asked whether compositional truth theory with the additional axiom that all propositional tautologies are true is conservative over Peano Arithmetic. We provide a partial answer to this question, showing that if we additionally assume that truth predicate agrees with arithmetical truth on quantifier-free sentences, the resulting theory is as strong as $$\Delta _0$$ Δ 0 -induction for the compositional truth predicate, hence non-conservative. On the other hand, it can be shown with a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. 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  
  50.  40
    Unexpected action outcomes produce enhanced temporal binding but diminished judgement of agency.Bartosz Majchrowicz & Michał Wierzchoń - 2018 - Consciousness and Cognition 65:310-324.
1 — 50 / 247