Results for 'Formal Aeshetics'

1000+ found
Order:
  1.  93
    Iconology and Formal Aesthetics: A New Harmony. A Contribution to the Current Debate in Art Theory and Philosophy of Arts on the (Picture-)Action-Theories of Susanne K. Langer and John M. Krois.Sauer Martina - 2016 - Sztuka I Filozofia (Art and Philosophy), Warschau 48:12-29.
    Since the beginning of the 20th Century to the present day, it has rarely been doubted that whenever formal aesthetic methods meet their iconological counterparts, the two approaches appear to be mutually exclusive. In reality, though, an ahistorical concept is challenging a historical analysis of art. It is especially Susanne K. Langer´s long-overlooked system of analogies between perceptions of the world and of artistic creations that are dependent on feelings which today allows a rapprochement of these positions. Krois’s insistence (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology.Selja Seppälä, Barry Smith & Werner Ceusters - 2014 - In P. Garbacz & O. Kutz (eds.), Formal Ontology in Information Systems (FOIS 2014). IOS Press. pp. 227-240.
    Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it at lower levels. It is therefore crucial to document the changes made between successive versions of ontologies of this kind. We describe and apply a method for tracking, explaining and measuring changes between successive versions of upper level ontologies such as the Basic Formal Ontology (BFO). The proposed change-tracking method extends earlier work on Realism-Based Ontology Versioning (RBOV) and Evolutionary Terminology Auditing (ETA). We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Lógica y ontología formal.Barry Smith - 2004 - In Grupo de Acción Filosófica (GAF). Buenos Aires, Argentina,: Grupo de Acción Filosófica (Gaf), Buenos Aires.
    La lógica es para Husserl una ciencia de la ciencia, una ciencia de lo que todas las ciencias tienen en común respecto de sus modos de validación. De este modo, la lógica trata por un lado con leyes universales relacionadas con la verdad, la deducción, la verificación y la falsación; y, por otro lado, con leyes relacionadas con la teoría como tal, y con lo que produce la unidad teorética. Ambos tipos de leyes se refieren por una parte a las (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  67
    What Are Tropes, Fundamentally? A Formal Ontological Account.Jani Hakkarainen - 2018 - Acta Philosophica Fennica 94:129-159.
    In this paper, I elaborate on the Strong Nuclear Theory (SNT) of tropes and substances, which I have defended elsewhere, using my metatheory about formal ontology and especially fundamental ontological form. According to my metatheory, for an entity to have an ontological form is for it to be a relatum of a formal ontological relation or relations jointly in an order. The full fundamental ontological form is generically identical to a simple formal ontological relation or relations jointly (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Function, Role and Disposition in Basic Formal Ontology.Robert Arp & Barry Smith - 2008 - Proceedings of Bio-Ontologies Workshop, Intelligent Systems for Molecular Biology (ISMB), Toronto.
    Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, roles, and (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  17
    On Formal Aspects of the Epistemic Approach to Paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Max Freund, Max Fernandez de Castro & Marco Ruffino (eds.), Logic and Philosophy of Logic: Recent Trends in Latin America and Spain. London: College Publications. pp. 48-74.
    This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Functions in Basic Formal Ontology.Andrew Spear, Werner Ceusters & Barry Smith - 2016 - Applied Ontology 11 (2):103-128.
    The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories identified (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Bradley's Reductio of Relations and Formal Ontological Relations.Jani Hakkarainen & Markku Keinänen - 2016 - In Hemmo Laiho & Arto Repo (eds.), DE NATURA RERUM - Scripta in honorem professoris Olli Koistinen sexagesimum annum complentis. University of Turku. pp. 246-261.
    In this paper, we argue that formal ontological relations avoid Bradley's reductio of relations, including his famous relation regress.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Experimental Philosophy Meets Formal Epistemology.Jonah N. Schupbach - forthcoming - In Sytsma & Buckwalter (eds.), Blackwell Companion to Experimental Philosophy. Blackwell.
    Formal epistemology is just what it sounds like: epistemology done with formal tools. Coinciding with the general rise in popularity of experimental philosophy, formal epistemologists have begun to apply experimental methods in their own work. In this entry, I survey some of the work at the intersection of formal and experimental epistemology. I show that experimental methods have unique roles to play when epistemology is done formally, and I highlight some ways in which results from (...) epistemology have been used fruitfully to advance epistemically-relevant experimental work. The upshot of this brief, incomplete survey is that formal and experimental methods often constitute mutually informative means to epistemological ends. (shrink)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. The Metaphysics of Downward Causation: Rediscovering the Formal Cause.Mariusz Tabaczek - 2013 - Zygon 48 (2):380-404.
    The methodological nonreductionism of contemporary biology opens an interesting discussion on the level of ontology and the philosophy of nature. The theory of emergence (EM), and downward causation (DC) in particular, bring a new set of arguments challenging not only methodological, but also ontological and causal reductionism. This argumentation provides a crucial philosophical foundation for the science/theology dialogue. However, a closer examination shows that proponents of EM do not present a unified and consistent definition of DC. Moreover, they find it (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Formal Ontology as an Operative Tool in the Theories of the Objects of the Life-World.Horacio Banega - 2012 - Symposium: Canadian Journal of Continental Philosophy/Revue canadienne de philosophie continentale 16 (2):64-88.
    Formal ontology as it is presented in Husserl`s Third Logical Investigation can be interpreted as a fundamental tool to describe objects in a formal sense. It is presented one of the main sources: chapter five of Carl Stumpf`s Ûber den psycholoogischen Ursprung der Raumovorstellung (1873), and then it is described how Husserlian Formal Ontology is applied in Fifth Logical Investigation. Finally, it is applied to dramatic structures, in the spirit of Roman Ingarden.
    Download  
     
    Export citation  
     
    Bookmark  
  12. On the Philosophical Motivations for the Logics of Formal Consistency and Inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
    We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.
    Download  
     
    Export citation  
     
    Bookmark  
  13. Wholistic Reference, Truth-Values, Universes of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand.John Corcoran - 2005 - Manuscrito 28 (1):143-167.
    ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. On Classifying Material Entities in Basic Formal Ontology.Barry Smith - 2012 - In Interdisciplinary Ontology: Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press. pp. 1-13.
    Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.
    Download  
     
    Export citation  
     
    Bookmark  
  15. Paraconsistent Belief Revision Based on a Formal Consistency Operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
    In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. The Objects and the Formal Truth of Kantian Analytic Judgments.Huaping Lu-Adler - 2013 - History of Philosophy Quarterly 30 (2):177-93.
    I defend the thesis that Kantian analytic judgments are about objects (as opposed to concepts) against two challenges raised by recent scholars. First, can it accommodate cases like “A two-sided polygon is two-sided”, where no object really falls under the subject-concept as Kant sees it? Second, is it compatible with Kant’s view that analytic judgments make no claims about objects in the world and that we can know them to be true without going beyond the given concepts? I address these (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17.  77
    Towards a Philosophical Understanding of the Logics of Formal Inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  57
    On the Application of Formal Principles to Life Science Data: A Case Study in the Gene Ontology.Jacob Köhler, Anand Kumar & Barry Smith - 2004 - In Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics 2994). Berlin: Springer. pp. 79-94.
    Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  98
    The Formal Sciences Discover the Philosophers' Stone.James Franklin - 1994 - Studies in History and Philosophy of Science Part A 25 (4):513-533.
    The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Logic and Formal Ontology.Barry Smith - 2000 - Manuscrito 23 (2):275-323.
    Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  48
    Formal Ontology for Biomedical Knowledge Systems Integration.J. M. Fielding, J. Simon & Barry Smith - 2004 - Proceedings of Euromise:12-17.
    The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to move (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22.  38
    A Formal Ontology of Artefacts.Gilles Kassel - 2010 - Applied Ontology 5 (3):223-246.
    This article presents a formal ontology which accounts for the general nature of artefacts. The objective is to help structure application ontologies in areas where specific artefacts are present - in other words, virtually any area of activity. The conceptualization relies on recent philosophical and psychological research on artefacts, having resulted in a largely consensual theoretical basis. Furthermore, this ontology of artefacts extends the foundational DOLCE ontology and supplements its axiomatization. The conceptual primitives are as follows: artificial entity, intentional (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. On Philosophical Motivations for Paraconsistency: An Ontology-Free Interpretation of the Logics of Formal Inconsistency.Walter Carnielli & Abilio Rodrigues - manuscript
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Formal Operations and Simulated Thought.John-Michael Kuczynski - 2006 - Philosophical Explorations 9 (2):221-234.
    A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25.  91
    Formal Ontology for Natural Language Processing and the Integration of Biomedical Databases.Jonathan Simon, James M. Fielding, Mariana C. Dos Santos & Barry Smith - 2005 - International Journal of Medical Informatics 75 (3-4):224-231.
    The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  93
    An Axiomatisation of Basic Formal Ontology with Projection Functions.Kerry Trentelman, Alan Ruttenberg & Barry Smith - 2010 - In Kerry Taylor (ed.), Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop. University of Adelaide. pp. 71-80.
    This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.
    Download  
     
    Export citation  
     
    Bookmark  
  27.  20
    Using Cross-Lingual Information to Cope with Underspecification in Formal Ontologies.Werner Ceusters, Ignace Desimpel, Barry Smith & Stefan Schulz - 2003 - Studies in Health Technology and Informatics 95:391-396.
    Description logics and other formal devices are frequently used as means for preventing or detecting mistakes in ontologies. Some of these devices are also capable of inferring the existence of inter-concept relationships that have not been explicitly entered into an ontology. A prerequisite, however, is that this information can be derived from those formal definitions of concepts and relationships which are included within the ontology. In this paper, we present a novel algorithm that is able to suggest relationships (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28.  53
    Basic Formal Ontology for Bioinformatics.Barry Smith, Anand Kumar & Thomas Bittner - 2005 - IFOMIS Reports.
    Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Basic Concepts of Formal Ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28.
    The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  67
    Facts, Formal Objects and Ontology.Kevin Mulligan - 2009 - Swiss Philosophical Preprints.
    What is a fact ? Are there such things ?
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  41
    Formal Ontologies of Space and Time. IFOMIS Report.Thomas Bittner & Barry Smith - 2003 - In IFOMIS Report.
    We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different token ontologies. In (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32.  49
    The Point of Language in Heidegger's Thinking: A Call for the Revival of Formal Indication.J. Hatab Lawrence - 2016 - Gatherings: The Heidegger Circle Annual 6:1-22.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  17
    Expressing Truth Directly Within a Formal System with No Need for Model Theory.Pete Olcott - manuscript
    Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to deductive conclusions without any need for other representations.
    Download  
     
    Export citation  
     
    Bookmark  
  34. The Formal Cause in the Posterior Analytics.Petter Sandstad - 2016 - Filozofski Vestnik 37 (3):7-26.
    I argue that Aristotle’s account of scientific demonstrations in the Posterior Analytics is centred upon formal causation, understood as a demonstration in terms of essence (and as innocent of the distinction between form and matter). While Aristotle says that all four causes can be signified by the middle term in a demonstrative syllogism, and he discusses at some length efficient causation, much of Aristotle’s discussion is foremost concerned with the formal cause. Further, I show that Aristotle had very (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  13
    Cidadania Formal e Cidadania Real: Divergências e Direitos Infantis.Emanuel Isaque Cordeiro da Silva - manuscript
    Cidadania Formal e Cidadania Real: Divergências e Direitos Infantis -/- 1 Introdução sobre o que seria cidadania -/- Para o clássico sociólogo francês Durkheim, a ideia de cidadania é questão de coesão social, isto é, essa coesão social nada mais é do que uma ideia de um Estado que mantém os indivíduos unidos (mais parecido com a ideia do fascismo em seus primórdios, que consistia basicamente na união do povo como um feixe), integrados a um grupo social, ou simplesmente, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  88
    The Notion of Truth in Natural and Formal Languages.Pete Olcott - manuscript
    For any natural (human) or formal (mathematical) language L we know that an expression X of language L is true if and only if there are expressions Γ of language L that connect X to known facts. -/- By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that evaluate to neither True nor False.
    Download  
     
    Export citation  
     
    Bookmark  
  37.  70
    Michael T. Ferejohn, Formal Causes: Definition, Explanation, and Primacy In: Socratic and Aristotelian Thought. [REVIEW]Petter Sandstad - 2016 - Logical Analysis and History of Philosophy 19:235-241.
    I review Michael T. Ferejohn's "Formal Causes: Definition, Explanation, and Primacy in Socratic and Aristotelian Thought".
    Download  
     
    Export citation  
     
    Bookmark  
  38.  12
    Non Classical Concept Representation and Reasoning in Formal Ontologies.Antonio Lieto - 2012 - Dissertation, Università Degli Studi di Salerno
    Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. A Formal Apology for Metaphysics.Samuel Baron - 2018 - Ergo: An Open Access Journal of Philosophy 5.
    There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  24
    Carnap: An Open Framework for Formal Reasoning in the Browser.Graham Leach-Krouse - 2018 - Electronic Proceedings in Theoretical Computer Science 267:70-88.
    This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap’s design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but can be compiled to JavaScript to run in standard web browsers. This combination of features makes Carnap ideally suited for educational applications, where ease-of-use is crucial for students and adaptability to different teaching strategies and classroom needs is crucial for instructors. The paper describes Carnap’s implementation, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Meaning and Formal Semantics in Generative Grammar.Stephen Schiffer - 2015 - Erkenntnis 80 (1):61-87.
    A generative grammar for a language L generates one or more syntactic structures for each sentence of L and interprets those structures both phonologically and semantically. A widely accepted assumption in generative linguistics dating from the mid-60s, the Generative Grammar Hypothesis , is that the ability of a speaker to understand sentences of her language requires her to have tacit knowledge of a generative grammar of it, and the task of linguistic semantics in those early days was taken to be (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  42. Heidegger, Reification and Formal Indication.Nythamar de Oliveira - 2012 - Comparative and Continental Philosophy 4 (1):35-52.
    The paper seeks to show how Heidegger recasts the problem of reification in Being and Time, so as to address the methodological procedure of formal indication, outlined in his early writings, in order to carry out a deconstruction of ancient ontology. By revisiting Marx's and Lukács's critique of objectification in social relations, especially the former's critique of alienation, in light of Honneth's critical theory of recognition, it is shown how a Heideggerian-inspired phenomenology of sociality could be reconstructed out of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Parts and Moments: Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.
    A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  44.  94
    Formal Inconsistency and Evolutionary Databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.
    This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of (...) Inconsistency (LFI) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  45. Enlightenment and Formal Romanticism - Carnap’s Account of Philosophy as Explication.Thomas Mormann - 2010 - Vienna Circle Institute Yearbook 14:263 - 329.
    Carnap and Twentieth-Century Thought: Explication as En lighten ment is the first book in the English language that seeks to place Carnap's philosophy in a broad cultural, political and intellectual context. According to the author, Carnap synthesized many different cur rents of thought and thereby arrived at a novel philosophical perspective that remains strik ing ly relevant today. Whether the reader agrees with Carus's bold theses on Carnap's place in the landscape of twentieth-century philosophy, and his even bolder claims concerning (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Dialectical Contradictions and Classical Formal Logic.Inoue Kazumi - 2014 - International Studies in the Philosophy of Science 28 (2):113-132.
    A dialectical contradiction can be appropriately described within the framework of classical formal logic. It is in harmony with the law of noncontradiction. According to our definition, two theories make up a dialectical contradiction if each of them is consistent and their union is inconsistent. It can happen that each of these two theories has an intended model. Plenty of examples are to be found in the history of science.
    Download  
     
    Export citation  
     
    Bookmark  
  47. Framework for Formal Ontology.Barry Smith & Kevin Mulligan - 1983 - Topoi 2 (1):73-85.
    The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  48. Judaism, Process Theology, and Formal Axiology: A Preliminary Study.Rem B. Edwards - 2014 - Process Studies 43 (2):87-103.
    This article approaches Judaism through Rabbi Bradley S. Artson’s book, God of Becoming and Relationships: The Dynamic Nature of Process Theology. It explores his understanding of how Jewish theology should and does cohere with central features of both process theology and Robert S. Hartman’s formal axiology. These include the axiological/process concept of God, the intrinsic value and valuation of God and unique human beings, and Jewish extrinsic and systemic values, value combinations, and value rankings.
    Download  
     
    Export citation  
     
    Bookmark  
  49. An Obstacle to Unification in Biological Social Science: Formal and Compositional Styles of Science.Rasmus Grønfeldt Winther - 2005 - Graduate Journal of Social Science 2 (2):40-100.
    I motivate the concept of styles of scientific investigation, and differentiate two styles, formal and compositional. Styles are ways of doing scientific research. Radically different styles exist. I explore the possibility of the unification of biology and social science, as well as the possibility of unifying the two styles I identify. Recent attempts at unifying biology and social science have been premised almost exclusively on the formal style. Through the use of a historical example of defenders of compositional (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  50.  46
    Transcendental Paralogisms as Formal Fallacies - Kant’s Refutation of Pure Rational Psychology.Toni Kannisto - 2018 - Kant-Studien 109 (2):195-227.
    : According to Kant, the arguments of rational psychology are formal fallacies that he calls transcendental paralogisms. It remains heavily debated whether there actually is any formal error in the inferences Kant presents: according to Grier and Allison, they are deductively invalid syllogisms, whereas Bennett, Ameriks, and Van Cleve deny that they are formal fallacies. I advance an interpretation that reconciles these extremes: transcendental paralogisms are sound in general logic but constitute formal fallacies in transcendental logic. (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000