Corpus ID: 54811841

THE LOGICS OF ANALYTIC EQUIVALENCE

@inproceedings{Nowak2008THELO,
  title={THE LOGICS OF ANALYTIC EQUIVALENCE},
  author={M. Nowak},
  year={2008}
}
A notion of so-called analytic equivalence is considered, in the form of Suszko's connective of propositional identity. Two axiomatic strengthenings of the Sen- tential Calculus with Identity of Suszko involving that connective are presented. Both realize the following principle due to Wojcicki: two sentences whose logical forms in sentential language are logically equivalent and have the same sentential variables, express the same proposition. The paper is devoted to some axiomatic… Expand
The Proscriptive Principle and Logics of Analytic Implication
The Proscriptive Principle and Logics of Analytic Implication by Thomas Macaulay Ferguson Adviser: Professor Graham Priest The analogy between inference and mereological containment goes at leastExpand
NON-FREGEAN LOGICS OF ANALYTIC EQUIVALENCE (I)
  • 2015
The identity connective is usually interpreted in non-Fregean logic as an operator representing the identity of situations. This interpretation is related to the modal criterion of the identity ofExpand
Hyper-Slingshot. Is Fact-Arithmetic Possible?
TLDR
A new argument supporting the ontological standpoint according to which there are no mathematical facts in any set theoretic model (world) of arithmetical theories is presented, showing that it is impossible to construct fact-arithmetic. Expand
Metaphysical Considerations on State Space Semantics
In this chapter, we review elements of Kit Fine’s project of truth maker semantics , in which models are constructed on spaces of states—fine-grained semantical devices that can stand in for manyExpand

References

SHOWING 1-10 OF 15 REFERENCES
TWO LOGICS OF ANALYTIC CLASSICAL IMPLICATION
The paper contains two concepts of implication th at can be called analytic in the sense of Parry [5] or Fine [2]. Contrary to the Parr y's approach, these implications do not involve S4 strictExpand
Investigations into the sentential calculus with identity
The sentential calculus with identity (SCI) is obtained from the classical sentential calculus by adding a new "identity connective" = and axioms which say "p = q" means "p is identical to q". TheExpand
Semantics for the sentential calculus with identity
1. The SCI (Sentential Calculus with Identity) is obtained from the classical sentential calculus by the addition of (1) a new binary connective, the identity con? nective (denoted by"=") and (2)Expand
A complete minimal logic of the propositional contents of thought
Our purpose is to formulate a complete logic of propositions that takes into account the fact that propositions are both senses provided with truth values and contents of conceptual thoughts. In ourExpand
Ontologia sytuacji, argument Slingshot i logika niefregowska
According to the ontology of situations there are individual situations (in other terminology: states of affairs or facts) which correspond to sentences. The basic argument against this theory is theExpand
Situations and Attitudes.
In this provocative book, Barwise and Perry tackle the slippery subject of "meaning, " a subject that has long vexed linguists, language philosophers, and logicians.
Semantic Innocence and Uncompromising Situations
Semantyka sytuacyjna logiki niefregowskiej (in Polish, Situational semantics of non-Fregean logic), [in
  • Pelc J. (ed.) Znaczenie i prawda, Rozprawy semiotyczne, WN PWN Warszawa
  • 1994
An algebraic analysis of the logical form of propositions
  • Logique et Analyse 141–142
  • 1993
pewnym kryterium identyczności sa̧dów (in Polish, On some criterion of identity of propositions), [in:] Krysztofiak W., Perkowska H. (eds) Szkice z fenomenologii i filozofii analitycznej
  • Wydawnictwo Naukowe Uniwersytetu Szczecińskiego, Szczecin
  • 1993
...
1
2
...