Scan Science and Technology
Contact Leading Edge Experts & Companies
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 DERIVATIONReview of Symbolic Logic, 2011Co-Authors: Bartosz WięckowskiAbstract:
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, 2012Co-Authors: Agustin RayoAbstract:
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 logicLogic Journal of The Igpl \ Bulletin of The Igpl, 2015Co-Authors: Tor SandqvistAbstract:
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.