Atomic Sentence - Explore the Science & Experts | ideXlab

Scan Science and Technology

Contact Leading Edge Experts & Companies

Atomic Sentence

The Experts below are selected from a list of 39 Experts worldwide ranked by ideXlab platform

Bartosz Więckowski – 1st expert on this subject based on the ideXlab platform

  • RULES FOR SUBAtomic DERIVATION
    Review of Symbolic Logic, 2011
    Co-Authors: Bartosz Więckowski

    Abstract:

    In proof-theoretic semantics the meaning of an Atomic Sentence is usually determined by a set of derivations in an Atomic system which contain that Sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subAtomic introduction and elimination rules for Atomic Sentences. A simple subAtomic normal form theorem by which this account of the semantics of Atomic Sentences and the terms from which they are composed is underpinned, shows moreover that the proof-theoretic analysis of first-order logic can be pursued also beneath the Atomic level.

Agustin Rayo – 2nd expert on this subject based on the ideXlab platform

  • Absolute Generality Reconsidered
    , 2012
    Co-Authors: Agustin Rayo

    Abstract:

    Years ago, when I was young and reckless, I believed that there was such a thing as an allinclusive domain. Now I have come to see the error of my ways. The source of my mistake was a view that might be labeled ‘Tractarianism’. Tractarians believe that language is subject to a metaphysical constraint. In order for an Atomic Sentence to be true, there needs to be a certain kind of correspondence between the semantic structure of the Sentence and the ‘metaphysical structure’ of reality. The purpose of this paper is to explain why I think Tractarianism is mistaken, and what I think an anti-Tractarian should say about absolutely general quantification.

Tor Sandqvist – 3rd expert on this subject based on the ideXlab platform

  • Base-extension semantics for intuitionistic sentential logic
    Logic Journal of The Igpl \ Bulletin of The Igpl, 2015
    Co-Authors: Tor Sandqvist

    Abstract:

    Intuitionistic sentential logic is shown to be sound and complete with respect to a semantics centered around extensions of Atomic bases (i.e. sets of inference rules for Atomic Sentences). The result is made possible through a non-standard interpretation of disjunction, whereby, roughly speaking, a disjunction is taken to hold just in case every Atomic Sentence that follows from each of the disjuncts separately holds; it is argued that this interpretation makes good sense provided that rules in Atomic bases are conceived of as being accepted hypothetically rather than categorically.