36 found
Order:
Disambiguations
Paweł Garbacz [18]Pawel Garbacz [15]P. Garbacz [2]Pawe&Lstrok Garbacz [1]
  1. If Engineering Function is a Family Resemblance Concept: Assessing Three Formalization Strategies.Massimiliano Carrara, Pawel Garbacz & Pieter E. Vermaas - 2011 - Applied Ontology 6 (2):141-163.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  33
    The Design Stance and its Artefacts.Pieter E. Vermaas, Massimiliano Carrara, Stefano Borgo & Pawel Garbacz - 2013 - Synthese 190 (6):1131-1152.
    In this paper we disambiguate the design stance as proposed by Daniel C. Dennett, focusing on its application to technical artefacts. Analysing Dennett’s work and developing his approach towards interpreting entities, we show that there are two ways of spelling out the design stance, one that presuppose also adopting Dennett’s intentional stance for describing a designing agent, and a second that does not. We argue against taking one of these ways as giving the correct formulation of the design stance in (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  19
    Technical Artifacts: An Integrated Perspective.Stefano Borgo, Maarten Franssen, Paweł Garbacz, Yoshinobu Kitamura, Riichiro Mizoguchi & Pieter E. Vermaas - 2014 - Applied Ontology 9 (3-4):217-235.
    Humans are always interested in distinguishing natural and artificial entities although there is no sharp demarcation between the two categories. Surprisingly, things do not improve when the second type of entities is restricted to the arguably more constrained realm of physical technical artifacts. This paper helps to clarify the relationship between natural entities and technical artifacts by developing a conceptual landscape within which to analyze these notions. The framework is developed by studying three definitions of technical artifact which arise from (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  48
    Logics of Relative Identity.Paweł Garbacz - 2002 - Notre Dame Journal of Formal Logic 43 (1):27-50.
    This paper is the first part of an exploration into the logical properties of relative identity. After providing the semantic grounds for various monadic logics of relative identity, I define the minimal system and its nine extensions. It is suggested that despite their purely formal origin at least some of them may contain nontrivial philosophical insights. All logics are axiomatized by means of sound and complete sequent calculi. I show their affinities with existing formalizations.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  35
    Slot Mereology Revised.Paweł Garbacz - 2017 - Australasian Journal of Philosophy 95 (1):171-177.
    The paper suggests two revisions of K. Bennett's system of slot mereology. The revisions do not touch on the philosophical rationale for this system, but are focused on certain logical deficiencies in her formalisation.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Epistemic Capacities, Incompatible Information and Incomplete Beliefs.Piotr Kulicki, Robert Trypuz, Paweł Garbacz & Marek Lechniak - 2010 - In In proceeding of: ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-10).
    We investigate a speci c model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about other agent's epistemic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  31
    Prover9's Simplification Explained Away.Paweł Garbacz - 2012 - Australasian Journal of Philosophy 90 (3):585 - 592.
    This note discusses P. Oppenheimer and E. Zalta's ?A Computationally-Discovered Simplification of the Ontological Argument? [this journal, 2011]. I try to explain why the simplification presented there was successful and comment on the technical aspects of the method they applied.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  17
    Existential Quantifier and Ontological Pluralism.Pawel Garbacz - 2019 - Axiomathes 29 (5):531-540.
    Within the context of the debate between ontological monists and pluralists the paper discusses a number of argumentative strategies that the latter can apply to answer the “there can be only one” argument. I show here that the reply to this argument suggested by J. Turner has its disadvantages and suggest a number of adjustments thereof. In particular, I develop a concept of domain-specific quantifiers that allow the pluralist to elaborate his or her ontological position.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  27
    Towards a Standard Taxonomy of Artifact Functions.Pawe&Lstrok Garbacz - 2006 - Applied Ontology 1 (3):221-236.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  43
    A First Order Theory of Functional Parthood.Pawel Garbacz - 2007 - Journal of Philosophical Logic 36 (3):309-337.
    This paper contains a formal theory of functional parthood. Since the relation of functional parthood is defined here by means of the notion of design, the theory of functional parthood turns out to be a theory of design. The formal theory of design I defend here is a result of introducing a number of constraints that are to express the rational aspects of designing practice. The ontological background for the theory is provided by a conception of states of affairs. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  54
    What is an Artefact Design?Pawel Garbacz - 2009 - Techne 13 (2):137-149.
    The paper contains a first order formal theory pertaining to artefact designs, designs which are construed as the results of designing activities. The theory is based on a minimal ontology of states of affairs and it is inspired by the ideas of the Polish philosopher Roman Ingarden. After differentiating the philosophical notion of design from the engineering notion of design specifications, I then go on to argue that the philosophical category of artefact designs may be compared with Ingarden’s category of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  18
    What is an Artefact Design?Pawel Garbacz - 2009 - Techné: Research in Philosophy and Technology 13 (2):137-149.
    The paper contains a first order formal theory pertaining to artefact designs, designs which are construed as the results of designing activities. The theory is based on a minimal ontology of states of affairs and it is inspired by the ideas of the Polish philosopher Roman Ingarden. After differentiating the philosophical notion of design from the engineering notion of design specifications, I then go on to argue that the philosophical category of artefact designs may be compared with Ingarden’s category of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  87
    Artefacts and Family Resemblance.Pawel Garbacz - 2013 - Review of Philosophy and Psychology 4 (3):419-447.
    I develop in this paper a conception of artefacts based on L. Wittgenstein’s idea of family resemblance. My approach peruses the notion of frame, which was invented in cognitive psychology as an operationisable extension of this philosophical idea. Following the metaphor of life-cycle I show how this schematic notion of frame may be filled with the content relevant for artefacts if we consider them from the point of view of their histories. The resulting conception of artefacts provides a new insight (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  14.  31
    O warunkach formalizacji ontologii stanów rzeczy. Studium przypadku.Paweł Garbacz - 2008 - Roczniki Filozoficzne 56 (1):61-83.
    These considerations seek to show whether it is possible to build a formal theory of the state of affairs, which would be sufficiently well founded in philosophy. Our analysis focuses on a case study in the form of the ontology of the state of affairs proposed by Roman Ingarden. The principal part of this analysis is devoted to Ingarden’s exposition. As its result, the author formulates a list of conditions that should be fulfilled by a formal theory, so that it (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  13
    A Metaontology for Applied Ontology.Pawel Garbacz & Robert Trypuz - 2013 - Applied Ontology 8 (1):1-30.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  61
    What Can an Armchair Philosopher Do For a “Dirty-Hands” Engineer?Pawel Garbacz - 2012 - Axiomathes 22 (3):385-401.
    The paper relates the basic ontological categories defined by Roman Ingarden to an engineering model of function known by the name of Functional Basis. The intended aim of this exercise in applied philosophy is to make this model more consistent and outline some possible extensions thereof.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  17.  4
    On the Representation If States of Affairs in the Antinomy of Future Contingents.Paweł Garbacz - 2018 - Roczniki Filozoficzne 66 (4):55-80.
    The paper is a comment on the formalization of the antinomy of futura contigentia in the form of a theory formulated by Marcin Tkaczyk in the language of classical predicate calculus. I argue that some features of the formalization in question are controversial from the viewpoint of formal semantics and ontology, and suggest two ways of removing some of those controversies.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  69
    Subsumption and Relative Identity.P. Garbacz - 2004 - Axiomathes 14 (4):341-360.
    This paper is a modification of Nicola Guarino and Christopher Welty's conception of the subsumption relation. Guarino and Welty require that that whether one property may subsume the other should depend on the modal metaproperties of those properties. I argue that the part of their account that concerns the metaproperty carrying a criterion of identity is essentially flawed. Subsequently, I propose to constrain the subsumption relation not, as Guarino and Welty require, by means of incompatible criteria of absolute identity but (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  25
    Bity i byty. O pewnym mało znanym zastosowaniu ontologii.Paweł Garbacz - 2007 - Filozofia Nauki 3 (59):121--140.
    In this paper we are focused on the relation between an Ontology (with the capital "O") qua philosophical discipline and an ontology (with the lowercase "o") qua branch of Computer Science. In our view "Ontology" refers to all philosophical groups or schools which take some position on the reality. The meaning of 'ontology' in the second case is not that easy to grasp because of the variety of artefacts which are called 'ontologies' and many activities - aiming at creating the (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  13
    Conceptual Frames Revisited.Pawel Garbacz - 2015 - Journal of Applied Non-Classical Logics 25 (4):287-307.
    The paper presents a logical framework formalising the main insights of the psychological theory of concepts developed by Lawrence Barsalou. The framework is established within the context of Common Logic as a logical theory in the axiomatic manner. Its semantic characterisation is provided and shown to be sound and incomplete with respect to the class of its models.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. O wymieraniu możliwości w teorii czasu rozgałęzionego.Paweł Garbacz - 2005 - Diametros 6:255-264.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  16
    Uogólniona opozycja monizm-pluralizm.Paweł Garbacz - 2011 - Roczniki Filozoficzne 59 (2):91-102.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  7
    Co to jest kryterium identyczności?Paweł Garbacz - 2003 - Roczniki Filozoficzne 51 (1):53-66.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  2
    A jednak nie są trzeba bogami, lecz jednym Bogiem.Peter Van Inwagen & Paweł Garbacz - 2003 - Roczniki Filozoficzne 51 (1):493-532.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  1
    Sameness and Substance Renewed. [REVIEW]Paweł Garbacz - 2003 - Roczniki Filozoficzne 51 (1):533-541.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Begging the Question as a Formal Fallacy.Pawel Garbacz - 2002 - Logique Et Analyse 45 (178):81-100.
     
    Export citation  
     
    Bookmark  
  27. Formal Ontology in Information Systems. Proceedings of the Eighth International Conference.Pawel Garbacz & Oliver Kutz (eds.) - 2014 - IOS Press.
     
    Export citation  
     
    Bookmark  
  28. Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil}.Pawel Garbacz & Oliver Kutz (eds.) - 2014
    No categories
     
    Export citation  
     
    Bookmark  
  29. Logika I Artefakty.Paweł Garbacz - 2006 - Wydawn. Kul.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. Problem of Artefacts's Existence. A Discussion Note.Pawel Garbacz - 2010 - Filozofia Nauki 18 (3):121.
     
    Export citation  
     
    Bookmark  
  31. Relatywna identyczność i nieodróżnialność.Paweł Garbacz - 2002 - Filozofia Nauki 3.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Łukasiewicz semper reformandus.P. Garbacz - 2000 - Ruch Filozoficzny 1 (1).
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. What Is A Level Of A Criterion Of Identity?Pawel Garbacz - 2002 - Metaphysica 3 (2).
     
    Export citation  
     
    Bookmark  
  34. W stronę Łukasiewicza.Paweł Garbacz - 2000 - Filozofia Nauki 1.
    The paper contains an attempt at formulating the project of logic comprised in Jan Łukasiewicz's article „On determinism” and a construction of a logic which would realise this project. Such a logic consists of three consequence-operations build upon a four-element algebra. The values of the algebra have been defined by means of the following set of sentences: true and true today, true but not true today, false but not false today and false and false today. It turns out that only (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. Zagadnienie istnienia artefaktów. Głos w dyskusji.Paweł Garbacz - 2010 - Filozofia Nauki 18 (3).
    In this paper I discuss the arguments against the existence of artefacts, which were propounded by Mariusz Grygianiec in his book Identyczność i trwanie. I show that all of these arguments are inconclusive or are in the need of further elaboration. Therefore, I conclude that the the metaphysical thesis to the effect that artefacts do not exist remains unsupported.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. In Proceeding Of: ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-10).Piotr Kulicki, Robert Trypuz, Paweł Garbacz & Marek Lechniak - 2010
     
    Export citation  
     
    Bookmark