Results for 'Wojciech Penczek'

854 found
Order:
  1.  2
    Bounded model checking for knowledge and real time.Alessio Lomuscio, Wojciech Penczek & Bożena Woźna - 2007 - Artificial Intelligence 171 (16-17):1011-1038.
  2.  16
    Sat-based verification of security protocols via translation to networks of automata.Mirosław Kurkowski, Wojciech Penczek & Andrzej Zbrzezny - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 146--165.
  3.  2
    Filozofowie romantyczni o przyszłości Polski.Wojciech Chytrowski - 1993 - Toruń: "C&T".
  4.  14
    New Concepts of Budo Internalised as a Philosophy of Life.Wojciech J. Cynarski - 2022 - Philosophies 7 (5):110.
    Traditional martial arts continue to be interesting and inspiring to many people around the globe. Some of their contemporary adaptations attract enthusiasts for whom they are especially important. In this article, the author bases his observations on his own long-term participation. The analysis takes into account the influence of the perspectives of Jigoro Kano and several other creators of modern varieties of Japanese budo. It can be concluded that regular, even daily, practice—cultivating martial arts and internalizing its values—co-creates the lifestyle (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  4
    Transubstantiation as a normative process: James Joyce and Carl Schmitt in 1922.Wojciech Engelking - 2024 - Thesis Eleven 181 (1):34-55.
    The thesis that legal norms are rooted in theology is not new. It is worth considering, however, to what extent not only singular norms, but also models of normativity are the structural representation of theological concepts. In this article, I consider transubstantiation as one of such ideas. I analyse its place in two political theologies published at the same time (in 1922): Carl Schmitt’s Political Theology and James Joyce’s Ulysses. I argue that both thinkers used the idea of transubstantiation as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  3
    Rozwój filozofowania a "pułapka refleksji": filozofia refleksji i próby jej przezwyciężenia.Wojciech Chudy - 1995 - Lublin: Red. Wydawnictw KUL.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  6
    Ethical Dimensions of Legal Theory.Wojciech Sadurski (ed.) - 1991 - BRILL.
    Discusses the origin of Sikhism as an attempt to reconcile the beliefs of Muslims and Hindus, the conflicts it has faced over the centuries, and recent developments.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  4
    O granicach eksperymentu medycznego z perspektywy teorii racjonalnego wyboru.Wojciech Załuski - forthcoming - Diametros:1-9.
    Polskie przepisy prawne formułujące warunki dopuszczalności eksperymentu medycznego, a więc ipso facto wyznaczające jego granice, można różnorako interpretować, zwłaszcza w tym zakresie, w jakim określają wymagany dla przeprowadzenia eksperymentu bilans związanych z nim możliwych korzyści i szkód. W artykułach prawniczych komentujących te przepisy w zasadzie jednak brak prób systematycznego i (na tyle, na ile pozwala na to sam przedmiot analizy) ścisłego wyróżnienia tych interpretacji w języku tzw. teorii racjonalnego wyboru (rational choice theory), teorii szczególnie przydatnej w tym kontekście z uwagi (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  63
    Counterfactuals with true components.Alan Penczek - 1997 - Erkenntnis 46 (1):79-85.
    One criticism of David Lewis's account of counterfactuals is that it sometimes assigns the wrong truth-value to a counterfactual when both antecedent and consequent happen to be true. Lewis has suggested a possible remedy to this situation, but commentators have found this to be unsatisfactory. I suggest an alternative solution which involves a modification of Lewis's truth conditions, but which confines itself to the resources already present in his account. This modification involves the device of embedding one counterfactual within another. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  10.  7
    Rights Before Courts: A Study of Constitutional Courts in Postcommunist States of Central and Eastern Europe.Wojciech Sadurski - 2014 - Dordrecht: Imprint: Springer.
    This is a completely revised and updated second edition of Rights Before Courts (2005, paper edition 2008). This book carefully examines the most recent wave of the emergence and case law of activist constitutional courts: those that were set up after the fall of communism in Central and Eastern Europe. In contrast to most other analysts and scholars, the study does not take for granted that they are a "force for good" but rather subjects them to critical scrutiny against a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Heidegger a problem jezyka.Wojciech Herman - 2007 - Studia Philosophiae Christianae 43 (1):31-45.
     
    Export citation  
     
    Bookmark  
  12. Przezwyciężenie metafizyki a problem odpowiedzialności w ujęciu Martina Heideggera.Wojciech Herman - 1996 - Przeglad Filozoficzny - Nowa Seria 19 (3):39-48.
    No categories
     
    Export citation  
     
    Bookmark  
  13. State Power over the Body in the Context of Thomistic Ethics — Capital Punishment, Police Killing and Waging War.Wojciech Stanisław Kilan - 2024 - Studia Philosophica Wratislaviensia 18 (3):87-98.
    When engaging in a philosophical analysis of body and corporeality in a political context, it is essential to ask to what extent, under what circumstances, and in accordance with what moral norms the state performs actions that have the bodies and lives of citizens as their object. This issue was already discussed in ancient philosophy, examples of which can be found in the writings of Plato and Aristotle, but also in ancient jurisprudence, especially in the law and the legal doctrine (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  9
    Practicing Pragmatist Aesthetics: Critical Perspectives on the Arts.Wojciech Małecki (ed.) - 2014 - New York, NY: BRILL.
    This is the first collection in English devoted exclusively to pragmatist aesthetics. Its main aim is to employ the resources of that rich and exciting tradition in studying artistic phenomena such as film, sculpture, bio-art, poetry, the novel, cuisine, and various body arts. But it also attempts to provide a wider background for such studies by sketching the history of pragmatist reflection on the aesthetic and by discussing some of the main positions that this history has produced: the aesthetic conceptions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  20
    Transfiguration of the Risk Society.Wojciech Melnik - 2020 - Postmodern Openings 11 (1Sup2):85-92.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  9
    The Cognitive Value of Introspection according to Kazimierz Twardowski.Wojciech Rechlewicz - 2022 - Filozofia Nauki 30 (2):47-64.
    Kazimierz Twardowski attributed high cognitive value to introspection because he believed it plays a fundamental role in psychology, the primary philosophical discipline. He believed that basing philosophy on inner experience would allow it to obtain universal and justified results. Internal experience consists of perceiving one’s own mental facts; it is non-sensual and selfevident. Twardowski referred to introspection in his investigations in various ways, which is presented in the article.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Prawda W koncepcji stylów myślowych ludwika flecka.Wojciech Regenczuk - 1998 - Kwartalnik Filozoficzny 26 (2-4).
    No categories
     
    Export citation  
     
    Bookmark  
  18.  4
    Granice poznania a kształt bytu na podstawie myśli Karla Jaspersa.Wojciech Żak - 2021 - Principia 68:167-192.
    The Limits of Cognition and the Shape of Being Based on the Thought of Karl Jaspers The article points out the elements of Karl Jaspers’ epistemological conception that cross out the possibility of a comprehensive account of being. The key issue here is the limits of cognition, which take the form of object cognition. The theme of limits points to the inadequacies of human thinking in the context of quantifiable and absolutist representations of reality. The impossibility of adequately grasping the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  1
    MOCAK und der Mythos der Modernität in Krakau.Wojciech Bałus - 2017 - In Bałus Wojciech (ed.), Ereignisorte des Politischen. De Gruyter. pp. 65-74.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  33
    Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1‐5):13-28.
  21.  30
    Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1-5):13-28.
  22.  8
    Unification types in logic.Wojciech Dzik - 2007 - Katowice: Wydawnictwo Uniwersytetu Śląskiego.
  23. Prawo jako rozkaz suwerena.Wojciech Babicki - 1988 - Studia Filozoficzne 270 (5).
    No categories
     
    Export citation  
     
    Bookmark  
  24. From Mourning to Melancholy: Toward a Phenomenology of the Modern Human Condition.Wojciech Balus - 1998 - Analecta Husserliana 52:411-418.
     
    Export citation  
     
    Bookmark  
  25.  25
    In the “Baszta” Unit.Wojciech Militz & Maciej Bańkowski - 2004 - Dialogue and Universalism 14 (5):123-130.
    This is an account of the Uprising fights of a young machinegunner of the “Baszta” Unit from the “W” hour to the honorable surrender at the end of September.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  26.  14
    Unifying sets and programs via dependent types.Wojciech Moczydłowski - 2012 - Annals of Pure and Applied Logic 163 (7):789-808.
  27. Gandhyjska satyagraha.Wojciech Modzelewski - 1983 - Colloquia Communia 11 (6):5-20.
    No categories
     
    Export citation  
     
    Bookmark  
  28. Naród i postęp: problematyka narodowa w ideologii i myśli społecznej pozytywistów warszawskich.Wojciech Modzelewski - 1977 - Warszawa: Państwowe Wydawn. Naukowe.
    No categories
     
    Export citation  
     
    Bookmark  
  29.  12
    Running across the mind or across the park: does speech about physical and metaphorical motion go hand in hand?Wojciech Lewandowski & Şeyda Özçalışkan - 2023 - Cognitive Linguistics 34 (3-4):411-444.
    Expression of physical motion (e.g., man runs by) shows systematic variability not only between language types (i.e., inter-typological) but also within a language type (i.e., intra-typological). In this study, we asked whether the patterns of variability extend to metaphorical motion events (e.g., time runs by). Our analysis of randomly selected 450 physical motion (150/language) and 450 metaphorical motion (150/language) event descriptions from written texts originally produced by German, Polish, and Spanish authors showed strong inter-typological differences in the expression of both (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  46
    Constructive knowledge: what agents can achieve under imperfect information.Wojciech Jamroga & Thomas Ågotnes - 2007 - Journal of Applied Non-Classical Logics 17 (4):423-475.
    We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than changing the semantic structures, we generalize the usual interpretation of formulae in single states to sets of states. We also propose a new epistemic operator for ?practical? or ?constructive? knowledge, and we show that the new logic (which we call Constructive Strategic Logic) is strictly more expressive than most existing solutions, while it retains the same model (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  31.  20
    Some Decision Problems in the Theory of Syntactic Categories.Wojciech Buszkowski - 1982 - Mathematical Logic Quarterly 28 (33‐38):539-548.
  32.  40
    Bohr, Einstein and Realism.Wojciech Daniel - 1989 - Dialectica 43 (3):249-261.
    SummaryThe Bohr‐Einstein debate on the interpretation of quantum mechanics may be viewed as a discussion on the epistemological status of knowledge gained by physics. It is shown that in fact the advent of quantum theory has led, in a new context, to an old philosophical controversy between epistemological realism and phenomenalism . An inquiry into this controversy, taking into account the contemporary understanding of quantum mechanics based on the axiomatic study of its foundations, leads to the conclusion that contrary to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  73
    Disjunctive properties and causal efficacy.Alan Penczek - 1997 - Philosophical Studies 86 (2):203-219.
    A pigeon has been conditioned to peck at red objects and has also been conditioned to peck at triangular objects. The pigeon is now presented with a red triangle and pecks. In virtue of which of the object's properties did the pigeon peck? I argue that the disjunctive property "red or triangular" best answers this question and that this in turn gives us reason to admit such disjunctive properties to our ontology. I also show how the criterion for causal efficacy (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  34.  41
    Some Decision Problems in the Theory of Syntactic Categories.Wojciech Buszkowski - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):539-548.
  35.  5
    Intuicja intelektualna w metafizyce =.Wojciech Daszkiewicz - 2014 - Lublin: Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  3
    Pozytywizm--neopozytywizm: błędy, trudności, niekonsekwencje.Wojciech Słomski - 2000 - Warszawa: Wydawn. Nauk. MIX.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Categorial Grammar.Wojciech Buszkowski, Witold Marciszewski & Johan van Benthem - 1991 - Studia Logica 50 (1):171-172.
     
    Export citation  
     
    Bookmark   30 citations  
  38. Mathematical linguistics and proof theory.Wojciech Buszkowski - 1997 - In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press. pp. 683--736.
     
    Export citation  
     
    Bookmark   27 citations  
  39.  15
    Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity.Wojciech Buszkowski - 2017 - Bulletin of the Section of Logic 46 (1/2).
    In [5] we study Nonassociative Lambek Calculus augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus. Here we study a weaker logic InNL, i.e. NL with two involutive negations. We present a one-sided sequent system for InNL, admitting cut elimination. We also prove that InNL is PTIME.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  1
    Życie w ludzkich rękach: podstawowe zagadnienia bioetyczne.Wojciech Bołoz - 1997 - Warszawa: Wydawn. Akademii Teologii Katolickiej.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  6
    Confiance, bonne foi, fidélité: la notion de fides dans la vie des sociétés médiévales (VIe-XVe siècles).Wojciech Fałkowski & Yves Sassier (eds.) - 2018 - Paris: Classiques Garnier.
    With the meaning of trust, good faith and respect for promises made, protection, or assistance, fides in the non-exclusively religious sense of the word comes from the demand for ethical perfection: as such, it is omnipresent in human relations and in the dynamic of societies in the Middle Ages.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  10
    Double Meaning in Ritual Communication.Wojciech Fałkowski - 2008 - Frühmittelalterliche Studien 42 (1):169-188.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  9
    The Letter of Bruno of Querfurt to King Henry II.Wojciech Fałkowski - 2009 - Frühmittelalterliche Studien 43 (1):417-438.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  9
    Practicing Pragmatist Aesthetics: Critical Perspectives on the Arts.Wojciech Małecki (ed.) - 2014 - New York, NY: Editions Rodopi.
    This is the first collection in English devoted exclusively to pragmatist aesthetics. Its main aim is to employ the resources of that rich and exciting tradition in studying artistic phenomena such as film, sculpture, bio-art, poetry, the novel, cuisine, and various body arts. But it also attempts to provide a wider background for such studies by sketching the history of pragmatist reflection on the aesthetic and by discussing some of the main positions that this history has produced: the aesthetic conceptions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. A definition of forbearance.Wojciech Patryas - 2021 - In Paweł Kwiatkowski & Marek Smolak (eds.), Poznań School of Legal Theory. Leiden, The Netherlands: Brill | Rodopi.
     
    Export citation  
     
    Bookmark  
  46.  1
    Definiowanie pojęć prawnych.Wojciech Patryas - 1997 - Poznań: Wydawn. Nauk. Uniwersytetu im. Adama Mickiewicza.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  3
    Sylogistyka: interpretacja zakresowa.Wojciech Suchoń - 1996 - Kraków: Wydawn. Uniwersytetu Jagiellońskiego.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  2
    W miejscu sumienia: śladami myśli o sztuce Martina Heideggera.Wojciech Suchocki - 1996 - Poznań: Wydawn. Nauk. UAM.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  10
    Libido i lojalność w polityce.Wojciech Wasiutyński - 1961 - Londyn,: Nakł. Myśli polskiej.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  9
    Ziemia jest ciałem niebieskim: myśli posoborowe.Wojciech Wasiutyński - 1972 - London, England: Veritas.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 854