Fully Fregean logics

Reports on Mathematical Logic:59-77 (2003)
  Copy   BIBTEX


Frege's Principle asserts that the denotation of a propositional sentence coincides with its truth value. In the context of algebraizable logics the principle can be interpreted as the compositionality of interderivability relation $\Fr{S}$, defined formally by $\Fr{S}T=\{\langle \phi, \psi\rangle\in\Fml^2\mid T,\phi \dashv\vdash_{\mathcal S}T,\psi \}$, for given deductive system $\mathcal S$ and any $\mathcal S$-theory $T$. Of special interest are the deductive systems for which the property of being Fregean is inherited by all full 2nd-order models, so called, \it{fully Fregean} deductive systems. The main result of this paper is a characterization of fully Fregean deductive systems over countable languages using properties of the strong Frege operator on the formula algebra. The example of a Fregean, but not fully Fregean deductive system $\mathcal S$ is provided. $\mathcal S$ also turns out to be selfextensional, but not fully selfextensional, and, in addition, the three principal algebraic semantics for $\mathcal S$ are different, i.e., $\Alg^\ast\mathcal S\subsetneq\Alg\mathcal S\subsetneq\Var$



    Upload a copy of this work     Papers currently archived: 93,069

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP


6 months

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

References found in this work

No references found.

Add more references