Results for 'Paweł Siniło'

974 found
Order:
  1.  78
    The inapplicability of (selected) paraconsistent logics.Rafal Urbaniak & Paweł Siniło - 2014 - Journal of Applied Non-Classical Logics 24 (4):368-383.
    In some cases one is provided with inconsistent information and has to reason about various consistent scenarios contained within that information. Our goal is to argue that filtered paraconsistent logics are not the right tool to handle such cases and that the problems generalise to a large class of paraconsistent logics. A wide class of paraconsistent logics is obtained by filtration: adding conditions to the classical consequence operation . We start by surveying the most promising candidates and comparing their strengths. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  2. Ewolucjonizm w swietle nauki, Pawel Siwek.Paweł Siwek - 1973 - London,: Veritas Foundation Publication Centre.
     
    Export citation  
     
    Bookmark  
  3.  47
    Attention to negative words predicts daily rumination among people with clinical depression: evidence from an eye tracking and daily diary study.Paweł Holas, Izabela Krejtz, Marzena Rusanowska, Natalia Rohnka & John B. Nezlek - 2019 - Cognition and Emotion 33 (6):1277-1283.
    ABSTRACTThe present study examined relationships between attention to negative words and daily rumination and daily adjustment in a sample of clinically depressed individuals. We recorded eye movements of 43 individuals diagnosed with major depression while they were freely viewing dysphoric, threat-related, neutral, and positive words. Then, each day for one week, participants provided measures of their daily rumination and psychological adjustment. Multilevel analyses found that attention to dysphoric and threat-related words was positively related to daily rumination and attention to threat-related (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Nowoczesność – czasowy wymiar zróżnicowania kulturowego.Paweł Bytniewski - 2004 - Colloquia Communia 76 (1):87-102.
    No categories
     
    Export citation  
     
    Bookmark  
  5.  41
    Stanisław Kowalczyk, Zarys filozofii polityki [An Outline of the Political Philosophy] by Paweł Urgacz.Paweł Urgacz - 2008 - Forum Philosophicum: International Journal for Philosophy 13 (2):387-390.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  31
    A New Application of the SERVQUAL Method for the Evaluation of the Quality of Medical Services.Paweł Węgłowski, Iwona Mazur, Joanna A. Jończyk, Michał Czapla & Piotr Karniej - 2017 - Studies in Logic, Grammar and Rhetoric 51 (1):101-111.
    This study was designed to determine the quality of service through the evaluation of hospitalized patients. An analysis of hospitalized patients’ subjective feelings towards service quality was carried out, in the context of the application of the SERVQUAL method. The pilot study was conducted in a Silesian hospital in a group of 29 young patients diagnosed with kidney disease. The study used a standard sheet of 22 SERVQUAL statements and an analysis of the significance of the 5 areas of quality (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Semantyczne konsekwencje formalnych eksplikacji teorii naukowych.Paweł Zeidler - 1988 - Studia Filozoficzne 270 (5).
     
    Export citation  
     
    Bookmark  
  8.  47
    Many-valued logic of informal provability: A non-deterministic strategy.Pawel Pawlowski & Rafal Urbaniak - 2018 - Review of Symbolic Logic 11 (2):207-223.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  34
    Pavel Florensky’s Theory of Religious Antinomies.Paweł Rojek - 2019 - Logica Universalis 13 (4):515-540.
    Pavel Florensky (1882–1937), a Russian theologian, philosopher, and mathematician, argued that the religious discourse is essentially contradictory and put forward the idea of the logical theory of antinomies. Recently his views raised interesting discussions among logicians who consider him a forerunner of many non-classical logics. In this paper I discuss four interpretations of Florensky’s views: paraconsistent, L-contradictory, non-monotonic and rhetorical. In conclusion I argue for the integral interpretation which unites these four approaches.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  47
    Wojciech Słomski. W stronę człowieka, Wokół koncepcji filozofii Antoniego Kępińskiego [In the direction of man. About Antoni Kępiński's conception of philosophy].Paweł Stanisław Czarnecki - 1970 - Forum Philosophicum: International Journal for Philosophy 9 (1):298-299.
    Assuming, according to Jaspers, that the measure of truth of a philosophical system is the lifestyle of its creator as well as his ability at drawing conclusions resulting from philosophical speculation to the requirements of practical action, the question must be asked, to what extent, if at all Wojciech Słomski's book tries to recognise and name the philosophically characteristic merging of theory and practise. Despite this, it shouldn't be the superior aim of any biography, let alone the biography of a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  46
    Wojciech Słomski. Szkice o filozofii polskiej XX wieku [Drafts on Polish Philosophy of the 20th century].Paweł Stanisław Czarnecki - 1970 - Forum Philosophicum: International Journal for Philosophy 9 (1):295-297.
    After a brief look at Drafts on Polish philosophy of the twentieth century you could get the impression that this is a work dedicated to the most recent works of Polish philosophy. However after a moment of consideration, it seems hard to believe that a contemporary philosopher would write a history of twentieth century philosophy which could be considered neither as his history nor his philosophy. The distinction between history and philosophy in this case is not accidental since Wojciech Słomski (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Pojęcie wartości według Antoniego Kępińskiego.Paweł Bankiewicz - 2007 - Principia 49.
    No categories
     
    Export citation  
     
    Bookmark  
  13.  35
    Zastosowania filozofii analitycznej w prawoznawstwie: Wprowadzenie.Paweł Banaś, Wojciech Ciszewski, Adam Dyrda & Bartosz Janik - 2018 - Avant: Trends in Interdisciplinary Studies 9 (1):11-17.
    The paper critically examines the conception of majoritarian democracy. In the second part of the text, the author introduces the definition of majoritarian democracy based on the Joseph Schumpeter’s theory of minimal democracy. The thesis of the paper is that electing the government by universal suffrage is neither necessary nor sufficient as a condition for a democratic regime. The concept of democracy is broader, including the catalogue of democratic values connected with the concept of democratic citizenship, special circumstances of political (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  14
    Etyka z rosyjskiej perspektywy (A.A. Gusienow, R.G. Apresjan, Etyka).Paweł Czarnecki - 2004 - Etyka 37:290-293.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  37
    Stimmung/Nastrój as Content of Modern Science: On Musical Metaphors in Ludwik Fleck’s Theory of Thought Styles and Thought Collectives.Paweł Jarnicki - 2022 - Foundations of Science 27 (3):1207-1228.
    Thought style and thought collective are two well-known concepts from Ludwik Fleck’s theory of science, which he originally formulated in Polish and German. This paper contends that these two concepts cannot be fully understood without a third—Stimmung/nastrój, which is one of the musical metaphors that play an important role in Fleck’s thinking. Because it is most often translated into English as “mood”, Fleck’s musical metaphors are mostly lost in translation, appearing as mere rhetoric. Only if and when we understand Stimmung/nastrój (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  70
    Explaining Cognitive Phenomena with Internal Representations: A Mechanistic Perspective.Paweł Gładziejewski - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):63-90.
    Despite the fact that the notion of internal representation has - at least according to some - a fundamental role to play in the sciences of the mind, not only has its explanatory utility been under attack for a while now, but it also remains unclear what criteria should an explanation of a given cognitive phenomenon meet to count as a representational explanation in the first place. The aim of this article is to propose a solution to this latter problem. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  17.  55
    Canberra‐Style Analysis and Law: A Critique of Andrei Marmor's Farewell to Conceptual Analysis.Paweł Banaś & Filip Gołba - 2017 - Ratio Juris 30 (4):549-559.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  34
    Multi-modal distraction: Insights from children’s limited attention.Pawel J. Matusz, Hannah Broadbent, Jessica Ferrari, Benjamin Forrest, Rebecca Merkley & Gaia Scerif - 2015 - Cognition 136 (C):156-165.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  19.  19
    Ancient Threats to Modern Liberties: Tocqueville and the Contemporary Debate between Republicans and Liberals.Pawel Marczewski - 2010 - Ethical Perspectives 17 (3):449-474.
    The present contribution is an attempt at showing that Tocqueville’s conception of liberty transcended the divisions between negative and positive aspects of freedom. The author starts by juxtaposing it with the opposition drawn by Constant between liberty of the ancients and liberty of the moderns. While Tocqueville and Constant shared a concern for the preservation of individual rights, as Claude Lefort has rightly pointed out, Tocqueville was much more reluctant to accept the modern loss of the communal dimension of liberty. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  52
    Evolutionary origin of synapses and neurons - Bridging the gap.Pawel Burkhardt & Simon G. Sprecher - 2017 - Bioessays 39 (10):1700024.
    The evolutionary origin of synapses and neurons is an enigmatic subject that inspires much debate. Non-bilaterian metazoans, both with and without neurons and their closest relatives already contain many components of the molecular toolkits for synapse functions. The origin of these components and their assembly into ancient synaptic signaling machineries are particularly important in light of recent findings on the phylogeny of non-bilaterian metazoans. The evolution of synapses and neurons are often discussed only from a metazoan perspective leaving a considerable (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21. Sense-making with Ezequiel Di Paolo and Hanne De Jaegher Interview.Pawel Gladziejewski, Przemyslaw Nowakowski & Witold Wachowski - 2012 - Avant: Trends in Interdisciplinary Studies 3 (2):147-159.
  22.  33
    Expert attention: Attentional allocation depends on the differential development of multisensory number representations.Pawel J. Matusz, Rebecca Merkley, Michelle Faure & Gaia Scerif - 2019 - Cognition 186 (C):171-177.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  38
    \"Kim jest Autor?\" O krytycznej świadomości autorstwa.Paweł Bytniewski - 2010 - Filo-Sofija 10 (10 (2010/1)):73-106.
    Author: Bytniewski Paweł Title: “WHAT IS AN AUTHOR?” ON FOUCAULT’S CONSCIOUSNESS OF AN AUTHORSHIP („Kim jest Autor?” O krytycznej świadomości autorstwa) Source: Filo-Sofija year: 2010, vol:.10, number: 2010/1, pages: 73-106 Keywords: FOUCAULT, AUTHOR, LITERATURE, LANGUAGE, EXPERIENCE Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:One of the major obstacles to reconstructing Foucault’s attitude towards an authorship issue is multiplicity of his own roles which as an author he fulfilled. An Authorship as a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  43
    Directival Theory of Meaning: From Syntax and Pragmatics to Narrow Linguistic Content.Paweł Grabarczyk - 2019 - Springer Verlag.
    This book presents a new approach to semantics based on Kazimierz Ajdukiewicz’s Directival Theory of Meaning, which in effect reduces semantics of the analysed language to the combination of its syntax and pragmatics. The author argues that the DTM was forgotten because for many years philosophers didn’t have conceptual tools to appreciate its innovative nature, and that the theory was far ahead of its time. The book shows how a redesigned and modernised version of the DTM can deliver a new (...)
    No categories
  25. Predictive coding and representationalism.Paweł Gładziejewski - 2016 - Synthese 193 (2).
    According to the predictive coding theory of cognition , brains are predictive machines that use perception and action to minimize prediction error, i.e. the discrepancy between bottom–up, externally-generated sensory signals and top–down, internally-generated sensory predictions. Many consider PCT to have an explanatory scope that is unparalleled in contemporary cognitive science and see in it a framework that could potentially provide us with a unified account of cognition. It is also commonly assumed that PCT is a representational theory of sorts, in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   92 citations  
  26. Decision problem for finite equivalential algebras.Pawel M. Idziak - 1991 - Bulletin of the Section of Logic 20 (1):7-9.
     
    Export citation  
     
    Bookmark  
  27.  6
    Czy koniec teorii prawa?: z zagadnień teorii i filozofii prawa.Paweł Jabłoński (ed.) - 2011 - Wrocław: Wydawn. Uniwersytetu Wrocławskiego.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  5
    The need for practicing of classical metaphysics.Paweł Mazanka (ed.) - 2010 - Warszawa: Wydawn. Uniwersytetu Kardynała Stefana Wyszyńskiego.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  27
    Protecting ‘competition, not competitors’: antitrust discourse and the AT&T-Time Warner merger.Pawel Popiel - 2023 - Critical Discourse Studies 20 (3):256-268.
    ABSTRACT A key discourse underpinning US antitrust law is that it protects competition, not competitors. However, what this means in practice both has changed over time and betrays the politics underlying antitrust enforcement. This article interrogates this discourse and its contradictions in the context of the AT&T-Time Warner merger lawsuit through a critical discourse analysis of legal documents related to the case. The case represents a conflict over incentivizing competition in digital advertising markets at the expense of competition, particularly smaller (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  66
    Czy można pragnąć poznania Brahmana?Paweł Sajdek - 2018 - Diametros 56:39-50.
    Śankara did not comment on the first s ū tra in his Brahmas ū trabh āṣ ya, which was a common practice in such cases; rather, he started by defining two terms: ‘superimposition’ and ‘ignorance’, in a special introductory chapter known to a wider audience as Adhy ā sabh āṣ ya. The question arises as to why he deemed it necessary to precede his commentary to the initial s ū tra with these additional elucidations. Bh ā mat ī, Vācaspati Miśra’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  29
    The liberation doctrine in Brahmasiddhi of Maṇḍanamiśra.Paweł Sajdek - 2019 - Argument: Biannual Philosophical Journal 9 (1):43-56.
    The issue of liberation is a recurrent theme in all schools of Indian classical thought. In case of advaita-vedānta it is deeply rooted in ontology. The problem of ontological status of the world was the bone of contention for two competing non‑dualist schools of vedānta — vivaraṇa and bhāmatī. Maṇḍana’s Brahmasiddhi can be regarded as an important source of inspiration for the latter. The present paper is an analysis of Maṇḍana’s statements pertaining to the issue of mukti in contrast with (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Naïve realism about unconscious perception.Paweł Jakub Zięba - 2019 - Synthese 196 (5):2045-2073.
    Recently, it has been objected that naïve realism is inconsistent with an empirically well-supported claim that mental states of the same fundamental kind as ordinary conscious seeing can occur unconsciously (SFK). The main aim of this paper is to establish the following conditional claim: if SFK turns out to be true, the naïve realist can and should accommodate it into her theory. Regarding the antecedent of this conditional, I suggest that empirical evidence renders SFK plausible but not obvious. For it (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  33.  50
    God and Cogito: Semen Frank on the ontological argument.Paweł Rojek - 2019 - Studies in East European Thought 71 (2):119-140.
    Semen Frank (1877–1950) was one of the first and most ardent advocates of the ontological argument in the twentieth century. He proposed an original interpretation of the ontological argument based on its analogy to Descartes’ Cogito. Frank believed that it is possible to develop Cogito ergo sum into Cogito ergo est ens absolutum. In this paper, I analyze his version of the ontological argument. First, I propose a simple reconstruction of his reasoning, paying attention to its hidden premise. Second, departing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34. Seeing colours unconsciously.Paweł Jakub Zięba - 2022 - Synthese 200 (3):1-36.
    According to unconscious perception hypothesis (UP), mental states of the same fundamental kind as ordinary conscious seeing can occur unconsciously. The proponents of UP often support it with empirical evidence for a more specific hypothesis, according to which colours can be seen unconsciously (UPC). However, UPC is a general claim that admits of many interpretations. The main aim of this paper is to determine which of them is the most plausible. To this end, I investigate how adopting various conceptions of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  10
    Vom Wort zum Gebrauch: Wortbedeutung und ihre Eingebundenheit in Diskurse.Paweł Bąk & Boguslawa Rolek (eds.) - 2016 - New York: Peter Lang Edition.
    Die Beiträge dieses Buches untersuchen die Vielfalt der Herangehensweisen an die diversen Erscheinungsformen von Sprache, an das Wort und die Wortsemantik sowie an den Gebrauch von Sprache. Der Band enthält Arbeiten, die linguistische Fragestellungen zu sprachsystematischen Aspekten der Wort-, Satz-, Text- und Diskursebene behandeln sowie Perspektiven eröffnen, um diverse Aspekte von Sprache in einem über diese Domänen hinausgehenden Rahmen zu betrachten. Die Beiträger diskutieren Fragen der lexikalischen Semantik, Pragmalinguistik, Morphologie und der Lexikographie. Das Buch setzt seine Schwerpunkte neben der Wortsemantik (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  28
    Role of Logic in Cognitive Science.Paweł Balcerak - 2018 - Studia Humana 7 (1):21-30.
    In their work McCulloch and Pitts describe an idea of representing all of nervous activity in terms of propositional logic. This idea was quickly challenged. One of reasons for this challenge was rising believe that logic is unable to describe most of human cognitive processes. In this paper we will analyse premises of original McCulloch and Pitts proposition. Following that, we will ask about ability of symbolic systems to represent human cognition. We will finish by analysing relation between symbolic and (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37. Johna Searle'a opis intencjonalności pragnień.Paweł Bankiewicz - 2009 - Studia Philosophiae Christianae 45 (2):155-169.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  11
    Das sakramentale Herrscherbild in der politischen Kultur des Frühmittelalters.Paweł Figurski - 2016 - Frühmittelalterliche Studien 50 (1):129-162.
    Name der Zeitschrift: Frühmittelalterliche Studien Jahrgang: 50 Heft: 1 Seiten: 129-162.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  7
    Łukasz Smorczewski. Administracja diecezji Pontu w późnym cesarstwie rzymskim.Paweł Filipczak - 2021 - Byzantinische Zeitschrift 114 (3):1433-1439.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Kryzys człowieka i środowisko- etyczne alternatywy.Pawel Fobel - 2001 - Colloquia Communia 71 (4):110-123.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  16
    Climate Change Anxiety Assessment: The Psychometric Properties of the Polish Version of the Climate Anxiety Scale.Paweł Larionow, Michalina Sołtys, Paweł Izdebski, Karolina Mudło-Głagolska, Justyna Golonka, Maksym Demski & Maja Rosińska - 2022 - Frontiers in Psychology 13.
    The Climate Anxiety Scale is a 13-item questionnaire for assessing climate anxiety as a psychological response to climate change. The CAS consists of two subscales, namely, cognitive impairment and functional impairment. This study aimed to validate the Polish version of the CAS. The sample included 603 respondents, aged 18–70 years. Based on the exploratory factor analysis results, we proposed a 3-factor solution, which seems to be theoretically more consistent with the content of the CAS statements. The confirmatory factor analysis showed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Kobiecość, media i nieświadomość: feminizacja/humanizacja nowych mediów w sztuce Izabelli Gustowskiej.Paweł Leszkowicz - 2008 - Colloquia Communia 84 (1-2):185-207.
     
    Export citation  
     
    Bookmark  
  43. The Enigma of Slow Viruses. Facts and Artefacts.Pawel P. Liberski & Mirko D. Grmek - 1994 - History and Philosophy of the Life Sciences 16 (2):355.
     
    Export citation  
     
    Bookmark  
  44.  8
    Powrót z obcego świata.Paweł Lisicki - 2006 - Kraków: "Arcana".
  45.  28
    Jak dwoje staje się jednym? Pojęcie tożsamości u Pawła Florenskiego.Paweł Rojek - 2017 - Roczniki Filozoficzne 65 (4):251-270.
    Paweł Florenski starał się sformułować ontologiczną teorię miłości. Uważał on, że miłość jest nie tylko zjawiskiem psychicznym, lecz zakłada takżejakiegoś rodzaju rzeczywiste zjednoczenie. Florenski proponował, by rozumieć je jako współistotność. Dwa numerycznie różne podmioty mogą stać się czymś jednym dzięki swojej numerycznie tożsamej istocie. Prócz tego Florenski zarysował teorię ontologiczną opartą na odróżnieniu między rzeczami a osobami. Wydaje się, że uznawał on wiązkową teorię przedmiotów i nominalizm tropowy dla kategorii rzeczy i teorię substratu połączoną z realizmem dla kategorii osób. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Structural representations: causally relevant and different from detectors.Paweł Gładziejewski & Marcin Miłkowski - 2017 - Biology and Philosophy 32 (3):337-355.
    This paper centers around the notion that internal, mental representations are grounded in structural similarity, i.e., that they are so-called S-representations. We show how S-representations may be causally relevant and argue that they are distinct from mere detectors. First, using the neomechanist theory of explanation and the interventionist account of causal relevance, we provide a precise interpretation of the claim that in S-representations, structural similarity serves as a “fuel of success”, i.e., a relation that is exploitable for the representation using (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  47. Presentational and Phenomenal Forces of Perception.Paweł Grad - forthcoming - Episteme.
    Contra both phenomenalists and anti-phenomenalists, I defend the following thesis in this paper: the epistemic power of perceptual experience is grounded in its presentational property that is (i) uniquely possessed by the experience in the good case and (ii) essentially a phenomenal property. In §2, I set the ground for my argument by elaborating on the phenomenalist account of presentational phenomenology. In §3, I argue (against phenomenalism) for the first part of the phenomenal presentation thesis: (i) perceptual experience’s epistemic power (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  34
    Directival Theory of Meaning Resurrected.Paweł Grabarczyk - 2017 - Studia Semiotyczne—English Supplement 29 (1):62-81.
    The first aim of this paper is to remind the reader of a very original theory of meaning which in many aspects has not been surpassed by subsequent theories. The theory in question is Kazimierz Ajdukiewicz’s Directival Theory of Meaning. In the first section I present a version of this theory which, I trust, retains the gist of the original but loses its outdated language. In the second section I analyze some problematic consequences of the directival theory and show how (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  49.  33
    Intuitionistic Games: Determinacy, Completeness, and Normalization.Paweł Urzyczyn - 2016 - Studia Logica 104 (5):957-1001.
    We investigate a simple game paradigm for intuitionistic logic, inspired by Wajsberg’s implicit inhabitation algorithm and Beth tableaux. The principal idea is that one player, ∃ros, is trying to construct a proof in normal form while his opponent, ∀phrodite, attempts to build a counter-model. The determinacy of the game implies therefore both completeness and semantic cut-elimination.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Czas nauki.Paweł Polak - 2005 - Zagadnienia Filozoficzne W Nauce 36:151--154.
    Recenzja książki: Andrzej Pelczar, Czas i dynamika. O czasie w równaniach różniczkowych i układach dynamicznych, OBI--Kraków, Biblos-Tarnów 2003, ss. 117.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 974