Results for 'formal semantics'

1000+ found
Order:
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  2. Formal Semantics of Natural Language. [REVIEW]Adam Morton - 1982 - Canadian Journal of Philosophy 12 (4):805-808.
    a review of Keenan, ed. *Formal Semantics of Natural Language*.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Constructing Formal Semantics From an Ontological Perspective. The Case of Second-Order Logics.Thibaut Giraud - 2014 - Synthese 191 (10):2115-2145.
    In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Formality in Logic: From Logical Terms to Semantic Constraints.Gil Sagi - 2014 - Logique Et Analyse 57 (227).
    In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  5. Language and its Commonsense: Where Formal Semantics Went Wrong, and Where It Can (and Should) Go.Walid Saba - 2020 - Journal of Knowledge Structures and Systems 1 (1):40-62.
    Abstract The purpose of this paper is twofold: (i) we will argue that formal semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts, namely ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of, and relations between, objects of various ontological types; and (ii) we show that accounting for these differences amounts to a new formal semantics; one (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. 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  
  7.  82
    A Formal Model of Metaphor in Frame Semantics.Vasil Penchev - 2015 - In Proceedings of the 41st Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour. New York: Curran Associates, Inc.. pp. 187-194.
    A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space. The practical way for a probability distribution and a corresponding wave function to be assigned to a given metaphor in a given language is considered. A series of formal definitions is deduced from this for: “representation”, “reality”, “language”, “ontology”, etc. All are based on Hilbert space. A few (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8.  81
    Semantic Criteria of Correct Formalization.Timm Lampert - 2010 - In Proceedings of Gap Conference.
    This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.
    Download  
     
    Export citation  
     
    Bookmark  
  9.  61
    Formalizing UMLS Relations Using Semantic Partitions in the Context of a Task-Based Clinical Guidelines Model.Anand Kumar, Matteo Piazza, Barry Smith, Silvana Quaglini & Mario Stefanelli - 2004 - In IFOMIS Reports. Saarbrücken: IFOMIS.
    An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Formal Logic: Classical Problems and Proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
    Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Truthmaker Semantics for Relevant Logic.Mark Jago - 2020 - Journal of Philosophical Logic 49 (4):681-702.
    I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  12. Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
    Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  13. Does Semantic Relationism Solve Frege’s Puzzle?Bryan Pickel & Brian Rabern - 2017 - Journal of Philosophical Logic 46 (1):97-118.
    In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  14. Semantics and the Computational Paradigm in Cognitive Psychology.Eric Dietrich - 1989 - Synthese 79 (1):119-141.
    There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing away (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  15. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Dual Content Semantics, Privative Adjectives and Dynamic Compositionality.Guillermo Del Pinal - 2015 - Semantics and Pragmatics 8 (7):1-53.
    This paper defends the view that common nouns have a dual semantic structure that includes extension-determining and non-extension-determining components. I argue that the non-extension-determining components are part of linguistic meaning because they play a key compositional role in certain constructions, especially in privative noun phrases such as "fake gun" and "counterfeit document". Furthermore, I show that if we modify the compositional interpretation rules in certain simple ways, this dual content account of noun phrase modification can be implemented in a type-driven (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  17. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  18. A Formalization of Kant’s Transcendental Logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.
    Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  19. A Semantic Approach to the Structure of Population Genetics.Elisabeth A. Lloyd - 1984 - Philosophy of Science 51 (2):242-264.
    A precise formulation of the structure of modern evolutionary theory has proved elusive. In this paper, I introduce and develop a formal approach to the structure of population genetics, evolutionary theory's most developed sub-theory. Under the semantic approach, used as a framework in this paper, presenting a theory consists in presenting a related family of models. I offer general guidelines and examples for the classification of population genetics models; the defining features of the models are taken to be their (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  20. A Unified Non Monstrous Semantics for Third Person Pronouns.Fabio Del Prete & Sandro Zucchi - 2017 - Semantics and Pragmatics 10.
    It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive contextually salient values when they occur free may also be bound by quantifiers and λs. These assumptions are at work to provide a unified account of free and bound uses of third person pronouns, namely one by which the same lexical item is involved in both uses. One way to pursue this account (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  21. Fictional Names in Psychologistic Semantics.Emar Maier - 2017 - Theoretical Linguistics 43 (1-2):1-46.
    Fictional names pose a difficult puzzle for semantics. We can truthfully maintain that Frodo is a hobbit, while at the same time admitting that Frodo does not exist. To reconcile this paradox I propose a way to formalize the interpretation of fiction as ‘prescriptions to imagine’ (Walton 1990) within an asymmetric semantic framework in the style of Kamp (1990). In my proposal, fictional statements are analyzed as dynamic updates on an imagination component of the interpreter’s mental state, while plain (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  22. 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  
  23. Frege and Semantics.Richard G. Heck - 2007 - Grazer Philosophische Studien 75 (1):27-63.
    In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, first, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might be justified and, second, that he explicitly commits himself to offering a justification that appeals to (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  24. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  25. A Formal Theory of Substances, Qualities, and Universals.Fabian Neuhaus, Pierre Grenon & Barry Smith - 2004 - In Achille Varzi & Laure Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press.
    One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  26. Semantics in Support of Biodiversity: An Introduction to the Biological Collections Ontology and Related Ontologies.Ramona L. Walls, John Deck, Robert Guralnik, Steve Baskauf, Reed Beaman, Stanley Blum, Shawn Bowers, Pier Luigi Buttigieg, Neil Davies, Dag Endresen, Maria Alejandra Gandolfo, Robert Hanner, Alyssa Janning, Barry Smith & Others - 2014 - PLoS ONE 9 (3):1-13.
    The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the Open (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  27. Why Philosophers Shouldn’T Do Semantics.Herman Cappelen - 2017 - Review of Philosophy and Psychology 8 (4):743-762.
    The linguistic turn provided philosophers with a range of reasons for engaging in careful investigation into the nature and structure of language. However, the linguistic turn is dead. The arguments for it have been abandoned. This raises the question: why should philosophers take an interest in the minutiae of natural language semantics? I’ll argue that there isn’t much of a reason - philosophy of language has lost its way. Then I provide a suggestion for how it can find its (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Some Formal Moments of Truth.Barry Smith - 1982 - In Werner Leinfellner (ed.), Language and Ontology. Vienna: Hölder-Pichler-Tempsky / Reidel. pp. 186-90.
    A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  29. Incompatibility Semantics From Agreement.Daniele Porello - 2012 - Philosophia 40 (1):99-119.
    In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. 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  
  31. A Logic for Epistemic Two-Dimensional Semantics.Peter Fritz - 2013 - Synthese 190 (10):1753-1770.
    Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  32.  38
    Naturalizing Semantics and Putnam's Model-Theoretic Argument.Andrea Bianchi - 2002 - Episteme NS: Revista Del Instituto de Filosofía de la Universidad Central de Venezuela 22 (1):1-19.
    Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Understanding Understanding: Syntactic Semantics and Computational Cognition.William J. Rapaport - 1995 - Philosophical Perspectives 9:49-88.
    John Searle once said: "The Chinese room shows what we knew all along: syntax by itself is not sufficient for semantics. (Does anyone actually deny this point, I mean straight out? Is anyone actually willing to say, straight out, that they think that syntax, in the sense of formal symbols, is really the same as semantic content, in the sense of meanings, thought contents, understanding, etc.?)." I say: "Yes". Stuart C. Shapiro has said: "Does that make any sense? (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  34. Revising the UMLS Semantic Network.Steffen Schulze-Kremer, Barry Smith & Anand Kumar - 2004 - In MedInfo.
    The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  35. The Semantics of Topic-Focus Articulation.Anna Szabolcsi - 1981 - In Jeroen Groenendijk (ed.), Formal methods in the study of language. U of Amsterdam. pp. 2--503.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  36. Swap Structures Semantics for Ivlev-Like Modal Logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Notes on a Semantic Analysis of Variable Binding Term Operators.J. Corcoran & John Herring - 1971 - Logique Et Analyse 55:644-657.
    -/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Forall X: Calgary. An Introduction to Formal Logic.P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach & Robert Trueman - 2020 - Open Logic Project.
    forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as truth-functional completeness and modal logic. Exercises with solutions (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  60
    Single-Peakedness and Semantic Dimensions of Preferences.Daniele Porello - 2016 - Logic Journal of the IGPL 24 (4).
    Among the possible solutions to the paradoxes of collective preferences, single-peakedness is significant because it has been associated to a suggestive conceptual interpretation: a single-peaked preference profile entails that, although individuals may disagree on which option is the best, they conceptualize the choice along a shared unique dimension, i.e. they agree on the rationale of the collective decision. In this article, we discuss the relationship between the structural property of singlepeakedness and its suggested interpretation as uni-dimensionality of a social choice. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Is the Notion of Semantic Presupposition Empty?Wang Xinli - 1999 - Diálogos. Revista de Filosofía de la Universidad de Puerto Rico 34 (73):61-93.
    This paper is an attempt to clarify the notion of semantic presupposition and to refute Böer and Lycan's critique of that notion. The author presents a feasible and coherent formal definition of semantic presupposition after examining several popular definitions of the notion. In terms of this definition, two central arguments against semantic presupposition presented by Böer and Lycan are analyzed and responded to with care. It is concluded that the notion of semantic presupposition is not empty but rather is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Formalizing the Logical (Self-Reference) Error of the Liar Paradox.Pete Olcott - manuscript
    This paper decomposes the Liar Paradox into its semantic atoms using Meaning Postulates (1952) provided by Rudolf Carnap. Formalizing truth values of propositions as Boolean properties of these propositions is a key new insight. This new insight divides the translation of a declarative sentence into its equivalent mathematical proposition into three separate steps. When each of these steps are separately examined the logical error of the Liar Paradox is unequivocally shown.
    Download  
     
    Export citation  
     
    Bookmark  
  42.  88
    Notes Tow Ard a Formal Conversation Theory.Gary James Jason - 1980 - Grazer Philosophische Studien 10 (1):119-139.
    Dialectic, as commonly approached, is not an analytic study, as the notion is defined in the paper. Where it is analytically approached (as, for example, by Grice and Hamblin), the result is pragmatic in nature, as well as syntactic and semantic. This paper lays the foundations of a purely formal (nonpragmatic) analysis of conversations. This study is accordingly called "Conversation Theory". The key notions of "conversation", "dialogue", "conversation game", "rules of response", "epistemic community" and "channel of informations" are defined (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Interoperability of Disparate Engineering Domain Ontologies Using Basic Formal Ontology.Thomas J. Hagedorn, Barry Smith, Sundar Krishnamurty & Ian R. Grosse - 2019 - Journal of Engineering Design 31.
    As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult to extend (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  87
    Formalizing Self-Reference Paradox Using Predicate Logic.Pete Olcott - manuscript
    We begin with the hypothetical assumption that Tarski’s 1933 formula ∀ True(x) φ(x) has been defined such that ∀x Tarski:True(x) ↔ Boolean-True. On the basis of this logical premise we formalize the Truth Teller Paradox: "This sentence is true." showing syntactically how self-reference paradox is semantically ungrounded.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  63
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Does Possible World Semantics Turn All Propositions Into Necessary Ones?John-Michael Kuczynski - 2007 - Journal of Pragmatics 39 (5):972-916.
    "Jim would still be alive if he hadn't jumped" means that Jim's death was a consequence of his jumping. "x wouldn't be a triangle if it didn't have three sides" means that x's having a three sides is a consequence its being a triangle. Lewis takes the first sentence to mean that Jim is still alive in some alternative universe where he didn't jump, and he takes the second to mean that x is a non-triangle in every alternative universe where (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  48. Logical Semantics and Norms: A Kantian Perspective.Sérgio Mascarenhas - 2017 - Phenomenology and Mind (13):150-157.
    It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates cannot be assigned to normative statements. Hence, deonticity lacks logical semantics. This semantic monism has been challenged over the last decades from a series of perspectives that open the way for legal logics with imperative semantics. In the present paper I will go back (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Semantic WFF(X) Specified Syntactically.Pete Olcott - manuscript
    Hypothesis: WFF(x) can be applied syntactically to the semantics of formalized declarative sentences such that: WFF(x) ↔ (x ↦ True) ∨ (x ↦ False) (see proof sketch below) For clarity we focus on simple propositions without binary logical connectives.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. NASSLLI 2016 Dynamic Semantics (1): Introduction.Maria Bittner - unknown
    Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 1: Introduction. Abstract: Dynamic semantics is a family of semantic theories that seek to explicate the intuition that saying something changes the context for what follows. We survey the development of formal semantics from static to dynamic formalisms since 1970s. Throughout, we highlight natural language phenomena that motivate dynamic semantics, and the key pre-theoretical concepts -- information state, update, and discourse referent -- which can be implemented (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000