Results for 'formal semantics'

1000+ found
Order:
  1. 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  
  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. 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  
  4.  58
    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   1 citation  
  5.  20
    A Formal Model of Metaphor in Frame Semantics.Vasil Penchev - 2016 - 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  
  6.  50
    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  
  7.  54
    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  
  8. 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  
  9. 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  
  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  
  11. Is There Such a Thing as “Semantic Content”?Sergeiy Sandler - manuscript
    The distinction between the semantic content of a sentence or utterance and its use is widely employed in formal semantics. Semantic minimalism in particular understands this distinction as a sharp dichotomy. I argue that if we accept such a dichotomy, there would be no reason to posit the existence of semantic contents at all. I examine and reject several arguments raised in the literature that might provide a rationale for assuming semantic contents, in this sense, exist, and conclude (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Modal Logic S4 as a Paraconsistent Logic with a Topological Semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Carlos Caleiro, Francisco Dionisio, Paula Gouveia, Paulo Mateus & João Rasga (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. London, UK: College Publications. pp. 171-196.
    In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  50
    Gesticulation as the Integration of Body and Mind-a Semantics of Nodding.Daihyun Chung - manuscript
    Human mind and human body have been separated from each other as belonging to familiar different categories. But what if we are supposed to admit a category of bodily posture? This is a paper to advance a thesis that mental content in bodily posture is a basis to integrate mind and body. First, what is the basis to claim that there is such a thing as a bodily posture? We humans all communicate each other not only through an ordinary language (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14.  59
    Non-Deterministic Algebraization of Logics by Swap Structures.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - forthcoming - Logic Journal of the IGPL.
    Multialgebras (or hyperalgebras or non-deterministic algebras) have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency (or LFIs) that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  72
    Copredication in Homotopy Type Theory.Hamidreza Bahramian - manuscript
    This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  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   6 citations  
  17.  80
    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  
  18. 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  
  19.  99
    Recovery Operators, Paraconsistency and Duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - forthcoming - Logic Journal of the IGPL.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. 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   12 citations  
  21. Epistemicism and Modality.Juhani Yli-Vakkuri - 2016 - Canadian Journal of Philosophy 46 (4-5):803-835.
    What kind of semantics should someone who accepts the epistemicist theory of vagueness defended in Timothy Williamson’s Vagueness (1994) give a definiteness operator? To impose some interesting constraints on acceptable answers to this question, I will assume that the object language also contains a metaphysical necessity operator and a metaphysical actuality operator. I will suggest that the answer is to be found by working within a three-dimensional model theory. I will provide sketches of two ways of extracting an epistemicist (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  22.  88
    Modeling Truth for Semantics.Ori Simchen - 2020 - Analytic Philosophy 61 (1):28-36.
    The Tarskian notion of truth-in-a-model is the paradigm formal capture of our pre-theoretical notion of truth for semantic purposes. But what exactly makes Tarski’s construction so well suited for semantics is seldom discussed. In my Semantics, Metasemantics, Aboutness (OUP 2017) I articulate a certain requirement on the successful formal modeling of truth for semantics – “locality-per-reference” – against a background discussion of metasemantics and its relation to truth-conditional semantics. It is a requirement on any (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   248 citations  
  24. 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   3 citations  
  25. 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   14 citations  
  26.  14
    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  
  27. 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  
  28.  34
    A Paradox for Possible World Semantics.Michael J. Shaffer & Jeremy Morris - 2006 - Logique Et Analyse 49 (195):307-317.
    The development of possible worlds semantics for modal claims has led to a more general application of that theory as a complete semantics for various formal and natural languages, and this view is widely held to be an adequate (philosophical) interpretation of the model theory for such languages. We argue here that this view generates a self-referential inconsistency that indicates either the falsity or the incompleteness of PWS.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  39
    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  
  30. 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   12 citations  
  31. Mathematical Realism and Conceptual Semantics.Luke Jerzykiewicz - 2012 - In Oleg Prosorov & Vladimir Orevkov (eds.), Philosophy, Mathematics, Linguistics: Aspects of Interaction. Euler International Mathematical Institute.
    The dominant approach to analyzing the meaning of natural language sentences that express mathematical knowl- edge relies on a referential, formal semantics. Below, I discuss an argument against this approach and in favour of an internalist, conceptual, intensional alternative. The proposed shift in analytic method offers several benefits, including a novel perspective on what is required to track mathematical content, and hence on the Benacerraf dilemma. The new perspective also promises to facilitate discussion between philosophers of mathematics and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  66
    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  
  33. Forall X: An Introduction to Formal Logic.P. D. Magnus - 2005
    An introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. -/- This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  62
    Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - manuscript
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. 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  
  36. Mereological Composition and Plural Quantifier Semantics.Manuel Lechthaler & Ceth Lightfield - 2018 - Philosophia 46 (4):943-958.
    Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. 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   35 citations  
  38. Epistemic Modal Credence.Simon Goldstein - forthcoming - Philosophers' Imprint.
    Triviality results threaten plausible principles governing our credence in epistemic modal claims. This paper develops a new account of modal credence which avoids triviality. On the resulting theory, probabilities are assigned not to sets of worlds, but rather to sets of information state-world pairs. The theory avoids triviality by giving up the principle that rational credence is closed under conditionalization. A rational agent can become irrational by conditionalizing on new evidence. In place of conditionalization, the paper develops a new account (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  98
    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  
  40. Generalized Quantifiers: Logic and Language.Duilio D'Alfonso - 2011 - Logic and Philosophy of Science 9 (No. 1):85-94.
    The Generalized Quantifiers Theory, I will argue, in the second half of last Century has led to an important rapprochement, relevant both in logic and in linguistics, between logical quantification theories and the semantic analysis of quantification in natural languages. In this paper I concisely illustrate the formal aspects and the theoretical implications of this rapprochement.
    Download  
     
    Export citation  
     
    Bookmark  
  41. Forall X: Calgary. An Introduction to Formal Logic.P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach & Robert Trueman - 2019
    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  
  42. 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   17 citations  
  43. GENERAL SYSTEM THEORY, LIKEQUANTUM SEMANTICS AND FUZZY SETS.Ignazio Licata - 2006 - In G. Minati (ed.), Systemics of Emergence. Research and Developement. Springer.
    It is outlined the possibility to extend the quantum formalism in relation to the requirements of the general systems theory. It can be done by using a quantum semantics arising from the deep logical structure of quantum theory. It is so possible taking into account the logical openness relationship between observer and system. We are going to show how considering the truth-values of quantum propositions within the context of the fuzzy sets is here more useful for systemics. In conclusion (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  96
    Kratzer Semantics: Criticisms and Suggestions.Michael Beebe - manuscript
    Abstract -/- Kratzer’s semantics for the deontic modals ought, must, etc., is criticized and improvements are suggested. Specifically, a solution is offered for the strong/weak, must/ought contrast, based on connecting must to right and ought to good as their respective ordering norms. A formal treatment of the semantics of must is proposed. For the semantics of ought it is argued that good enough should replace best in the formula giving truth conditions. A semantics for supposed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. 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  
  46. An Interpretation of McCall’s “Real Possible Worlds” and His Semantics for Counterfactuals.Alexandru Dragomir - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (1):65-78.
    McCall (1984) offered a semantics of counterfactual conditionals based on “real possible worlds” that avoids using the vague notion of similarity between possible worlds. I will propose an interpretation of McCall’s counterfactuals in a formal framework based on Baltag-Moss-Solecki events and protocols. Moreover, I will argue that using this interpretation one can avoid an objection raised by Otte (1987).
    Download  
     
    Export citation  
     
    Bookmark  
  47. Indirect Discourse: Parataxis, the Propositional Function Modification, and “That”.Michael Alan Johnson - 2009 - Aporia 19 (1):9-24.
    The purpose of this paper is to assess the general viability of Donald Davidson's paratactic theory of indirect discourse, as well as the specific plausibility of a reincarnated form of the Davidsonian paratactic theory, Gary Kemp's propositional paratactic theory. To this end I will provide an introduction to the Davidsonian paratactic theory and the theory's putative strengths, thereafter noting that an argument from ambiguity seems to effectively undermine Davidson's proposal. Subsequently, I will argue that Kemp's modification of Davidson's theory – (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  48.  38
    Review of John Woods, Truth in Fiction: Rethinking its Logic. [REVIEW]Gilbert Plumer - 2020 - Informal Logic 40 (1):147-156.
    This article reviews John Wood’s Truth in Fiction: Rethinking its Logic.
    Download  
     
    Export citation  
     
    Bookmark  
  49. 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  
  50. Wittgenstein and the Methodology of Semantics.Fritz J. McDonald - 2015 - In Ranjan Panda (ed.), Language, Mind and Reality: A Reflection on Philosophical Thoughts of R. C. Pradhan. Overseas Press.
    R.C. Pradhan claims in Language, Reality, and Transcendence that, in Ludwig Wittgenstein’s Tractatus Logico-Philosophicus and Philosophical Investigations, “[i]n no case is Wittgenstein interested in the empirical facts regarding language, as for him philosophy does not undertake any scientific study of language” (Pradhan 2009, xiv). I consider Ludwig Wittgenstein’s purportedly anti-scientific and anti-empirical approach to language in light of advances by philosophers and linguists in the latter half of the 20th century. I distinguish between various ways of understanding Wittgenstein’s stance against (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000