Switch to: References

Add citations

You must login to add citations.
  1. Paraconsistency in Non-Fregean Framework.Joanna Golińska-Pilarek - forthcoming - Studia Logica:1-39.
    A non-Fregean framework aims to provide a formal tool for reasoning about semantic denotations of sentences and their interactions. Extending a logic to its non-Fregean version involves introducing a new connective$$\equiv $$≡that allows to separate denotations of sentences from their logical values. Intuitively,$$\equiv $$≡combines two sentences$$\varphi $$φand$$\psi $$ψinto a true one whenever$$\varphi $$φand$$\psi $$ψhave the same semantic correlates, describe the same situations, or have the same content or meaning. The paper aims to compare non-Fregean paraconsistent Grzegorczyk’s logics (Logic of Descriptions$$\textsf{LD}$$LD, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Non-Fregean Propositional Logic with Quantifiers.Joanna Golińska-Pilarek & Taneli Huuskonen - 2016 - Notre Dame Journal of Formal Logic 57 (2):249-279.
    We study the non-Fregean propositional logic with propositional quantifiers, denoted by $\mathsf{SCI}_{\mathsf{Q}}$. We prove that $\mathsf{SCI}_{\mathsf{Q}}$ does not have the finite model property and that it is undecidable. We also present examples of how to interpret in $\mathsf{SCI}_{\mathsf{Q}}$ various mathematical theories, such as the theory of groups, rings, and fields, and we characterize the spectra of $\mathsf{SCI}_{\mathsf{Q}}$-sentences. Finally, we present a translation of $\mathsf{SCI}_{\mathsf{Q}}$ into a classical two-sorted first-order logic, and we use the translation to prove some model-theoretic properties of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations