Results for 'Cezary Naumowicz'

121 found
Order:
  1.  34
    The two halves of disjunctive correctness.Cezary Cieśliński, Mateusz Łełyk & Bartosz Wcisło - 2023 - Journal of Mathematical Logic 23 (2).
    Ali Enayat had asked whether two halves of Disjunctive Correctness ([Formula: see text]) for the compositional truth predicate are conservative over Peano Arithmetic (PA). In this paper, we show that the principle “every true disjunction has a true disjunct” is equivalent to bounded induction for the compositional truth predicate and thus it is not conservative. On the other hand, the converse implication “any disjunction with a true disjunct is true” can be conservatively added to [Formula: see text]. The methods introduced (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  74
    The Shadow of God in the Garden of the Philosopher. The Parc de La Villette in Paris in the context of philosophy of chôra, Part I-V.Cezary Wąs - manuscript
    In the traditional sense, a work of art creates an illustration of the outside world, or of a certain text or doctrine. Sometimes it is considered that such an illustration is not literal, but is an interpretation of what is visible, or an interpretation of a certain literary or ideological message. It can also be assumed that a work of art creates its own visual world, a separate story or a separate philosophical statement. The Parc de La Villette represents the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  6
    Cezary Wodziński in memoriam.Cezary Wodziński & Waleria Szydłowska (eds.) - 2018 - Warszawa: Wydawnictwo IFiS PAN.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  46
    Axioms for Type-Free Subjective Probability.Cezary Cieśliński, Leon Horsten & Hannes Leitgeb - 2024 - Review of Symbolic Logic 17 (2):493-508.
    We formulate and explore two basic axiomatic systems of type-free subjective probability. One of them explicates a notion of finitely additive probability. The other explicates a concept of infinitely additive probability. It is argued that the first of these systems is a suitable background theory for formally investigating controversial principles about type-free subjective probability.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  30
    Mutilation of the Dead and the Homeric Gods.Cezary Kucewicz - 2016 - Classical Quarterly 66 (2):425-436.
    Mutilation, along with all forms of maltreatment of the dead, was widely condemned by Greek authors of the Classical period. In a culture where the obligation to bury and respect the dead was seen as one of the strongest moral compulsions universal to all men, mistreating the dead was considered to be the most outrageous and unholy of actions, more suitable, as Herodotus states, for barbarians than for Greeks, ‘and even in them we find it loathsome’. The importance of the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Why should the Flower of dharma be Invisible! Say ana's Vision of the Unity of the Veda.Cezary Galewicz - 2005 - In Federico Squarcini (ed.), Boundaries, Dynamics and Construction of Traditions in South Asia. Firenze University Press and Munshiram Manoharlal. pp. 3--325.
    No categories
     
    Export citation  
     
    Bookmark  
  7. An example of formalizing recent mathematical results in Mizar.Adam Naumowicz - 2006 - Journal of Applied Logic 4 (4):396-413.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. The metamorphoses of subjectivity, the transitions of the social the ethics of Edward Abramowski.Cezary Rudnicki - 2023 - In Bartłomiej Błesznowski, Cezary Rudnicki, Michelle Granas & Edward Abramowski (eds.), Metaphysics of cooperation: Edward Abramowski's social philosophy, with a selection of his writings. Boston: Brill.
     
    Export citation  
     
    Bookmark  
  9.  36
    Out of Joint? Around Slavoj Žižek’s Thoughts on the Primordial Disturbance in Buddhism.Cezary Woźniak - 2015 - Dialogue and Universalism 25 (3):199-206.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  18
    Critica della proprietà intellettuale in Locke.Cezary Błaszczyk - 2020 - Scienza and Politica. Per Una Storia Delle Dottrine 32 (63):161-186.
    Locke’s theory of property is irreconcilable with intellectual property. Property-like titles in ideal objects cannot be introduced within the framework of the natural law, because they could constrain others from acts necessary for their survival. Nevertheless, followers of Locke’s theory of politics choose to belittle this conclusion and even Locke himself supported early copyright legislation. The inconsistency is important, for it depicts the problem of legitimization of intellectual property as political and demonstrates liberal reification of various aspects of social life.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  9
    Paradoksy Barbary Stanosz.Cezary Cieśliński - 2015 - Studia Semiotyczne 28 (1):51-62.
    Prof. Barbara Stanosz była wieloletnią wykładowczynią Instytutu Filozofii Uniwersytetu Warszawskiego. W swej pracy naukowej zajmowała się głównie – choć nie wyłącznie – teorią języka, w szczególności semantyką oraz problemami logicznego opisu wyrażeń językowych. Jest autorką cenionych podręczników: to właśnie jej zawdzięczamy słynne Ćwiczenia z logiki – cieszący się ogromną popularnością zbiór zadań, ułatwiających przyswojenie materiału z zakresu rachunku zdań, logiki predykatów i teorii zbiorów. Warto wspomnieć, że oprócz aktywności naukowo-dydaktycznej rozwijała również działalność społeczną, będąc gorącą orędowniczką idei neutralności światopoglądowej państwa...
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  8
    Paradoxes of Barbara Stanosz.Cezary Cieśliński - 2017 - Studia Semiotyczne—English Supplement 29:48-61.
    Professor Barbara Stanosz was a years-long lecturer at the Institute of Philosophy, University of Warsaw. In her work she mainly – but not exclusively – focused on the theory of language, particularly semantics and the issues of logical description of phrases in language. She was an author of renowned textbooks, including the famous Ćwiczenia z logiki [Exercises in logic], a vastly popular exercise book helping students to acquire the material on propositional logic, predicate logic and set theory. It is worth (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. The Context of the in the a Case Study of the Cross-Border University.Cezary Kościelniak - 2012 - Poznan Studies in the Philosophy of the Sciences and the Humanities 100 (1):197-215.
    I explore the economic, social and cultural constraints of the regional mission of a university located beyond a metropolitan area or urban agglomeration, henceforth referred to as a “peripheral university.” In the first part of the paper, I briefly describe the “third mission” of a university and analyze it within the context of a “peripheral university”. The main constraints on the influence of regional mission and regional development are described. In the second part, I examine one type of a “peripheral (...)
     
    Export citation  
     
    Bookmark  
  14.  16
    aktualność koncepcji człowieka José Ortegi y Gasseta.Cezary Mordka - 2015 - Annales Umcs. Sectio I 39 (2):61-69.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  34
    The Dialectics of Rationalism.Cezary Rowiński - 1984 - Dialectics and Humanism 11 (2):381-400.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  16
    From “catharsis in the text” to “catharsis of the text”.Cezary Zalewski - 2020 - Forum Philosophicum: International Journal for Philosophy 25 (2):323-339.
    Roman Ingarden was a prominent Polish philosopher, phenomenologist, and student of Edmund Husserl. A characteristic feature of his works was the almost complete absence of analyzes from the history of philosophy. That is why it is so surprising that right after the end of World War II, the first text analyzed when Ingarden started working at the Jagiellonian University was Aristotle’s “Poetics.” Ingarden published the results of his research in Polish in 1948 in “Kwartalnik Filozoficzny” and in the early 1960s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. The Innocence of Truth.Cezary Cieśliński - 2015 - Dialectica 69 (1):61-85.
    One of the popular explications of the deflationary tenet of ‘thinness’ of truth is the conservativeness demand: the declaration that a deflationary truth theory should be conservative over its base. This paper contains a critical discussion and assessment of this demand. We ask and answer the question of whether conservativity forms a part of deflationary doctrines.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  18.  25
    On Russell's definition of moments of time.Cezary Gorzka - 1997 - Logic and Logical Philosophy 5:61-74.
    In the paper two definitions of moments of time as the sets of events are considered. The first one is Russell’s definition based on a relation simultaneity of events. The second one is my construction of moments of time grounded on a relation of being immediately preceding.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  19.  14
    The hybrid method of knowledge representation in a CAPP knowledge based system.Cezary Grabowik, Damian Krenczyk & Krzysztof Kalinowski - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 284--295.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Truth, Conservativeness, and Provability.Cezary Cieśliński - 2010 - Mind 119 (474):409-422.
    Conservativeness has been proposed as an important requirement for deflationary truth theories. This in turn gave rise to the so-called ‘conservativeness argument’ against deflationism: a theory of truth which is conservative over its base theory S cannot be adequate, because it cannot prove that all theorems of S are true. In this paper we show that the problems confronting the deflationist are in fact more basic: even the observation that logic is true is beyond his reach. This seems to conflict (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  21. Deflationary Truth and Pathologies.Cezary Cieśliński - 2010 - Journal of Philosophical Logic 39 (3):325-337.
    By a classical result of Kotlarski, Krajewski and Lachlan, pathological satisfaction classes can be constructed for countable, recursively saturated models of Peano arithmetic. In this paper we consider the question of whether the pathology can be eliminated; we ask in effect what generalities involving the notion of truth can be obtained in a deflationary truth theory (a theory of truth which is conservative over its base). It is shown that the answer depends on the notion of pathology we adopt. It (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22. Heideggera myślenie nicości.Cezary WOŹNIAK - 2013 - Argument: Biannual Philosophical Journal 3 (2):301-312.
    Niniejszy tekst jest poświęcony kwestii nicości w myśleniu Heideggera. Dokonana w Byciu i czasie analiza struktury Dasein wydobywa na jaw wiele jej istotnych aspektów, a właściwie egzystencjałów, z których jednym byłaby trwoga. W trwodze świat „staje się” nicością, ukazuje się w sposób pusty i bezlitosny, ale zarazem odsłania to Dasein możliwość jego autentycznej egzystencji, możliwość zin¬dywidualizowanego bycia-w-świecie. W wykładzie Czym jest metafizyka? Heidegger powraca do problematyki nicości, rozumiejąc ją już inaczej niż czyniła to metafizyka: mianowicie nicość była warunkiem umożliwiającym jawność (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Idee oraz wierzenia. Antropologiczno-epistemologiczna aktualność poglądów José Ortegi y Gasseta / Ideas and Beliefs. Anthropological and Epistemological Topicality of José Ortega y Gasset Views.Cezary Mordka - 2013 - Annales Umcs. Sectio I (Filozofia, Socjologia) 38 (1):127-135.
     
    Export citation  
     
    Bookmark  
  24. O możliwości wiedzy emocjonalnej. Zarys stanowiska.Cezary Mordka - 2012 - Przeglad Filozoficzny - Nowa Seria 83 (3):117-134.
    No categories
     
    Export citation  
     
    Bookmark  
  25. Rorty i postmodernizm.Cezary Mordka - 1998 - Sztuka I Filozofia (Art and Philosophy) 15.
     
    Export citation  
     
    Bookmark  
  26. Zmysłowo-emocjonalne odczuwanie świata.Cezary Mordka - 2005 - Colloquia Communia 78 (1-2):229-248.
    No categories
     
    Export citation  
     
    Bookmark  
  27. Bakir Obraz osobliwy.Cezary Wodziński - Archeologia sacrumO książce Joanny Tokarskiej - 2003 - Principia 34.
    No categories
     
    Export citation  
     
    Bookmark  
  28. Gödelizing the Yablo Sequence.Cezary Cieśliński & Rafal Urbaniak - 2013 - Journal of Philosophical Logic 42 (5):679-695.
    We investigate what happens when ‘truth’ is replaced with ‘provability’ in Yablo’s paradox. By diagonalization, appropriate sequences of sentences can be constructed. Such sequences contain no sentence decided by the background consistent and sufficiently strong arithmetical theory. If the provability predicate satisfies the derivability conditions, each such sentence is provably equivalent to the consistency statement and to the Gödel sentence. Thus each two such sentences are provably equivalent to each other. The same holds for the arithmetization of the existential Yablo (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  29.  74
    Minimalism and the generalisation problem: on Horwich’s second solution.Cezary Cieśliński - 2018 - Synthese 195 (3):1077-1101.
    Disquotational theories of truth are often criticised for being too weak to prove interesting generalisations about truth. In this paper we will propose a certain formal theory to serve as a framework for a solution of the generalisation problem. In contrast with Horwich’s original proposal, our framework will eschew psychological notions altogether, replacing them with the epistemic notion of believability. The aim will be to explain why someone who accepts a given disquotational truth theory Th, should also accept various generalisations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30. T-equivalences for positive sentences.Cezary Cieśliński - 2011 - Review of Symbolic Logic 4 (2):319-325.
    Answering a question formulated by Halbach (2009), I show that a disquotational truth theory, which takes as axioms all positive substitutions of the sentential T-schema, together with all instances of induction in the language with the truth predicate, is conservative over its syntactical base.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  31.  34
    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   2 citations  
  32. The Shadow of God in the Garden of the Philosopher. The Parc de La Villette in Paris in the context of philosophy of chôra. Part III.Cezary Wąs - 2019 - Quart. Kwartalnik Instytutu Historii Sztuki Uniwersytetu Wrocławskiego 2 (52):89-119.
    Tschumi believes that the quality of architecture depends on the theoretical factor it contains. Such a view led to the creation of architecture that would achieve visibility and comprehensibility only after its interpretation. On his way to creating such an architecture he took on a purely philosophical reflection on the basic building block of architecture, which is space. In 1975, he wrote an essay entitled Questions of Space, in which he included several dozen questions about the nature of space. The (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. The Shadow of God in the Garden of the Philosopher. The Parc de La Villette in Paris in the context of philosophy of chôra. Part IV: Other Church / Church of Otherness.Cezary Wąs - 2019 - Quart. Kwartalnik Instytutu Historii Sztuki Uniwersytetu Wrocławskiego 3 (53):80-113.
    In the texts that presented the theoretical assumptions of the Parc de La Villette, Bernard Tschumi used a large number of terms that contradicted not only the traditional principles of composing architecture, but also negated the rules of social order and the foundations of Western metaphysics. Tschumi’s statements, which are a continuation of his leftist political fascinations from the May 1968 revolution, as well as his interest in the philosophy of French poststructuralism and his collaboration with Jacques Derrida, prove that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. The Shadow of God in the Garden of the Philosopher. The Parc de La Villette in Paris in the context of philosophy of chôra. Part V: Conclusion.Cezary Wąs - 2020 - Quart. Kwartalnik Instytutu Historii Sztuki Uniwersytetu Wrocławskiego 1 (55):112-126.
    In the traditional sense, a work of art creates an illustration of the outside world, or of a certain text or doctrine. Sometimes it is considered that such an illustration is not literal, but is an interpretation of what is visible, or an interpretation of a certain literary or ideological message. It can also be assumed that a work of art creates its own visual world, a separate story or a separate philosophical statement. The Parc de La Villette represents the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35. Deflationism, conservativeness and maximality.Cezary Cieśliński - 2007 - Journal of Philosophical Logic 36 (6):695 - 705.
    We discuss two desirable properties of deflationary truth theories: conservativeness and maximality. Joining them together, we obtain a notion of a maximal conservative truth theory - a theory which is conservative over its base, but can't be enlarged any further without losing its conservative character. There are indeed such theories; we show however that none of them is axiomatizable, and moreover, that there will be in fact continuum many theories of this sort. It turns out in effect that the deflationist (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  36. Typed and Untyped Disquotational Truth.Cezary Cieśliński - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.
    We present an overview of typed and untyped disquotational truth theories with the emphasis on their (non)conservativity over the base theory of syntax. Two types of conservativity are discussed: syntactic and semantic. We observe in particular that TB—one of the most basic disquotational theories—is not semantically conservative over its base; we show also that an untyped disquotational theory PTB is a syntactically conservative extension of Peano Arithmetic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  74
    The Epistemic Lightness of Truth: Deflationism and its Logic.Cezary Cieśliński - 2017 - Cambridge, United Kingdom: Cambridge University Press.
    This book analyses and defends the deflationist claim that there is nothing deep about our notion of truth. According to this view, truth is a 'light' and innocent concept, devoid of any essence which could be revealed by scientific inquiry. Cezary Cieśliński considers this claim in light of recent formal results on axiomatic truth theories, which are crucial for understanding and evaluating the philosophical thesis of the innocence of truth. Providing an up-to-date discussion and original perspectives on this central (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  38.  11
    Od Boga historii do historycznego Boga: wprowadzenie do filozofii Leszka Kołakowskiego.Cezary Mordka - 1997 - Lublin: Wydawn. Uniwersytetu Marii Curie-Skłodowskiej.
  39. Practicing Theory. Concepts of early works of Daniel Libeskind as references for real architecture.Cezary Wąs - 2015 - Quart. Kwartalnik Instytutu Historii Sztuki Uniwersytetu Wrocławskiego 36 (2):98-121.
    Praktykowanie teorii. Koncepty wczesnych prac Daniela Libeskinda jako wzorce realnej architektury Treści wczesnych prac Libeskinda, w tym zwłaszcza idee zawarte w cyklach rysunków pod nazwą Micromegas: The Architecture of End Space (1979) i Chamber Works: Architectural Meditations on the Themes from Heraclitus (1983) oraz trzy maszyny określone jako Three Lessons in Architecture (1985) w decydujący sposób wpłynęły na wszystkie późniejsze realizacje architekta. Prace te w dużym zakresie zmieniły zasady oddzielania teorii od praktyki budowlanej, w tym tak- że odgraniczania architektury od (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  20
    Fuzzy decision tree fid.Cezary Z. Janikow & Krzysztof Kawa - 2005 - Complexity 9:11.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. G. W. Leibniz: czy zasady logiczne mogą być podstawa wolności?Cezary Kalita - 2005 - Nowa Krytyka 18.
    No categories
     
    Export citation  
     
    Bookmark  
  42. T. Hobbes: Wolność działania przeciwstawiona wolności pożądania.Cezary Kalita - 2003 - Colloquia Communia 74 (1):269-281.
     
    Export citation  
     
    Bookmark  
  43. Hermes i Eros: eseje drugie.Cezary Wodzi Nski - 1997 - Warszawa: Polska Akademia Nauk, Instytut Filozofii i Socjologii.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  7
    Democracy in the age of the post-religiousness: foundations of alternative economics.Cezary Józef Olbromski - 2012 - Franfurt am Main: Peter Lang.
    One of the most original assumptions is that political actors are groups of thematized information. They effectively test the political, traditional sources of meaning, and reservoirs of identity. The post-religiousness of the presentness is transcendentally neutral; there is no contradiction between the transcendental and the immanent. Why and how relics steal into the political? The social does not create any meaning considerably stronger than the empty meanings of dedicated metaphysics and discourses, but the social creates itself within the totariental (total (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  9
    Parezja – o miejscu ujawniania prawdy w polityce.Cezary Rudnicki - 2020 - Civitas. Studia Z Filozofii Polityki 20:161-176.
    The purpose of this article is to analyse the relationship – conceptualised by Michel Foucault – between politics and truth. Here truth is understood in ontological terms rather than in linguistic and epistemological terms. By outlining some mutual relations between politics and truth, the author tries to show how politics/power determines truth and how truth affects politics. He is particularly interested in parrhesia, which is a form of truth that has emancipatory or even revolutionary potential, i.e. it introduces a difference (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Historia sztuki w ujęciu radzieckiej teorii \"sztuki produkcyjnej\" lat dwudziestych.Cezary Sikorski - 1987 - Studia Filozoficzne 261 (8).
     
    Export citation  
     
    Bookmark  
  47. Heglowska wersja ekspansji kapitalizmu.Cezary Sikorski - 1990 - Studia Filozoficzne 293 (4).
    No categories
     
    Export citation  
     
    Bookmark  
  48. Leninowska krytyka pojęcia \\\"kultura\\\".Cezary Sikorski - 1982 - Colloquia Communia (5):13-43.
    No categories
     
    Export citation  
     
    Bookmark  
  49. Nikołaja Bucharina koncepcja rosyjskiej drogi do socjalizmu.Cezary Sikorski - 1984 - Colloquia Communia 16 (5-6):167-200.
    No categories
     
    Export citation  
     
    Bookmark  
  50. O alternatywności procesu transformacji kapitalizmu w socjalizm.Cezary Sikorski - 1987 - Studia Filozoficzne 257 (4).
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 121