Switch to: Citations

Add references

You must login to add references.
  1. Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.
    We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the relationships of our falsification logic to (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   34 citations  
  • Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.
    The sequent system LDJ is formulated using the same connectives as Gentzen's intuitionistic sequent system LJ, but is dual in the following sense: (i) whereas LJ is singular in the consequent, LDJ is singular in the antecedent; (ii) whereas LJ has the same sentential counter-theorems as classical LK but not the same theorems, LDJ has the same sentential theorems as LK but not the same counter-theorems. In particular, LDJ does not reject all contradictions and is accordingly paraconsistent. To obtain a (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   40 citations  
  • A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.
    We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...)
    Direct download (6 more)  
    Export citation  
    Bookmark   21 citations  
  • On certain peculiarities of singular propositions.Tadeusz Czeżowski - 1955 - Mind 64 (255):392-395.
  • How to do things with words.John Langshaw Austin - 1962 - Oxford [Eng.]: Clarendon Press. Edited by Marina Sbisá & J. O. Urmson.
    For this second edition, the editors have returned to Austin's original lecture notes, amending the printed text where it seemed necessary.
    Direct download  
    Export citation  
    Bookmark   1602 citations  
  • Foundations of Illocutionary Logic.John Rogers Searle & Daniel Vanderveken - 1985 - Cambridge, England: Cambridge University Press.
    This is a formal and systematic study of the logical foundations of speech act theory. The study of speech acts has been a flourishing branch of the philosophy of language and linguistics over the last two decades, and John Searle has of course himself made some of the most notable contributions to that study in the sequence of books Speech Acts, Expression and Meaning and Intentionality. In collaboration with Daniel Vanderveken he now presents the first formalised logic of a general (...)
    Direct download (2 more)  
    Export citation  
    Bookmark   180 citations