Results for 'Cezary Rudnicki'

26 found
Order:
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  3. 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.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  4. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  5. 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.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  6. Cień Boga w ogrodzie filozofa. Parc de La Villette w Paryżu w kontekście filozofii chôry.Wąs Cezary - 2021 - Wrocław: Wydawnictwo Uniwersytetu Wrocławskiego.
    The Shadow of God in the Philosopher’s Garden. The Parc de La Villette in Paris in the context of the philosophy of chôra I Bernard Tschumi’s project of the Parc de La Villette could have won the competition and was implemented thanks to the political atmosphere that accompanied the victory of the left-wing candidate in the French presidential elections in 1981. François Mitterand’s revision of the political programme and the replacement of radical reforms with the construction of prestigious architectural objects (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. IAO-Intel: An Ontology of Information Artifacts in the Intelligence Domain.Barry Smith, Tatiana Malyuta, Ron Rudnicki, William Mandrick, David Salmen, Peter Morosoff, Danielle K. Duff, James Schoening & Kesny Parent - 2013 - In Proceedings of the Eighth International Conference on Semantic Technologies for Intelligence, Defense, and Security (STIDS), CEUR, vol. 1097. pp. 33-40.
    We describe on-going work on IAO-Intel, an information artifact ontology developed as part of a suite of ontologies designed to support the needs of the US Army intelligence community within the framework of the Distributed Common Ground System (DCGS-A). IAO-Intel provides a controlled, structured vocabulary for the consistent formulation of metadata about documents, images, emails and other carriers of information. It will provide a resource for uniform explication of the terms used in multiple existing military dictionaries, thesauri and metadata registries, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Joint Doctrine Ontology: A Benchmark for Military Information Systems Interoperability.Peter Morosoff, Ron Rudnicki, Jason Bryant, Robert Farrell & Barry Smith - 2015 - In Semantic Technology for Intelligence, Defense and Security (STIDS). CEUR vol. 1325. pp. 2-9.
    When the U.S. conducts warfare, elements of a force are drawn from different services and work together as a single team to accomplish an assigned mission. To achieve such unified action, it is necessary that the doctrines governing the actions of members of specific services be both consistent with and subservient to joint Doctrine. Because warfighting today increasingly involves not only live forces but also automated systems, unified action requires that information technology that is used in joint warfare must be (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. How Tarski Defined the Undefinable.Cezary Cieśliński - 2015 - European Review 23 (01):139 - 149.
    This paper describes Tarski’s project of rehabilitating the notion of truth, previously considered dubious by many philosophers. The project was realized by providing a formal truth definition, which does not employ any problematic concept.
    Download  
     
    Export citation  
     
    Bookmark  
  10. Yablo sequences in truth theories.Cezary Cieśliński - 2013 - In K. Lodaya (ed.), Logic and Its Applications, Lecture Notes in Computer Science LNCS 7750. Springer. pp. 127--138.
    We investigate the properties of Yablo sentences and for- mulas in theories of truth. Questions concerning provability of Yablo sentences in various truth systems, their provable equivalence, and their equivalence to the statements of their own untruth are discussed and answered.
    Download  
     
    Export citation  
     
    Bookmark  
  11.  67
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12.  55
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  53
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. What particulars are referred to in EHR data? A case study in integrating referent tracking into an electronic health record application.Ron Rudnicki, Werner Ceusters, Shaid Manzoo & Barry Smith - 2007 - In Proceedings of the Annual Symposium of the American Medical Informatics Association, Chicago, IL. Washington, DC: AMIA. pp. 630-634.
    Referent Tracking (RT) advocates the use of instance unique identifiers to refer to the entities comprising the subject matter of patient health records. RT promises many benefits to those who use health record data to improve patient care. To further the adoption of the paradigm we provide an illustration of how data from an EHR application needs to be decomposed in order to make it accord with the tenets of RT. We describe the ontological principles on which this decomposition is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. The Tannhäuser Gate. Architecture in science fiction films of the second half of the 20th and the beginning of the 21st century as a component of utopian and dystopian projections of the future.Cezary Wąs - 2018 - Quart. Kwartalnik Instytutu Historii Sztuki Uniwersytetu Wrocławskiego 49 (3):83-109.
    The Tannhäuser Gate. Architecture in science fiction films of the second half of the 20th and the beginning of the 21st century as a component of utopian and dystopian projections of the future. -/- The films of science fiction genre from the second half of the 20th and early 21st century contained many visions of the future, which were at the same time a reflection on the achievements and deficiencies of modern times. In 1960s, cinematographic works were dominated by optimism (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. 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ść (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Architektura a dekonstrukcja. Przypadek Petera Eisenmana i Bernarda Tschumiego.Cezary Wąs (ed.) - 2015 - Instytut Historii Sztuki Uniwersytetu Wrocławskiego.
    Architecture and Deconstruction. Case of Peter Eisenman and Bernard Tschumi -/- Intensive relations between philosophical deconstruction and architecture, which were present in the late 1980s and early 1990s, belong to the past and therefore may be described from a greater than before distance. Within these relations three basic variations can be distinguished: the first one, in which philosophy of deconstruction deals with architectural terms but does not interfere with real architecture, the second one, in which a collaboration between Jacques Derrida (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Architecture and Deconstruction. The Case of Peter Eisenman and Bernard Tschumi.Cezary Wąs - 2015 - Dissertation, University of Wrocław
    Architecture and Deconstruction Case of Peter Eisenman and Bernard Tschumi -/- Introduction Towards deconstruction in architecture Intensive relations between philosophical deconstruction and architecture, which were present in the late 1980s and early 1990s, belong to the past and therefore may be described from a greater than before distance. Within these relations three basic variations can be distinguished: the first one, in which philosophy of deconstruction deals with architectural terms but does not interfere with real architecture, the second one, in which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Ontology and Cognitive Outcomes.David Limbaugh, Jobst Landgrebe, David Kasmier, Ronald Rudnicki, James Llinas & Barry Smith - 2020 - Journal of Knowledge Structures and Systems 1 (1): 3-22.
    The term ‘intelligence’ as used in this paper refers to items of knowledge collected for the sake of assessing and maintaining national security. The intelligence community (IC) of the United States (US) is a community of organizations that collaborate in collecting and processing intelligence for the US. The IC relies on human-machine-based analytic strategies that 1) access and integrate vast amounts of information from disparate sources, 2) continuously process this information, so that, 3) a maximally comprehensive understanding of world actors (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  60
    Attempts at a new historiography of twentieth-century architecture in Marianna Charitonidou's books. [REVIEW]Cezary Wąs - forthcoming - Journal of Art Historiography.
    Marianna Charitonidou's books discuss the problem of changes in the creation of architecture in the 20th century. The author showed representatives of four generations of architects of this period. The first group is represented by Le Corbusier and Ludwig Mies van der Rohe. The second generation was described as a group of opponents to the CIAM environment centered around the Team X grouping and the activities of Alison and Peter Smithson and Aldo van Eyck. Generation three was discussed based on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. The Space Domain Ontologies.Alexander P. Cox, C. K. Nebelecky, R. Rudnicki, W. A. Tagliaferri, J. L. Crassidis & B. Smith - 2021 - In Alexander P. Cox, C. K. Nebelecky, R. Rudnicki, W. A. Tagliaferri, J. L. Crassidis & B. Smith (eds.), National Symposium on Sensor & Data Fusion Committee.
    Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. The Space Object Ontology.Alexander P. Cox, Christopher Nebelecky, Ronald Rudnicki, William Tagliaferri, John L. Crassidis & Barry Smith - 2016 - In 19th International Conference on Information Fusion (FUSION 2016). IEEE.
    Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  24. An Ontological Approach to Representing the Product Life Cycle.J. Neil Otte, Dimitris Kiritsi, Munira Mohd Ali, Ruoyu Yang, Binbin Zhang, Ron Rudnicki, Rahul Rai & Barry Smith - 2019 - Applied ontology 14 (2):1-19.
    The ability to access and share data is key to optimizing and streamlining any industrial production process. Unfortunately, the manufacturing industry is stymied by a lack of interoperability among the systems by which data are produced and managed, and this is true both within and across organizations. In this paper, we describe our work to address this problem through the creation of a suite of modular ontologies representing the product life cycle and its successive phases, from design to end of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Controlled and uncontrolled English for ontology editing.Brian Donohue, Douglas Kutach, Robert Ganger, Ron Rudnicki, Tien Pham, Geeth de Mel, Dave Braines & Barry Smith - 2015 - Semantic Technology for Intelligence, Defense and Security 1523:74-81.
    Ontologies formally represent reality in a way that limits ambiguity and facilitates automated reasoning and data fusion, but is often daunting to the non-technical user. Thus, many researchers have endeavored to hide the formal syntax and semantics of ontologies behind the constructs of Controlled Natural Languages (CNLs), which retain the formal properties of ontologies while simultaneously presenting that information in a comprehensible natural language format. In this paper, we build upon previous work in this field by evaluating prospects of implementing (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Husserl and Shestov: philosophical antipodes.Katarzyna Szepieniec - 2014 - Argument: Biannual Philosophical Journal 4 (1):135-154.
    The paper contains a general characteristics of the relation between Lev Shestov’s philosophy of existence and transcendental phenomenology of Edmund Husserl. The analysis was largely inspired by Cezary Wodziński’s research on Shestov’s writings, including his book published in Polish Wiedza a zbawienie. Studium myśli Lwa Szestowa (1991). In 1931, inspired by Descartes’ Meditationes de prima philosophiae, Husserl began a total transformation of philosophy into a science absolutely founded, assumptionless and developed in the spirit of absolute self-responsibility. Thus, the idea (...)
    Download  
     
    Export citation  
     
    Bookmark