### Metalogical properties, being logical and being formal

DOI: http://dx.doi.org/10.12775/LLP.2002.013

#### Abstract

#### Full Text:

PDF#### References

Barwise, J. 1985, “Model-theoretic logics: background and aims”, in J. Barwise and S. Feferman (Eds.), Model-Theoretic Logics, Berlin: Springer-Verlag, pp. 323.

Borkowski, L. 1981, “Characterization of quantifiers in the axiomatic theory of consequence”, in L. Borkowski and A. Stępień (Eds.), Studies in Logic and the Theory of Knowledge, Lublin: Towarzystwo Naukowe KUL, pp. 3739.

Cleave, J.P. 1991, A Study of Logics, Oxford: Clarendon Press 1991.

Feferman, S. 1999, “Logic, logics, and logicism”, Notre Dame Journal of Formal Logic 40, pp. 31–54.

Gabbay, D.M. 1994, “What is a logical system?”, in D.M. Gabbay (Ed.), What is a Logical System, Oxford: Clarendon Press, pp. 179–238.

Grandy, R. 1977, Advanced Logic for Applications, Dordrecht.

Haack, S. 1978, Philosophy of Logics, Cambridge: Cambridge University Press.

Hacking, I. 1979, “What is logic?”, The Journal of Philosophy 76, pp. 285–319.

Pogorzelski, W.A. 1994, Notions and Theorems of Elementary Formal Logic, Białystok: Warsaw University – Białystok Branch.

Quine V. Van 1970, Philosophy of Logic, Englewood Cliffs: Prentice-Hall.

Rescher, N. 1969, Many-Valued Logic, New York: McGraw-Hill.

Segerberg, K. 1982, Classical Propositional Operators, Oxford: Clarendon Press.

Shapiro, S. 1991, Foundations Without Foundationalism. The Case for Second-Order Logic. Oxford: Clarendon Press.

Shapiro, S. (Ed.), 1996, The Limits of Logic. Aldershot: Dartmouth.

Stekeler-Weithofer, P. 1986, Grundprobleme der Logik. Elemente einer Kritik der formalen Vernuft, Berlin: Walter de Gruyter.

Surma, S.J. 1981, “The growth of logic out of the foundational research in mathematics”, in E. Agazzi (Ed.), Modern Logic – A Survey. Historical, Philosophical, and Mathematical Aspects of Modern Logic and its Applications, Dordrecht: D. Reidel, pp. 15–33.

Surma, S.J. 1994, “Alternatives to the consequence-theoretic approach to metalogic”, Notas de Logica Matematica 39, pp. 1–30.

van Benthem, J. 1994, “General Dynamic Logic”, in D.M. Gabbay (Ed.), What is a Logical System, Oxford: Clarendon Press, pp. 107–139.

Woleński, J. 1994, “In defence of the first-order thesis”, in P. Kolaŕ and V. Svoboda (Eds.), Logica’93, Praha: Filosofia, pp. 1–11.

Woleński, J. 1995, “Logicism and the concept of logic”, in I. Max and W. Stelzner (eds.), Mathematik und Logik. Frege-Kolloquium Jena 1993, Berlin: Walter de Gruyter, pp. 111–119.

Woleński, J. 1995, “Mathematics and logic”, in W. de Pauli-Schimanowich, E. Köhler and F. Stadler (Eds.), The Foundational Debate, Dordrecht Academic Publishers, pp. 197–210.

Woleński, J. 1999, “Logic from a metalogical point of view”, in E. Orłowska (Ed.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Berlin: Physica-Verlag, pp. 25–35.

ISSN: 2300-9802 (electronic version)