Skip to main content
SpringerLink
Log in
Book cover

Logic Colloquium pp 169–239Cite as

Abolition of the fregean axiom

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 453))

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Scott, D: On engendering an illusion of understanding, The Journal of Philosophy 68(1971), 787–807.

    Article  Google Scholar 

  2. Quine, W.V.: Comments, in Boston Studies in the Philosophy of Science. D. Reidel Publishing Co., Dordrecht, 1963, pp. 97–104.

    Google Scholar 

  3. Scott, D: Advice on Modal Logic, in Philosophical Problems in Logic, edited by K. Lambert, D. Reidel Publ. Comp. 1970, pp. 143–173.

    Google Scholar 

  4. Weyl, H: The Ghost of Modality, in Philosophical Essays in memory of E. Husserl, edited by M. Farbes, Harvard Univ. Press, 1940, reprinted by Greenwood Press, New York, 1956.

    Google Scholar 

  5. Church, A: Introduction to mathematical logic, Vol. I, Princeton, N.J. 1968.

    Google Scholar 

  6. Suszko, R: An Essay in the formal theory of extension and of intension, Studia Logica 20(1967), 7–34.

    Article  MathSciNet  MATH  Google Scholar 

  7. Bernays, P: Betrachtungen zum Sequenzekalkul, in contributions to Logic and Methodology in honor of I.M. Bochenski, edited by A.T. Tymieniecka in collaboration with Ch. Parsons, North Holland, Amsterdam 1965, pp. 1–44.

    Google Scholar 

  8. Los, J. & Suszko, R: Remarks on sentential logics, Proc. Neth. Akad. van Weten., Ser. A, 67(1958), 177–183.

    MathSciNet  Google Scholar 

  9. Suszko, R: Identity connective and modality, Studia Logica 27(1971), 7–39.

    Article  MathSciNet  MATH  Google Scholar 

  10. Suszko, R: Non-Fregean Logic and Theories, Analele Universitatii Bucuresti, Acta Logica 9(1968), 105–125.

    Google Scholar 

  11. Bloom, S.L.: A completeness theorem for "Theories of Kind W", Studia Logica 27(1971), 43–55.

    Article  MathSciNet  MATH  Google Scholar 

  12. Quine, W.V.: From a Logical Point of View, Harvard Univ. Press, Cambridge, Mass., 1953.

    MATH  Google Scholar 

  13. Suszko, R.: Quasi-Completeness in non-Fregean Logic, Studia Logica 29(1971), 7–14.

    Article  MathSciNet  MATH  Google Scholar 

  14. Bloom, S. & Suszko, R.: Semantics for the Sentential Calculus with Identity, Studia Logica 28(1971), 77–81.

    Article  MathSciNet  MATH  Google Scholar 

  15. __________: Investigations Into the Sentential Calculus with Identity, Notre Dame Journal of Formal Logic, 13(1972), 289–308.

    Article  MathSciNet  MATH  Google Scholar 

  16. Suszko, R.: Sentential Calculus with Identity (SCI) and G-theories, an abstract to appear in The Journal of Symbolic Logic 36(1971).

    Google Scholar 

  17. ____: SCI and Modal Systems, an abstract to appear in The Journal of Symbolic Logic 37(1972).

    Google Scholar 

  18. Scroggs, S.J.: Extensions of the Lewis System S5, The Journal of Symbolic Logic 16(1951), 112–120

    Article  MathSciNet  MATH  Google Scholar 

  19. Lewis, C.I., Langford, O.H.: Symbolic Logic, 2nd ed., Dover Publications, 1959.

    Google Scholar 

  20. Rasiowa, H., Sikorski, R.: The Mathematics of the Metamathematics, PWN Warsaw, 1963.

    Google Scholar 

  21. Kagan, J.D.: An Axiomatization of Topological Boolean Algebras to appear in Zeitschrift fur Mathematische Logik und Grandlagen der Mathematik.

    Google Scholar 

  22. McKinsey, J.C.C., Tarski, A.: The algebra of topology, Annals of Mathematics 45(1944), 141–191.

    Article  MathSciNet  MATH  Google Scholar 

  23. Lemmon, E.J.: An extension algebra and the modal system T, Notre Dame Journal of Formal Logic 1(1960), 3–12.

    Article  MathSciNet  MATH  Google Scholar 

  24. Scott, D.: A Proof of Independence of the Continuum Hypothesis, Mathematical Systems Theory 1(1967), 89–111.

    Article  MathSciNet  MATH  Google Scholar 

  25. Brown, D.J., Suszko, R.: Abstract Logics, Dissertationes Mathematicae, Vol. 102(1973).

    Google Scholar 

  26. Stupecki, J.: Uber die Regeln des Aussagenkalkuls, Studia Logica 1(1953), 19–40.

    Article  MathSciNet  Google Scholar 

  27. Hiz, H.: Complete sentential calculus admitting extensions, Summer Institute of Symbolic Logic in 1957 at Cornell University, Vol. 2, 260–262.

    Google Scholar 

  28. Suszko, R.: Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations, Studia Logica II(1961), 185–214.

    Article  MathSciNet  Google Scholar 

  29. Wojcicki, R.: Logical matrices adequate for structural sentential calculi, Bull., Acad. Polon. Sci. (Ser. Sci. Math. Astronom. Phys.) 17(1969), 333–335.

    MathSciNet  MATH  Google Scholar 

  30. Bloom, S.L., Brown, D.J., Suszko, R.: Some theorems on abstract logics, Algebra i Logika Sem. g(1970), 274–280.

    MathSciNet  Google Scholar 

  31. Suszko, R.: Adequate models for the non-Fregean sentential calculus (SCI), in Logic, Language and Probability, edited by R.J. Bogdan and I. Niiniluoto, D. Reidel, Pub., (1973),pp. 49–54.

    Google Scholar 

  32. Bloom, S.L., Brown, D.J.: Classical abstract logics, in Dissertationes Mathematicae, Vol. 102(1973).

    Google Scholar 

  33. Los, J.: The algebraic treatment of the methodology of elementary deductive systems, Studia Logica 2(1955), 151–211.

    Article  MathSciNet  MATH  Google Scholar 

  34. Los, J., Suszko, R.: On the extending of models II, Fundamenta Mathematicae 42(1955), 343–347.

    MathSciNet  MATH  Google Scholar 

  35. Hallen, S.: On the semantic non-completeness of certain Lewis calculi, the Journal of Symbolic Logic 16(1951), 127–129.

    Article  MathSciNet  Google Scholar 

  36. Diamond, A.H.: Simplification of the Whitehead-Huntington set of postulates for the algebra of logic, Bulletin of the American Mathematical Society, Vol. 40 (1934), 599–601.

    Article  MathSciNet  Google Scholar 

  37. Suszko, R., Zandarowska, W.: Lewis' systems S4 and S5 and the identity connective (in Polish), Studia Logica 29 (1971), 169–177.

    Article  MathSciNet  MATH  Google Scholar 

  38. McKinsey, J.C., Tarski, A.: Some theorems about the Lewis and Heyting calculi, The Journal of Symbolic Logic 13(1948), 1–15.

    Article  MathSciNet  MATH  Google Scholar 

  39. McKinsey, J.C., Systems of modal logic which are not unreasonable in the sense of Hallden, The Journal of Symbolic Logic 18(1953) 109–113.

    Article  MathSciNet  MATH  Google Scholar 

  40. Scroggs, S.J.: Extensions of the Lewis system S5, The Journal of Symbolic Logic 16(1951), 112–120.

    Article  MathSciNet  MATH  Google Scholar 

  41. Wojcicki, R.: On reconstructability of classical propositional logic in intuitionistic logic, Bull. Acad. Polon. Sci. (Ser. Sci. Math. Astronom. Phys.) 18(1970), 421–422.

    MathSciNet  MATH  Google Scholar 

  42. Kripke, S.A.: Semantical considerations on modal logic, Acta Philosophica Phennica 16(1963), 83–94.

    MathSciNet  MATH  Google Scholar 

  43. Lemmon, E.J.: Algebraic semantics for modal logics, The Journal of Symbolic Logic 31(1966), 46–65 and 191–218.

    Article  MathSciNet  Google Scholar 

  44. Makinson, D.C.: A generalisation of the concept of a relational model for modal logic, Theoria 36(1970), 331–335.

    Article  MathSciNet  Google Scholar 

  45. Lemmon, E.J.: A note on Hallden-incompleteness, Notre Dame Journal of Formal Logic 7(1966), 296–300.

    Article  MathSciNet  MATH  Google Scholar 

  46. Cresswell, M.J.: Classical intensional logics, Theoria 36(1970), 347–372.

    Article  MathSciNet  MATH  Google Scholar 

  47. Montagne, R.: Pragmatics in R. Klibansky ed., contemporary philosophy-la philosophie contemporaine, Florence 1968, 102–122.

    Google Scholar 

  48. _____: Universal grammer, Theoria 36, 1970, 373–398.

    Article  MathSciNet  Google Scholar 

  49. Cresswell, M.J.: Functions of propositions, The Journal of Symbolic Logic 31(1966), 545–560.

    Article  MathSciNet  MATH  Google Scholar 

  50. Suszko, R.: Reifikacja sytuacji (Reification of situations), Studia Filozoficzne 69(1971), 65–82.

    Google Scholar 

  51. _____: Ontology in the Tractatus of L. Wittgenstein, Notre Dame Journal of Formal Logic 9(1968), 7–33.

    Article  MathSciNet  MATH  Google Scholar 

  52. _____: Consistency of some non-Fregean theory, Notices of A.M.S. 16(1969), abstract 664-23.

    Google Scholar 

  53. Prior, A.N.: Is the concept of referential opacity really necessary? Acta Philosophica Fennica 16(1963), 189–198.

    Google Scholar 

Download references

Authors
  1. Roman Suszko
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rohit Parikh

Rights and permissions

Reprints and permissions

Copyright information

© 1975 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Suszko, R. (1975). Abolition of the fregean axiom. In: Parikh, R. (eds) Logic Colloquium. Lecture Notes in Mathematics, vol 453. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0064874

Download citation

  • DOI: https://doi.org/10.1007/BFb0064874

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07155-6

  • Online ISBN: 978-3-540-37483-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation