Results for 'formal pragmatics'

1000+ found
Order:
  1. On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
    We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  2. Epistemic Modals.Seth Yalcin - 2007 - Mind 116 (464):983-1026.
    Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context (...)
    Download  
     
    Export citation  
     
    Bookmark   255 citations  
  3. A Coding Conception of Action-Directed Pragmatics.Igal Kvart - manuscript
    Igal Kvart A Coding Conception in Action-Directed-Pragmatics -/- I present formal Pragmatics for a domain in Pragmatics that I call Action-Directed Pragmatics, which focuses on the Pragmatic riddle of how implicit contents are conveyed and understood, by adopting a coding model, in which the speaker and addressee simulate each other iteratively in a deliberative context (an ‘action-pregnant’ one). The implicit content, conveyed by a speaker and decoded by her addressee, in such cases, consists in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Conversational Exculpature.Daniel Hoek - 2018 - Philosophical Review 127 (2):151-196.
    Conversational exculpature is a pragmatic process whereby information is subtracted from, rather than added to, what the speaker literally says. This pragmatic content subtraction explains why we can say “Rob is six feet tall” without implying that Rob is between 5'0.99" and 6'0.01" tall, and why we can say “Ellen has a hat like the one Sherlock Holmes always wears” without implying Holmes exists or has a hat. This article presents a simple formalism for understanding this pragmatic mechanism, specifying how, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  5. Context Probabilism.Seth Yalcin - 2012 - In M. Aloni, Maria Aloni, Vadim Kimmelmann, Floris Roelofson, Galit W. Sassoon, Katrin Schulz & Matthijs Westera (eds.), Logic, Language, and Meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers. Berlin: Springer. pp. 12-21.
    We investigate a basic probabilistic dynamic semantics for a fragment containing conditionals, probability operators, modals, and attitude verbs, with the aim of shedding light on the prospects for adding probabilistic structure to models of the conversational common ground.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   27 citations  
  6. Recanati on the Semantics/Pragmatics Distinction.Manuel García-Carpintero - 2006 - Critica 38 (112):35-68.
    One of the hottest philosophical debates in recent years concerns the nature of the semantics/pragmatics divide. Some writers have expressed the reserve that this might be merely terminological, but in my view it ultimately concerns a substantive issue with empirical implications: the scope and limits of a serious scientific undertaking, formal semantics. In this critical note I discuss two arguments by Recanati: his main methodological argument --viz. that the contents posited by what he calls 'literalists' play no relevant (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  7. Logic and Ontology of Language.Urszula Wybraniec-Skardowska - 2019 - In Bartłomiej Skowron (ed.), Contemporary Polish Ontology. Berlin/Boston: DE GRUYTER, MOUTON. pp. 109-132.
    The main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical objects, or types – classes of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Logical Conceptualization of Knowledge on the Notion of Language Communication.Urszula Wybraniec-Skardowska - 2017 - Studies in Logic, Grammar and Rhetoric 52 (1):247-269.
    The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: token-level and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Deontic Logic as a Study of Conditions of Rationality in Norm-Related Activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications. pp. 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Person as Scientist, Person as Moralist.Joshua Knobe - 2010 - Behavioral and Brain Sciences 33 (4):315.
    It has often been suggested that people’s ordinary capacities for understanding the world make use of much the same methods one might find in a formal scientific investigation. A series of recent experimental results offer a challenge to this widely-held view, suggesting that people’s moral judgments can actually influence the intuitions they hold both in folk psychology and in causal cognition. The present target article distinguishes two basic approaches to explaining such effects. One approach would be to say that (...)
    Download  
     
    Export citation  
     
    Bookmark   129 citations  
  11. 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  
  12. The Fake, the Flimsy, and the Fallacious: Demarcating Arguments in Real Life.Maarten Boudry, Fabio Paglieri & Massimo Pigliucci - 2015 - Argumentation 29 (4):10.1007/s10503-015-9359-1.
    Philosophers of science have given up on the quest for a silver bullet to put an end to all pseudoscience, as such a neat formal criterion to separate good science from its contenders has proven elusive. In the literature on critical thinking and in some philosophical quarters, however, this search for silver bullets lives on in the taxonomies of fallacies. The attractive idea is to have a handy list of abstract definitions or argumentation schemes, on the basis of which (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  13. A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology.Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte - 2019 - In Proceedings of the Joint Ontology Workshops (JOWO), Graz.
    Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Ideologies of Language at Hippo Family Club.Chad Nilep - 2015 - Pragmatics 25 (2):205-227.
    Ethnographic study of Hippo Family Club, a foreign language learning club in Japan with chapters elsewhere, reveals a critique of foreign language teaching in Japanese schools and in the commercial English conversation industry. Club members contrast their own learning methods, which they view as “natural language acquisition”, with the formal study of grammar, which they see as uninteresting and ineffective. Rather than evaluating either the Hippo approach to learning or the teaching methods they criticize, however, this paper considers the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. 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   17 citations  
  16. What Words Mean and Express: Semantics and Pragmatics of Kind Terms and Verbs.Agustin Vicente - 2017 - Journal of Pragmatics 117:231-244.
    For many years, it has been common-ground in semantics and in philosophy of language that semantics is in the business of providing a full explanation about how propositional meanings are obtained. This orthodox picture seems to be in trouble these days, as an increasing number of authors now hold that semantics does not deal with thought-contents. Some of these authors have embraced a “thin meanings” view, according to which lexical meanings are too schematic to enter propositional contents. I will suggest (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17.  24
    Informal and Formal Proofs, Metalogic, and the Groundedness Problem.Mario Bacelar Valente - manuscript
    When modeling informal proofs like that of Euclid’s Elements using a sound logical system, we go from proofs seen as somewhat unrigorous – even having gaps to be filled – to rigorous proofs. However, metalogic grounds the soundness of our logical system, and proofs in metalogic are not like formal proofs and look suspiciously like the informal proofs. This brings about what I am calling here the groundedness problem: how can we decide with certainty that our metalogical proofs are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18.  66
    First-Order Swap Structures Semantics for Some Logics of Formal Inconsistency.Marcelo E. Coniglio - forthcoming - Journal of Logic and Computation.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. Functions in Basic Formal Ontology.Andrew D. 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   7 citations  
  20.  71
    Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - manuscript
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. The Pragmatics of Slurs.Renée Jorgensen Bolinger - 2017 - Noûs 51 (3):439-462.
    I argue that the offense generation pattern of slurring terms parallels that of impoliteness behaviors, and is best explained by appeal to similar purely pragmatic mechanisms. In choosing to use a slurring term rather than its neutral counterpart, the speaker signals that she endorses the term. Such an endorsement warrants offense, and consequently slurs generate offense whenever a speaker's use demonstrates a contrastive preference for the slurring term. Since this explanation comes at low theoretical cost and imposes few constraints on (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  22. Embedding Irony and the Semantics/Pragmatics Distinction.Mihaela Popa-Wyatt - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (6):674-699.
    This paper argues that we need to re-think the semantics/pragmatics distinction in the light of new evidence from embedding of irony. This raises a new version of the old problem of ‘embedded implicatures’. I argue that embedded irony isn’t fully explained by solutions proposed for other embedded implicatures. I first consider two strategies: weak pragmatics and strong pragmatics. These explain embedded irony as truth-conditional content. However, by trying to shoehorn irony into said-content, they raise problems of their (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. 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   28 citations  
  24.  82
    A Formal Theory of Democratic Deliberation.Hun Chung & John Duggan - 2020 - American Political Science Review 114 (1):14-35.
    Inspired by impossibility theorems of social choice theory, many democratic theorists have argued that aggregative forms of democracy cannot lend full democratic justification for the collective decisions reached. Hence, democratic theorists have turned their attention to deliberative democracy, according to which “outcomes are democratically legitimate if and only if they could be the object of a free and reasoned agreement among equals” (Cohen 1997a, 73). However, relatively little work has been done to offer a formal theory of democratic deliberation. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Weak and Strong Necessity Modals: On Linguistic Means of Expressing "A Primitive Concept OUGHT".Alex Silk - forthcoming - In Meaning, Decision, and Norms: Themes from the Work of Allan Gibbard.
    This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. 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   9 citations  
  27. 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  
  28. 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   4 citations  
  29. 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   4 citations  
  30. 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  
  31. 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  
  32. 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. Turku: 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  
  33. Formal Ontology as an Operative Tool in the Theories of the Objects of the Life-World.Horacio Banega - 2012 - Symposium 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  
  34. The Pragmatics of Indirect Reports and Slurring.Alessandro Capone - 2013 - In Perspectives on Linguistic Pragmatics. Springer. pp. 153-184.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  35. 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  
  36.  60
    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   1 citation  
  37.  47
    From Trust to Body. Artspace, Prestige, Sensitivity.Filippo Fimiani - 2017 - In Felice Masi & Maria Catena (eds.), The Changing Faces of Space. Cham, Switzerland: Springer Verlag. pp. 277-288.
    What happens to artist and to viewer when painting or sculpture emancipates itself from all physical mediums? What happens to art-world experts and to museum goers and amateurs when the piece of art turns immaterial, becoming indiscernible within its surrounding empty space and within the parergonal apparatus of the exposition site? What type of verbal depiction, of critical understanding and specific knowledge is attempted under these programmed and fabricated conditions? What kind of aesthetic experience–namely embodied and sensitive–is expected when a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. 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   1 citation  
  39. On the Tension Between Semantics and Pragmatics.Alessandro Capone - 2013 - RASK: International Journal of Language and Communication 37:5-38.
    Loci of pragmatic intrusion signal the tension between semantics and pragmatics. -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  40. 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  
  41. Essentially Incomplete Descriptions.Carlo Penco - 2010 - European Journal of Analytic Philosophy 6 (2):47 - 66.
    In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best versions of the unificationist “explicit” (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  42. 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   11 citations  
  43. 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  
  44. In Defense of Formal Relationism.Richard Heck - 2014 - Thought: A Journal of Philosophy 3 (3):243-250.
    In his paper “Flaws of Formal Relationism”, Mahrad Almotahari argues against the sort of response to Frege's Puzzle I have defended elsewhere, which he dubs ‘Formal Relationism’. Almotahari argues that, because of its specifically formal character, this view is vulnerable to objections that cannot be raised against the otherwise similar Semantic Relationism due to Kit Fine. I argue in response that Formal Relationism has neither of the flaws Almotahari claims to identify.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45. 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   4 citations  
  46. 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  
  47. 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   3 citations  
  48. 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   6 citations  
  49. Strengths and Limitations of Formal Ontologies in the Biomedical Domain.Barry Smith - 2009 - Electronic Journal of Communication, Information and Innovation in Health 3 (1):31-45.
    We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology in a description logics framework. The four types of domain representation we consider are: (i) lexico-semantic representation, (ii) representation of types of entities, (iii) representations of background knowledge, and (iv) representation of individuals. We advocate a clear distinction of the four kinds of representation (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. Meaning and Interpretation. I.Urszula Wybraniec-Skardowska - 2007 - Studia Logica 85 (1):105-132.
    The paper is an attempt at a logical explication of some crucial notions of current general semantics and pragmatics. A general, axiomatic, formal-logical theory of meaning and interpretation is outlined in this paper.In the theory, accordingto the token-type distinction of Peirce, language is formalised on two levels: first as a language of token-objects (understood as material, empirical, enduring through time-and space objects) and then – as a language of type-objects (understood as abstract objects, as classes of tokens). The (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000