# 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

#### 4 Citations

The Proscriptive Principle and Logics of Analytic Implication

- Philosophy
- 2017

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 least… Expand

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 of… Expand

Hyper-Slingshot. Is Fact-Arithmetic Possible?

- Computer Science
- 2015

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

- Computer Science
- 2017

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 many… Expand

#### References

SHOWING 1-10 OF 15 REFERENCES

TWO LOGICS OF ANALYTIC CLASSICAL IMPLICATION

- Mathematics
- 2002

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 strict… Expand

Investigations into the sentential calculus with identity

- Mathematics, Computer Science
- Notre Dame J. Formal Log.
- 1972

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". The… Expand

Semantics for the sentential calculus with identity

- Mathematics
- 1971

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

- Mathematics, Computer Science
- Stud Logica
- 1995

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 our… Expand

Ontologia sytuacji, argument Slingshot i logika niefregowska

- Mathematics
- 2005

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 the… Expand

Situations and Attitudes.

- Mathematics, Philosophy
- 1983

In this provocative book, Barwise and Perry tackle the slippery subject of "meaning, " a subject that has long vexed linguists, language philosophers, and logicians.

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