References

Anderson, A. R.lBelnap, N. (1975, Ent) Entailment. The Logic of Relevance and Necessity. Princeton: Princeton Univ.

Press. Anselm of Canterbury (Ver) De veritate. Uber die Wahrheit. Lat.-deutsche Ausgabe von. P. Franciscus

Salesius Schmitt O.S.B. Stuttgart-Bad Cannstatt: Friedrich Fromann Verlag (Gunther Holzboog). 1966

Apostel, L. (1972, Neg) Negation. The tension between ontological positivity and anthropological nega­

tivity. In: Logique et Analyse 15, pp. 209-317. Aristotle (APo)

(Met) (Cat)

(Her)

"Analytica Posteriora." In: Prior and Posterior Analytics, intr. comm. W. D. Ross. Oxford 1957. Metaphysics. Intr. comm. W. D. Ross. Oxford: Clarendon Press 1958. Aristotle's Categories and De Interpretatione. Transl. with notes by John Lloyd Ackrill. Oxford: Clarendon 1974. Peri Hermeneias. Obers. und erlautert von Hermann Weidemann. Flashar, Hellmut (ed.). Berlin: Akademie Verlag 1994.

(Phys) Physics. Intr. comm. W. D. Ross. Oxford 1950. Armstrong, D. M. (1997, WSA) A World of States of Affairs. Cambridge Univ. Press. Augustin (Sol)

(DVR)

Ayer, A. J.

Soliloquia. (Soliloquiorum libri duo.) Alleingespriiche. In deutscher Sprache von Perl, Carl Johann. Paderborn: SchOningh 1955. "De Vera Religione." In: Theologische Friihschriften. Ruegg, W. (ed.). Thimme, W.: "Obers. und erl. Zurich: Artemis Verlag 1962, pp. 364-553.

(1954, CTr) "The Criterion ofTrutb." In: Macdonald, Margaret (ed.): Philosophy and Analy-sis 3 (1935) 1. Oxford: Basil Blackwell, pp. 237-241.

(1960, LTL) Language, Truth and Logic. London: Gollancz. Barrett, M. (1995, ELD) "Early lexical development." In: Fletcher, P.lMac Whinney, B. (eds.): The

Handbook of Child Language, pp. 362-392. Behmann, H. (1931, WLM) "Zu den Widerspriichen der Logik und der Mengenlehre." In: Jahresbericht

der Deutschen Mathematiker-Vereinigung 40, pp. 37-48.

208 REFERENCES

Bellert,I. (1989, FSQ) Feature Systems/or Quantification Structures in Natural Language. Foris PUbl.,

Dordrecht. Bencivenga, E. (1983, CSL) "Compactness ofa Supervaluational Language." In: Journal o/Symbolic Logic

48, pp. 348-386. (1986, FLg) "Free Logics." In: D. GabbaylF. Guenthner (eds.): Handbook 0/ Philosophi­

cal Logic, Vol. III, pp. 373-426. Benthem, J. van (1984, FCL) "Foundations of Conditional Logic." In: Journal o/Philosophical Logic 13,

pp.303-349. (1988, MIL) A Manual o/Intensional Logic, CSLI Stanford. Bernays, P. (1942, UBG) "Review: Max Steck, Ein unbekannter Brief von Gottlob Frege." In: Journal

o/Symbolic Logic 7, p. 92. Berry, M. V.lPercival, I. C./Weiss, N. O. (1987, DCh) Dynamical Chaos, Proceedings o/the Royal Society London, Vol. 413. Beth, E. W. (1953, PMT) "On Padoa's Method in the Theory of Definition." In: Indagationes Mathe-

maticae 15, pp. 330-339. (1962, FMd) Formal Methods. Dordrecht. (1965, FMt) The Foundations o/Mathematics. Amsterdam. Black, M. (1949, LPh) Language and Philosophy. Studies in Method. Ithaca, New York: Cornell Univ.

Press 1949 (1960). (1962, MMt) Models and Metaphors. New York. Bochenski, J. M. (1948,OAn) "On Analogy." In: The Thomist 11, pp. 474-497. (1959, LPS) Logisch-Philosophische Studien. Freiburg. (1961, HFL) History o/Formal Logic. Indiana: Notre Dame. (1962, FLg) Formale Logik. Freiburg. (1965, LgR) The Logic 0/ Religion. New York. Bolzano, B. (1929, WSL) Wissenschaftslehre, 4 vols. HOfer, A.lSchultz, W. (eds.): Leipzig I-II 1929, III

1930, IV 1931. (1972, ThS) Theory 0/ Science (trans I. of the Wissenschaftslehre). George, Rolf (ed. and

transl.). Berkely: University of California Press. Borkowski, L. (1977, FLg) Formale Logik. Logische Systeme. Einfohrung in die Metalogik. Ein Lehrbuch.

Hg. v. Lothar Kreiser. Miinchen: Beck. Bradley, R.lSwartz, N. (1979, PWs) Possible Worlds. Oxford: Blackwell. Breuer, Th. (1996, SDQ) "Subjective Decoherence in Quantum Measurements." In: Synthese 107, pp.

1-17. Brentano, F. (1955, PES) Psychologie vom empirischen Standpunkt. I, Hamburg 1955, II, Hamburg 1959. (1955, USE) Vom Ursprung sittlicher Erkenntnis. Kraus, Oskar: ed. Hamburg: Felix Meiner

Verlag.

REFERENCES 209

(1956, LRU) Die Lehre vom richtigen Urteil. Mayer-Hillebrand, F. (ed.): Bern. (1960, MBS) Von der mannigfachen Bedeutung des Seienden nach Aristoteles. Darmstadt. (1966, ANR) Die Abkehr vom Nichtrealen. BernlMiinchen. (1971, TEV) The True and the Evident. Ed. and transl. by R. M. Chisholm et al. London. Bunge, M. (1973, MMM)Method, Model and Matter. Dordrecht: Reidel. (1974, TBP) Treatise on Basic Philosophy,Vol. I: Semantics I: Sense and Reference.

Dordrecht: Reidel. (1974, TBP) Treatise on Basic Philosophy,Vol. II: Semantics II: Interpretation and Truth.

Dordrecht: Reidel. (1977, TBP) Treatise on Basic Philosophy,Vol. III: Ontology I: The Furniture ofthe World.

Dordrecht: Reidel. (1983, TBP) Treatise on Basic Philosophy,Voi. VI: Epistemology and Methodology II:

Understanding the World. Dordrecht: Reidel. (1989, TBP) Treatise on Basic Philosophy,Vol. VIII: The Good and the Right. Dordrecht:

Reidel. Busch, P.lLahti, P.lMittelstaedt, P. (1991, QTM) Quantum Theory of Measurement. Berlin: Springer. Cain, J./Damnanovic, Z. (1991, WKS) "On the Weak Kleene Scheme in Kripke's Theory of Truth." In: Journal of

Symbolic Logic 56, pp. 1452-1468. Carnap,R. (1956, MgN) (1959,ISF) (1959, LSL) (1960, ESL) Chapuis, A.

Meaning and Necessity. Chicago. Introduction to Semantics and Formalization of Logic. Cambridge, Mass. The Logical Syntax of Language. London. Einfohrung in die symbolische Logik. Vienna.

(1993, CTL) Circularity Truth and the Liar Paradox. UMI Dissertation Service. (1996, ART) "Alternative Revision Theories of Truth". In: Journal of Philosophical Logic

25, pp. 399-423. Church,A. (1950, CAS) "On Camaps Analysis of Statements of Assertion and Belief." In: Analysis 1 0,

pp.97-99. (1951, FLS) "A Formulation ofthe logic of Sense and Denotation." In: Structure, Method

and Meaning. Essays in honor of Henry M. Scheffer, pp. 3-24. (1951, MiL) "Minimal Logic." In: Journal of Symbolic Logic 16, p. 239. (1951, WTI) The Weak Theory ofImplication. In: Kontrolliertes Denken. Menne, Albert

(ed. et al.). FreiburglBrsg.: Kommissionsverlag K. Alber, pp. 22-37. (1958,OnC) "Ontological Committment." In: The Journal of Philosophy 55, pp. 1008-

1014. (1962; IML) Introduction to Mathematical Logic. Princeton. Cocchiarella, N. B. (1966, LPA) "A Logic of possible and actual objects." In: Journal o/Symbolic Logic 31, p.

688. Copi, I. (1967, SLg) Symbolic Logic. New York. Craig, W. (1957, TUH) "Three Uses of the Herbran~entzen Theorem in Relating Model Theory

and Proof Theory." In: Journal o/Symbolic Logic 22, pp. 269-285.

210

Curry, H. B. (1952, DSR)

(1957, TFD) (1958, CFS) (1959,IFI)

REFERENCES

"On the Definition of Substitution, Replacement, and Allied Notions in an Abstract Fonnal System." In: Revue Philos. Louvain 50, pp. 251-269. A Theory of Formal Deducibility. Notre Dame. "Calculuses and Fonnal Systems." In: Dialectica 12, pp. 249--273. The Interpretations offonnalized implication. Penn. State: 1959. In: Theoria, Vo!. XXv, I.

(1963, FML) Foundations of Mathematical Logic. New York. Curry, H. B.lFeys, R. (1958, CLg) Combinatory Logic. Amsterdam. David, M. (1994, CDg) Correspondence and Disquottion. Oxford. Davidson, D. (1984, ITI) Inquiries into Truth and Interpretation. Oxford. Diogenes, Laertius (LEP) Lifes of Eminent Philosophers, eng!. trans!. by R. D. Hicks, 2 Vis. London 1950. Dunn, M. (1986, RLE) "Relevance Logic and Entailment." In: Gabbay, D. M.lGuenthner, F.: Hand­

book of Philosophical Logic, Vo!. III. Dordrecht: Reidel, pp. 117-224. Einstein, A.lPodolski, B.lRosen, N. (1935, CQD) "Can Quantum-mechanical description of physical reality be considered com­

plete." In: Physical Review 47, pp. 777-780. Etchemendy, J. (1988, TTL) "Tarski on truth and logical consequence." In: The Journal of Symbolic Logic

53, pp. 51-79. Feyerabend, P. K. (1965, MST) "On the 'Meaning' of Scientific Tenns." In: The Journal of Philosophy 62, pp.

266-274. (1970, CSP) "Consolations for the Specialist." In: Lakatos-Musgrave (eds.): Criticism

and the Growth of Scientific Knowledge. Cambridge: Univ. Press, pp. 197-230.

(1978, WRA) Der wissenschafistheoretische Realismus und die Autoritiit der Wissenschafien. Braunschweig: Vieweg.

Field, H. (1972, TTT) "Tarski's theory of truth." In: The Joumal of Philosophy 69, pp. 347-375. Fine, K. (1982, FOM) "First Order Modal Theories III - Facts". In: Synthese 53, pp. 43-122. (1992, AoM) "Aristotle on Matter." In: Mind 101, No. 401, pp. 3>-58. Fraassen, B. C. van (1969, PSF) "Presuppositions, supervaluations and free logic." In: Lambert, K. (ed.): The

Logical Way of Doing Things. Yale Univ. Press, New Haven, pp. 67-91. (1991, QuM) Quantum Mechanics. An Empiristic View. Oxford: Clarendon Press. Frege, G. (1892, SuB) "Uber Sinn und Bedeutung." In: ZeitschriJt f Philos. u. phi/os. Kritik, NF

100, pp. 2>-50. Eng!. Trans!. in: Geach Black: Translation from the Philo­sophical Writings of Gottlob Frege. Oxford.

(1966, LgU) Logische Untersuchungen. Patzig, Gunther: ed. Gottingen: Vandenhoeck & Ruprecht.

(1967, BLA) The Basic Laws of Arithmetic. Trans!. and ed. by Furth, M., Los Angeles.

REFERENCES 211

(1969, NGS) Nachgelassene Schriften. Hermes, H.lKambartel, F.lKaulbach, F. (eds.). Ham­burg.

(1970, TPW) Translationfrom the Philosophical Writings o/Gottlob Frege. Geach, P.lBlack, M.(eds.): Oxford.

(1979, PHW) Posthumous Writings. Hermes, H.lKambartel, F.lKaulbach, F.: eds. Translated by Long, Peter and White, Roger. Oxford: Basil Blackwell.

(1984, CPM) Collected Papers on Mathematics. Logic and Philosophy. McGuinness, B. (ed.): Oxford.

Gentner, D. (1982, WNL) "Why nouns are learned before verbs. "In: Kuczaj, S.A. (ed.): Language De­

velopment, Hillsdale, N.J.: LEA, pp. 313-335. GOdel, K. (1944, RML) "Russell's Mathematical Logic." In: Schilpp, E. (ed.): The Philosophical 0/

Bertrand Russell. New York, pp. 125---153. Gopnik, A.lChoi, S. (1995, NRW) "Names, relational words, and cognitive development in English and Korean

speakers: nouns are not always learned before verbs." In: Tomasello/Merriman (1995, BNT).

Griffin (1977, Rid) Relative Identity. Oxford. Gupta,A. (1993, CDt) "A Critique of Deflationism." in: Philosophical Topics 21, pp. 57-81. Gupta, A.lBelnap, N. (1993, RTT) The Revision Theory o/Truth. Cambridge, Massachusetts: The MIT Press. Haking, S. (1994, NBC) "The No-Boundary Condition and the Arrow of Time". In: Halliwell, J. J. et

al.: Origins o/Time Asymmetry. Cambridge Univ. Press 1994, pp. 346-357. Halbach, V. (1996, A WT) Axiomatische Wahrheitstheorien. Berlin: Akademie Verlag. (1999, DIC) "Disquotationalism and Infinite Conjunctions." In: Mind 108, 429 (1999), pp.

1-22. Hanson, N. R. (1958, PDC) Patterns of Discovery. Cambridge. Hartmann, N. (1965, GLO) Zur Grundlegung der Ontologie. Berlin: De Gruyter (4. Auflage). Havas, P. (1964, FDF) "Four Dimensional Formulations of Newtonian Mechanics and their Relation

to the Special and General Theory of Relativity." In: Review o/Modern Phys­ics 36, pp. 938-965.

Heisenberg, W. (1948, BAT) "Der Begriff' Abgeschlossene Theorie' in der modernen Naturwissenschaft."

In: Dialectica 2, pp. 331-336. Hilbert, D.lAckennann, W. (1959, GZT) Grundziige der theoretischen Logik. Berlin. Hintikka, K. J. J. (1956, IVI) "Identity, Variables and Impredicative Definitions." In: Journal 0/ Symbolic

Logic 21, pp. 225---245. (1959, EPE) "Existential Presuppositions and Existential Commitments." In: The Journal

0/ Philosophy 56, pp. 125---137.

212 REFERENCES

(1962, KaB) Knowledge and Belief Ithaca. (1969, MMd) Modelsfor Modalities. Dordrecht. (1973, CSR) "Camap's Semantics in Retrospect." In: Synthese 25, pp. 372-397. (1973, TaN) TIme and Necessity. Oxford. (1976, CTT) "A Counterexample to Tarski-Type Truth-Definitions as Applied to Natural

Languages." In: Kasher, A. (ed.): Language in Focus. Dordrecht: Reidel, pp. 107-112.

(1991, DTW) Defining Truth, the whole Truth and Nothing But the Truth. Reports from the Department of Philosophy, University of Helsinki.

(1996, PMR) The Principle of Mathematics Revisited. Cambridge: Cambridge U.P. Horn, L. R. (1989, NHN) A Natural History of Negation. Chicago: Chicago U.P. Horwich, P. (1990, Tru) Truth. Oxford. (1997, IDA) "Implicit Definition, Analytic Truth, and Apriori Knowledge." In: Nous 31

(1997), pp. 42~40. Hoyningen Huene, P. (1993, RSR) Reconstructing Scientific Revolutions. Thomas S. Kuhn's Philosophy of Sci­

ence. Chicago: Chicago U.P. Hughes, G. E. (1982, BSR) John Buridan on Self-Reference, Chapter Eight of Buridan 's 'Sophismata '.

Transl. with comm. Cambridge. Hummer, P./wimmer, H.lAntes, G. (1993,ODN) "On the origins of denial negation." In: J. Child. Lang. 20, pp. 607-{)18. Husser!, E. (1901, LgU) Logische Untersuchungen. Vol. II (Halle a. d. S. 1901, Vol. II11, second edi­

tion: Halle a. d. S. 1913, Vol. 1112, second edition: Halle a. d. S. 1921. Niemeyer, Max 1922 (Vol. 3).

(1929, FTL) Formale und transzendentale Logik. Halle. (1984, HUS) Husserliana. Vol. XIX/I and Vol. XIXl2: The Hague-Boston-Lancaster. Jacquette, D. (1996, VPM) "The Validity Paradox in Model S5." In: Synthese 109, pp. 47-{)2. Juhos,B. (1956, PNA) "Der 'positive' und der'negative' Aussagengebrauch." In: Studium Generale

9, pp. 78---S5. Kamitz, R. (1992, SKW) "Alfred Tarski: Die semantische Konzeption der Wahrheit." In: Speck, J.

(ed.): Grundprobleme der grofJen Philosophen, Vol VI, Gottingen:

Kant, I. (CPR)

(Log)

Kastil, A.

Vanderhoeck.

Critique of Pure Reason. Smith, Norman Kemp: transl. New York: S. Martin's Press 1965. Logic. Hartmann, Robert/Schwarz, Wolfgang: transl. Indianapolis: Bobbs­Merrill 1974.

(1951, PFB) Die Philosophie Franz Brentanos. Miinchen: Lehnen. Ketland, J. (1999, DTP) "Deflationism and Tarski's Paradise." In: Mind 108, 429 (1999), pp. 69-

94.

REFERENCES 213

Kirkham, R.L. (1992, TTr) Theories of Truth. A Critical Introduction. Cambridge Mass.: MIT Press. Kleene, S. C. (1952, IMM) Introduction to Metamathematics. Amsterdam. Kordig (1971, JSC) The Justification of Scientific Change. Dordrecht: Reidel. Kreisel, G. (1981, BMD) "Zur Bewertung mathematischer Definitionen." In: Morscher, E. /Neumaier,

O./Zecha, G. (eds.): Philosophie als WissenschaftlEssays in Scientific Philo­sophy. Bad Reichenhall, pp. 185-209.

Kreisel, G.lTakeuti, G. (1974, FSR) "Formally Self-Referential Propositions for Cut-free Classical Analysis and

Related Systems." In: Dissertationes Mathematicae. 118, pp. 4-50. Kripke, S. (1972, NaN) "Naming and Necessity." In: Davidson, D.lHarmann, G. (eds.): Semantics of

Natural Languages. Dordrecht, pp. 253-355 and 763-769. (1975, OTT) "Outline of a Theory of Truth." In: Journal of Philosophy 72, pp. 690-

716. Kubinski, T. (1965, TKQ) "Two Kinds of Quotation Mark Expressions in Formalized Languages." In:

Studia Logica 17, pp. 31-47. Kuhn, Th. (1962, SSR) The Structure of Scientific Revolutions. Chicago: Univ. Press. Kutschera, F. v. (1973, ELN) Einfohrung in die Logik der Normen, Werte und Entscheidungen. Freiburgl

Munchen: Verlag Karl Alber. (1974, InS) Intensional semantics for natural Languages. In: ISILC, Logic Conference

Proceedings of the Internat. Summer Institute and Logic Colloquium. Kiel, pp. 445-459.

Ladriere, J. (1957, LIF)

Lambert, K.

Les Limitations internes des formalismes. Louvain: Nauwelaerts; Paris: Gauthier-Villars.

(1958, NtE) "Notes on 'E', I." In: Philosophical Studies 9 (1958), pp. 60-63. (1983, MPI) Meinong and the Principle of Independence. Cambridge. (1987, PFF) "On the philosophical Foundations of free description theory." In: History

and Philosophy of Logic, 8, pp. 57-66. Leblanc, H.lHailperin, Th. (1959, NDS) "Nondesignating Singular Terms." In: Philosophical Review, Bd. 68. Ithaca,

N. Y.: Cornell Univ. Press, pp. 239-243. Leblanc, H.lThomason (1968, CTP) "Completeness theorems for some presupposition-free logics." In: Fundamenta

Mathematicae 62, pp. 125-164. Lehrer, K. (1974, Kno) Knowledge. Oxford: Clarendon Press. (1990, TKn) Theory of Knowledge. London: Routledge. Leibniz, G. W. (GP) Die philosophischen Schriften von G. W Leibniz. Gerhardt, C. I. (ed.): 7 Vols.,

Berlin 1875.

214 REFERENCES

(NEH) New Essays on Human Understanding. Trans!. by Remnant, P. and Bennet, J. Cambridge: Cambridge Univ. Press 1981.

Lejewski, C. (1958, IDf) (1967, TNI)

Lesniewski, S.

"On Implicational Definitions." In: Studia Logica VIII, pp. 189-211. "A Theory of Non-Reflexive Identity and its Ontological Ramifications".In: P. Weingartner (ed.): Grundfragen der Wissenschaften und ihre Wurzeln in der Metaphysik. Salzburg: Pustet 1967.

(1929, GZN) "Grundzuge eines neuen Systems der Grund1agen der Mathematik." In: Fundamenta Mathematicae 14, pp. 1-81. Eng!. trans!. in: Surma, S. J.I Srzednicki, J. T.lBarnett, D. I.IRickey, V. F. (eds.): Stanisbw Lesniewski: Collected Works Vo!. II. pp. 410-605.

(1931, DST) "Uber Definitionen in der sogenannten Theorie der Deduktion." In: Comptes Rendus des Seances de la Societe des Sciences et des Lettres Varsovie, vo!' 24, pp. 289-309. Eng!. trans!' in: Surma, S. J.lSrzednicki, J. T.!Barnett, D. I.I Rickey, V. F. (eds.): Stanisl"aw Lesniewski: Collected Works Vo!' II. pp. 629-648.

(1938, EBF) "Einleitende Bemerkungen zur Fortsetzung meiner Mitteilung u. d. T. 'Grundzuge eines neuen Systems der Grundlagen der Mathematik'." In: Collectanea Logica, vo!' I, pp. 1-60. Eng!. trans!' in: Surma, S. J.lSrzednicki, J. T.lBarnett, D. I.IRickey, V. F. (eds.): Stanisl"aw Lesniewski: Collected Works Vo!. II. pp. 649-710.

Lewis, C. I.ILangford, C. H. (1932, SLg) Symbolic Logic. New York: The Century Company. Lighthill, J. (1986, RRF) "The Recently Recognized Failure of Predictability in Newtonian Dynam­

ics." In: Proceedings of the Royal Society London 407, pp. 235-250. Linde, A. (1990, IQC) Inflation and Quantum Cosmology. Academic Press. Locke, J. (1959, EHU) An Essay Concerning Human Understanding. Fraser, A. C. (ed.): 2 Vols. Ox­

ford 1894. New York: Dover Publications, Inc. Lorenzen, P. (1950, KBM) "Konstruktive Begrfindung der Mathematik." In: Mathematische Zeitschrift

53, pp. 162-201. (1959, BBD) "Uber die Begriffe 'Beweis' und 'Definition'." In: Heyting, A. (ed.): Con­

structivity in Mathematics. Amsterdam, pp. 169-177. Lukasiewicz, J. (1930, PBM) Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalkiils.

Comptes Rendus des Seances de la Societe des Sciences et des Lettres de Varsovie, c!. III. 23, pp. 51-77.

(1936, BLA) "Bedeutung der logischen Analyse fUr die Erkenntnis." In: Acfes du 8. Congl: Int. de Phi/os. a Prague. Prag, pp. 75-84.

Luschei, E. G. (1962, LSL) The Logical System of Lesniewski. Amsterdam. Margenau, H. (1950, NPR) The Nature of Physical Reality. New York. Martin, R. L. (1984, RET) Recent Essays on Truth and the Liar Paradox. Oxford: Oxford University Press.

REFERENCES 215

Mates, B. (1965, PSS) "Pseudo-Scotus on the Soundness of Cons equenti a." In: Tymicmieka, T. M.

(ed.): Contributions to Logic and Methodology in Honour of J. M Bochenski. Amsterdam.

McGee, V. (1992, MCS) "Maximal Consistent Sets ofInstances of Tarski's Schema (T)." In: Journal

of Philosophical Logic 21, pp. 235-241. McKinsey, J. C. C.iTarski, A. (1948, TSC) Some Theorems about the Sentential Calculi of Lewis and Heyting.In: Jour­

nal of Symbolic Logic 13, pp. 1-15. Meinong,A. (1973, SGS) "Uber die Stellung der Gegenstandstheorie im System der Wissenschaften."

In: Uber philosophische Wissenschaft ... und andere Werke, Gesamtausgabe, Vol. V. Graz, pp. 197-365.

(1977, DAn) Uber Annahmen. Leipzig 1902, second edition: Leipzig 1910; Gesamtausgabe, vol. IV. Graz 1977.

Mill, J. S. (SLg) Miller, D. (1974, CFT)

System of Logic, Ratiocinative and Inductive. London 1961 (1843).

"On the Comparison of False Theory by Their Bases." In: British Journal for the Philosophy of Science 25, pp. 178-188.

(1974, PQT) "Popper's Qualitative Theory of Versimilitude." In: British Journal for the

(1975, APr) (1978, DBC) (1978, DTT)

Philosophy of Science 25, pp. 166-177. "The Accuracy ofPredictons." In: Synthese 30, pp. 159-191. "The Distance between Constituents." In: Synthese 38, pp. 197-212. "On Distance from the Truth as a True Distance." In: Hintikka et al. (eds.): Essays on Mathematical and Philosophical Logic. Dordrecht, pp. 415-435.

(1994, CRR) Critical Rationalism. A Restatement and Defense. Chicago: Open Court. Mittelstaedt, P. (1993, MIl) "Measurement Induced Interrelations between Quantum Theory and its Inter­

pretation. " In: Busch, P.lMittelstaedt, P.iLathi, P. (eds.): Proceedings of the Symposim on Modem Physics 1993. Singapore: World Scientific.

Montague, R. (1970, PIL) "Pragmatics and Intensional Logic." In: Dialectica 24, pp. 277-302. Moreno, L. F. (1992, WKT) Wahrheit und Korrespondenz bei Tarski. Wiirzburg: Konigshausen & Neumann. Morris, Ch. (1950, SLB) Signs. Language and Behaviour. New York: Prentice Hall. Morscher, E. (1972, BMG) "Von Bolzano zu Meinong: Zur Geschichte des logischen Realismus." In:

Haller, R. (ed.): Jenseits von Sein und Nichtsein. Graz: Akademische Druck­und Verlagsanstalt, pp. 69-102.

(1974, BSy) Bolzano-Symposion 'Bolzano als Logiker' am 17. und 18. Dezember 1973. AnlaBlich des 125. Todestages Bernard Bolzanos (+ 18. Dezember 1848). Wien: Verlag der Osterr. Akademie der Wissenschaften.

(1974, PLB) "Philosophische Logik bei Bernard Bo1zano." In: (1974, BSy), pp. 77-105. Morscher, E.lSimons, P. M. (1989, MTM) "Meinong's Theory of Meaning." In: Simons, P. M. (ed.): Essays on Meinong.

Miinchen: Philosophia.

216 REFERENCES

Myhill, J.

(1950, SDT) "A System which can Define its own Truth." In: Fundamenta Mathematicae 37, pp. 190-192.

Nicod, J. (1917, RNP) "A Reduction in the Number of the Primitive Propositions of Logic." In: Pro­

ceed. Camb. Phil. Soc. 19, pp. 32-41. Niiniluoto, 1. (1978, TFO) "Truthlikeness in First-Order Languages." In: Hintikka, J. (et al eds.): Essays

on Mathematical and Philosophical Logic. Dordrecht: Reidel, pp. 437-458. (1987, TLN) Truthlikeness. Dordrecht: Reidel. (1998, VTP) "Verisimilitude: The Third Period." In: The British Journal for the Philosophy

of Science 49, 1; pp. 1-29. Ockham, W. V. (TPP) The Tractatus de Praedestinatione et de Praescientia Dei et de Futuris

Contingentibus. Boehner, Ph. v. (ed.), New York 1945. (SLg) Summa Logicae. Pars Prima, ed. by Boehner, Rh. New York 1957. Engl. Transl.

by M. J. Loux, Notre Dame 1974. Oddie, G. (1986, LIT) Likeness to Truth. Dordrecht: Reidel. Pap,A. (1955, AET) Analytische Erkenntnistheorie. Wien. (1958, SNT) Semantics and Necessary Truth. New Haven: Yale Univ. Press. Pascal, B. (1963, EGA) "De I' esprit geometrique et de I' art de persuader." In: Oeuvres completes. Paris:

Editiones du seuil, pp. 348-359. Paulus Venetus (LMg) Logica Magna. 2 Vols.,Venice 1499. Peirce, C. S. (1958, CPC) Collected Papers of Charles Sanders Peirce. Hartshorne, C.lWeiss, P.I

Burks, A. (eds.), Vol. I-III, Harvard 1958-1960. Perner, J. (1991, URM) Understanding the Representational Mind. Cambridge MA: M.I.1. Press. Plantinga, A. (1974, NtN) The Nature of Necessity. Oxford: Clarendon Press. Platon (1953, DPI) The Dialogues of Plato, transl. by B. Jowett, M. A. Oxford Univ. Press. Popper, K. R. (1934, LgF) Logik der Forschung. Tfibingen. 10. Aufl. 1994. (1955, NTD) "A Note on Tarski's Definition of Truth." In: Mind 64 N. S., pp. 388-391. (1959, LSD) The Logic of Scientific Discovery. London: Hutchinson. (1963, CND) "Creative and Non-Creative Definitions in the Calculus of Probability." In:

Synthese 15, pp. 167-186. (1963, CRt) Conjectures and Refutations. London. (1967, RDN) "A Revised Definition of Natural Necessity." In: British Journalfor the Phi­

losophy of Science 18, pp. 316-321. (1968, TOM) "On the Theory of the Objective Mind." In: Proceedings of the 14th Interna­

tional Congress of Philosophy. Vol. I, Vienna, pp. 25-53. (1969, EKS) "Epistemology Without a Knowing Subject." In: Rootselaar, B. v. (ed.): Logic,

Methodology and Philosophy of Science 3. Amsterdam, pp. 333-373.

REFERENCES 217

(1970, TVC) "Three Views Concerning Human Knowledge." In: The Foundations of Knowledge. Englewood Cliffs, pp. 93-123.

(1972,OKn) Objective Knowledge: An Evolutionary Approach. Oxford: Clarendon Press. (1972, PCT) "Philosophical Comments on Tarski' s Theory of Truth." In: Popper K. R. (1972,

OKn), pp. 319-335. (1974, PKP) The Philosophy of Karl R. Popper, ed. by P. A. Schilpp. (1976, NVS) "A Note on Versimilitude." In: British Journal for the Philosophy of Science

27, pp. 147-164. Popper, K. R.lEccles, J. (1977, SIB) The Self and its Brain. BerlinlHeidelbergiLondonlNew York: Springer. Prior,A. N. (1955, DRA) "Definitions, Rules and Axioms." In: Proceedings of the Aristotelian Society

56 (1955/56), pp. 199-216. (1957, TMd) TIme and Modality. Oxford: Clarendon. (1962, FLg) Formal Logic. Oxford. (1962, FOm) "The Formalities of Omniscience." In: Philosophy 37. London, pp. 114-129. Puntel, L.B. (1983, WNP) Wahrheitstheorien in der neueren Philosophie. Darmstadt: Wiss. Buch­

gesellschaft. Putnam, H. (1981, RTH) Reason. Truth and History. Cambridge: Univ. Press. Quine, W. V. O. (1939, DaE) "Designation and Existence." In: The Journal of Philosophy 36, pp. 701-709. (1949, ThC) "Truth by Convention." In: Feigl, H.lSellars, W.: Readings in Philosophical

Analysis. New York, pp. 25{}-273. (1951, LPV) From a Logical Point of View. Cambridge, Mass. (1952, ATT) "On an Application of Tarski's Theory of Truth." In: Proceedings of the Na-

tional Academy of Sciences 38, pp. 430-433. (1956, QPA) "Quantifiers and Propositional Attitudes." In: The Journal of Philosophy 53,

(1958, MLg) (1963, STL) (1970, PhL) (1990, PTr) Ramsey, F. P.

pp.I77-187. Mathematical Logic. Harvard. Set Theory and its Logic. Cambridge, Mass. Philosophy of Logic. Cambridge, Mass.: Harvard U.P. Pursuit of Truth. Cambridge, Mass.: Harvard U. P.

(1954, FMt) The Foundations of Mathematics and other Logical Essays. Braithwaite, R. B. (ed.). London 1954 (1931).

(1991,OTr) On Truth (ed. Rescher, N. and Majer, U.). Dordrecht. Rescher, N. (1969, MVL) Many-valued Logic. New York. (1973, CTT) The Coherence Theory of Truth. Oxford: Oxford U. P. (1979, LIP) Leibniz. An Introduction to his Philosophy. Oxford: Blackwell. (1995, SfR) Satisfying Reason. Studies in the Theory of Knowledge. Dordrecht/Bostonl

London: Kluwer Academic Publishers. Russell, B. (1940,IMT) An Inquiry into Meaning and Truth. London. (1948, HKn) Human Knowledge. its Scope and Limits. New York: Simon and Schuster. (1956,OPW) "On Propositions: What they are and how they mean." In: Russell, B.: Logic

and Knowledge, ed. R. Ch. Marsh, London, p. 305.

218 REFERENCES

(1962, PPh) The Problems of Philosophy. London, New York, Toronto: Oxford Univ. Press. Sankey, H. (1994, ITh) The Incommensuability Thesis. Aldershot and Sydney: Avebury. Scholz, H. (1964, MtU) Mathesis Universalis. Abhandlungen zur Philosophie als strenger Wissenschafl

(ed. Hennes, H.lKambartel, F.lRitter, J.) Dannstadt. Scholz, H.lHasenjager, G. (1961, GZM) Grundziige der mathematischen Logik. Berlin. Schurz, G. (1988, SAE) "Sprachabhangigkeit der Erkenntnis. Eine logischeAnalyse." In: Wohlgenannt,

R.lBorn, R. (eds.): Rejlexion und Wirklichkeit. Akten des ersten philosophischen Kongresses der osterreichischen Gesellschafl fiir Philosoph ie, 7.-9. Novem­ber 1986. WienlNew York: Springer.

(1991, RDd) "Relevant Deduction." In: Erkenntnis 35, pp. 391--437. (1995, QAE) "Ein quantenmechanisches Argument fur die Existenz konkreter Universalien."

In: Brandl, J. L et al. (ed.): Metaphysik. Neue Zugange zu alten Fragen. Academia, St. Augustin 1995, pp. 97-120.

(1998, RDR) "Revelance in Deductive Reasoning." In: Schurz, G.IUrsic, M. (eds.): Beyond Classical Logic. Academia Verlag, St. Augustin, pp. 9-56.

Schurz, G.lWeingartner, P. (1987, VDR) "Versimilitude defined by relevant consequence-elements." In: Kuipers, Theo

A. F. (ed.): What is Closer-to-the-Truth? Amsterdam: Rodopi, pp. 47-78. Scott, D. (1970, AML) "Advice in modal logic." In: Lambert, K. (ed.): Philosophical Problems in

Logic. Dordrecht: Reidel, pp. 143-173. Sextus Empiricus (AMt) "Adversus Mathematicos, book 1-6." In: Bury, R. G. (ed.): Sextus Empiricus

Bd. IV, Against the Professors, book 7-11, In: Ibid., Bd. II, Against the Logi­cians. Harvard Univ. Press 1961.

Siegwart, G. (1997, vtw) "Vorfragen zur Wahrheit. Ein Traktat tiber kognitive Sprachen." Mtinchen:

Skolem, Th. (1970, GFM)

Skynns, B. (1984, lAS)

(1968, SIE)

Smith, P.

Oldenburg.

"Uber einige Grundlagenfragen der Mathematik." Skrifter utgitt av det Norske Videnskaps-Akademi ii Solo 3 (1929), pp. 1--49. Reprinted in: Th. Skolem: Selected Works in Logik, ed.: Fenstad, J. E., Oslo 1970.

"Intensional Aspects of Semantical Self-Reference." In: Martin, R. L. (ed.) (1984, RET), pp. 119-131. "Super-valuations: Identity. Existence and Individual Concepts." In: Journal of Philosophy 69, pp. 477--482.

(1998, ATD) "Approximate Truth and Dynamical Theories." In: The British Journalfor the Philosophy of Science 49.2; pp. 253-277.

Stegmtiller, W. (1957, WPI) Das Wahrheitsproblem und die Idee der Semantik. Wien: Springer Verlag. (1975, HSG) Hauptstromungen der Gegenwartsphilosophie. Stuttgart. Strawson, P. F. (1948, Tru) "Truth." In: Analysis 9, 6 (1948), pp. 83-106.

REFERENCES 219

Introduction to Logic. Princeton Suppes, P. (1957,ILg) (1973, CMg) "Congruence of meaning." In: Proceedings and Addresses 0/ the Americann

Philosophical Association, o. O. Szaniawski, K. (ed.) (1989, VCL) The Vienna Circle and the Lvov-Warsaw School. Dordrecht: Kluwer. Tarski, A. (1935, MUD) "Einige methodo1ogische Untersuchungen tiber die Definierbarkeit der Be­

griffe." In: Erkenntnis 5 (1935/36), pp. 80-100. Eng!. Trans!. In: (1956, LMS). ( 1935, WBF) "Der Wahrheitsbegriff in den formalisierten Sprachen." In: Studia Philosophica

1. Lemberg (Lwow), pp. 261-405. (1944, SCT) "The Semantic Conception of Truth and the Foundations of Semantics." In:

Philosophy and Phenomenological Research 4, pp. 341-376. (1956, CLC) "On the Concept of Logical Consequence." Eng!. translation of "Uber den

Begriff der logischen Folgerung." In: Tarski (1956, LSM), pp. 409-420. (1956, CTF) "The Concept of Truth in Formalized Languages." In: Tarski (1956, LSM),

pp. 152-278. (1956, ESS) "The Establishment of Scientific Semantics." In: Tarski (LSM), pp. 401-408. (1956, FCM) "Fundamental Concepts of the Methodology of the Deductive Sciences." In:

Tarski (1956, LSM), pp. 60-109. (1956, LSM) Logic, Semantics, Metamathematics. Oxford: Clarendon Press. (1956, PTL) "On the Primitive Term of Logistic." In: Tarski (1956, LSM), pp. 1-23. Thomas Aquinas (AMC) In Duodecim Libros Metaphysicorum Aristotelis Expositio, ed. M. R. Cathala,

Marietti-Rome 1964. English translation: Commentary on the metaphysics of Aristotle. Translated by John P. Dowan, Vols. I and II. Chicago: H. Regnery

(EES) (SCG) (STh)

(Ver)

Tichy, P.

Company, 1961. De ente et essentia. German translation: Allers, R. Darmstadt, 1953. Summa Contra Gentiles. Ed. G. Pera et a!. Marietti-Rome, 1961. Summa Theologica, ed. P. Caramello, Marietti-Rome 1952. English translation: Cambridge: Blackfriars 1964. Quaestiones Disputatae de Veritate, ed. R. M. Spiazzi, Marietti-Rome 1964. English translation: The disputed questions on truth. Translated from the definite Leonine text. 3 Vo1s. Chicago: H. Regnery Company 1952, 1953, 1954.

(1974, PDV) "On Popper's Definitions ofVersimilitude." In: British Journal/or the Phi-losophy o/Science 25, pp. 155-165.

(1976, VRd) "Versimilitude Redefined." In: Synthese 38, pp. 175-196. Tomasello, M.!Merriman, W.E. (eds.) (1995, BNT) Beyond Names/or Things. Young Children's Acquisition 0/ Verbs. Hillsdale

N.J.: LEA. Truesdell/Toupin (1960, CFT) "The Classical Field Theories." In: Fltigge (ed.): Handbuch der Physik III, 1.

Heidelberg: Springer. Tugendhat, E.lWolf, U. (1983, LSP) Logisch-semantische Propiideutik. Stuttgart: Reclam. Vuillemin, J. (1996, NoC) Necessity or Contingency. The Master Argument. Stanford: CSL!.

220 REFERENCES

Wang, H. (1954, FMt) "The Formalisation of Mathematics." In: Journal of Symbolic Logic 19, pp.

241-266. (1963, SML) A Survey of Mathematical Logic. Amsterdam. Weingartner, P. (1971, BMS) "Bemerkungen zu Mallys spilter Logik." In: Wolf, K.IWeingartner, P. (eds.):

Ernst Mally: Logische Schriften. Dordrecht: Reidel, pp. 21-25. (1973, PCI) "A Predicate Calculus for Intensional Logic." In: Journal of Philosophical

Logic 2, pp. 230-303. (1974, CEM) "On the Characterization of Entities by means of Individuals and Properties."

In: Journal of Philosophical Logic 3, pp. 323-336. (1975, lIS) "On the Introduction of Intensions into Set Theory." In: przelecki-K., M.I

Wojcicki, Szaniawski-R. (eds.): Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences. Dordrecht.

(1976, WTh) Wissenschaftstheorie Vol. II, 1. Grundlagenprobleme der Logik und Mathematik. Stuttgart-Bad Cannstatt.

(1978, AAC) "An Attempt to Analyse the Concept ofWittgenstein's Meaning in Use." In: Leinfellner, E.lLeinfeliner, W./Berghel, H./Hubner, A. (eds.): Wittgenstein and his Impact on Contemporary Thought. Proceedings of the 2nd International Wittgenstein Symposium (Kirchberg 1977). Wien: Holder-Pichler-Tempsky, pp. 257-260.

(1979, AAS) "Analogy among Systems." In: Dialectica 33, pp. 335-378. (1980, NCS) "Normative Characteristics of Scientific Activity." In: Hilpinen, R. (ed.): Ra­

tionality in Science. Studies in the Foundations of Science and Ethics. Dordrecht: Reidel, pp. 209--230.

(1981, NIl) "A New Theory of Intension." In: Agassi, J.lCohen, R. S. (eds.): Scientific Phi­losophy Today. Essays in the Honor ofM Bunge. Dordrecht: Reidel, pp. 439-464.

(1982, CRB) "Conditions for the Rationality of Belief, Knowledge and Assumption." In: Dialectica 36, pp. 243-263.

(1983,IMS) "The Ideal of Mathematization of All Sciences and of 'More Geometrico' in Descartes and Leibniz." In: Shea, W. R. (ed.): Nature Mathematized. Pro­ceedings of the 3rd International Congress of History and Philosophy of Sci­ence (Montreal 1980). Dordrecht: Reidel, pp. 151-195.

(1983, NPR) "Normative Principles of Rational Communication." In: Erkenntnis 19, pp. 405--416.

(1985, SRC) "A Simple Relevance-Criterion for Natural Language and its Semantics." In: Dorn, G.IWeingarner, P. (eds.): Foundations of Logics and Linguistics: Prob­lems and their Solutions. Selected Contributions to the 7th International Con­gress of Logics, Methodology and Philosophy of Science (Salzburg 1983). New York: Plenum Press, pp. 563-575.

(1987,IPP) "Important Philosophical Problems and their Roots in Mathematics." In: Epistemologia 10, pp. 139--161.

(1988, RCT) "Remarks on the Consequence-Class of Theories." In: The Role of Experience in Science. Proceedings of the 1986 Conference of the Academie Internationale de Philosophie des Sciences (Bruxelles), held at the University of Heidelberg, pp. 161-180.

(1988, DRV) "Definitions in Russell, in the Vienna Circle and the Warsaw-Lemberg School." In: Szaniawski, K. (ed.): Proceedings of the Conference on Relations between the Vienna Circle and the Warsaw-Lemberg School, Warsaw 1986. Nijhoff 1988.

REFERENCES 221

(1991, NAT) "A Note on Aristotle's Theory of Definition and Scientific Explanation." In: Spohn W. (ed.): Existence and Explanation. Dordrecht, pp. 207-217.

(1993, LQM) "A Logic for QM based on Classical Logic." In: L 'art, la science et fa metaphysique. Bern: Peter Lang Verlag, pp. 439-458.

(1996, UWT) "Under what Transfonnations are Laws Invariant?" In: Weingartner, P.lSchurz, G. (eds.): Law and Prediction in the Light of Chaos Research. Berlin Heidelberg: Springer Verlag, pp. 47-88.

(1997, LCD) "Language and Coding Dependencies of Results in Logic and Mathematics." In: Agazzi, E./Darvas, G. (eds.): Philosophy of Mathematics Today. Dordrecht: Kluwer, pp. 73-87.

(1999, RFC) "Reasons for Filtering Classical Logic." In: Batens et al. (eds.): Frontiers of Paraconsistent Logic. London, pp. 325-338.

Weingartner, P.lSchurz G. (1986, PSS) "Paradoxes Solved by Two Simple Relevance Criteria." In: Logique et Ana­

lyse 113, pp. 3-40. (1998, WLE) "The Weakness of Logical Equivalence". In: Bulletin of the Section of Logic

27, Nr. 112, pp. 46-49. (1996, LPL) Law and Prediction in the Light of Chaos Research. Berlin: Springer. (1998, KRP) Koexistenz rivalisierender Paradigmen. Eine post-kuhnsche Bestandsaufnahme

zur Struktur gegenwiirtiger Wissenschaft. Wiesbaden: Westdeutscher Verlag. Whitehead, A. N.lRussell, B. (1927, PMt) Principia Mathematica. 3 Vols., Cambridge. Wigner, E.P. (1967, SaR) Symmetries and Reflections. Scientific Essays of Eugene P. Wigner. Moore,

W.J.lSGriven, M. (eds.). Bloomington: Indiana University Press. Wittgenstein, L. (1956, RFM) Remarks on the Foundations of Mathematics. Wright, G. H. vonlRhees, R.I

Anscombe, G. E. M.: eds. Anscombe, G. E. M.: transl. Oxford: Basil Black­well 1964 (Repr.). First printed in 1956.

(1960, TLP) Tractatus Logico Philosophicus. Engl. Transl. by Pears-McGuinness. Lon­don: Routledge.

(1961, NBk) Notebooks 1914-1916. Wright, G. H. vonlAnscombe, G. E. M.: eds.Anscombe, G. E. M.: transl. Oxford: Basil Blackwell.

(1969, TAB) Tagebiicher. In: Ludwig Wittgenstein: Schriften 1. FrankfurtlMain: Suhrkamp. Wolenski, J.lSimons, P. (1989, VAP) "De veritate: Austro-Polish Contributions to the Theory of Truth from Brentano

to Tarski." In: Szaniawski, K. (1989, VCL), pp. 391~42. Woodruff, P. (1984, SFL) "On supervaluations in free logic." In: Journal of Symbolic Logic 49, pp. 943-

950. Wright, G.H.v. (1959, LNg) "On the Logic of Negation." In: Societas Scientiarum F ennica. Commentationes

Physico-Mathematicae XXII, 4. pp. 1-30. Wybraniec-Skardowska (1989, ElL) "On the Eliminatibility ofIdeal Linguistic Entities." In: Studia Logica 48, pp.

587-615. Yaqub,A. M. (1993, LST) The Liar Speaks the Truth. A Defense of the Revision Theory of Truth. Oxford:

Oxford University Press.

Name index

Ackermann, W. 37 Anderson, A. R. 43, 181 Anselm of Canterbury 202 Antes, G. 11 Apostel, L. 167 Aristotle, viii, 3,4, 6, 7, 13, 14, 37, 39-42,

47, 68, 71, 72, 74, 77, 81, 87, 102, 103, 104, 108, 110, 113-115, 120, 147, 157, 158,165,171,182,195-204

Armstrong, D. M. 166 Augustine 82, 89, 196, 197,202 Avicenna 110 Ayer, A. J. 2, 6, 9, 15, 18

Baier, K. 158 Barret, M. 10 Behmann,74 Bellert, I. 52 Belnap, N. 43, 124, 135, 137, 181 Bencivenga, E. 38, 159 Benthem, J. van 40, 43, 181 Bernays,~ 55,69,199 Berry, M. V. 172 Beth, E. W. 28,42,55,64,68,69,71,74,75,

199 Black, M. 18,27,28,32 Bochenski,J.M. 14,43,84,87,98, 103, 132,

191,203 Bohr, N. 193 Boltzmann, L. 193 Bolzano, B. 37, 85, 86, 89, 105, 106, 157 Borkowski, L. 69 Boyle, R. 189, 193 Bradley, R. 90 Brentano, F. 2, 9, 12, 13, 14, 15,37,45,73,

74,77,83,103,111,150,157

Breuer, Th. 172 Bunge, M. x, 54, 113, 153, 156, 173, 177,

190, 193, 195 Buridan 132 Bush, P. 172

Cain, J. 125, 179 Cajetanus 98 Carnap, R. 9, 10, 13, 15,20,46,54,56,57,

58,60,66,67,86,87, 106 Chapuis, A. vii, ix, 135, 136 Choi, S. 11 Chrysippus 108, 147 Church,A. 38, 39,43,57,69, 122, 124, 149 Cocchiarella, N. 159 Cook 146 Copi, I. 36 Craig, W. 68 Curry,H.B.33,34,43,49,56, 71, 72

Darnnanovic, Z. 125, 179 Darwin, Ch. 194 David, M. vii, 124 Davidson, D. 123 DeMorgan 54, 100 Diodorus43 Diogenes Laertius 84, 109, 147 Dirac, J. P. 173, 178 Dorn, G. ix Dunn, M. 181

Eccles, J. 90, 157 Einstein, A. 172, 176, 189, 194 Etchemendy, J. 123, 124

Faraday, M. 194

224 NAME INDEX

Feyerabend, P. 175, 188, 190 Feys, R. 33, 73 Field, H. 117, 124, 125 Fine, K. 3, 166 Fraassen, B. C. van 66,143, 159 Frege, G. 17,23,27,31,34,37,48,55,69,

85,86,89,105,106,157,196,197,203

Galileo,G. 175f.189, 193 Gay-Lusac, 1. L. 189, 193 Gentner, D. 10 GOdel, K. 143, 144, 158, 179, 199 Gopnik, A. 11 Griffin, N. 39 Gupta, A. 124, 135, 137

Hailperin, Th. 38 Haking, S. 172,194 Halbach, V. x, 23 Hanson, N. R. 189 Hartmann, N. 89 Hasenjager, G. 34, 56 Havas, P. 190 Heisenberg, W. 38 Hilbert, D. 37, 55, 60, 69 Hintikka, K. 1. J. 38, 40, 54, 74, 123, 145-

147 Horn, L. R. 166 Horwich, P. 19,23 Hoyningen Huene, P. 188 Hughes, G. E. 132 Hummer, P. 11 Husserl, E. 89, 157

Isaiah 117, 118

Jaquette, D. 139 John, Saint 117 Juhos, B. 53, 122, 126

Kant, I. 1, 2, 5, 51, 52, 53, 82, 103 Kastil, A. 157 Kepler, J. 193 Kedand,J.23,25,26 Kirkham, R. L. vii, 26,116,117,121,141 Kleene,S.C.41,42,43, 144, 179 Kordig, C. R. 188 Korner, St. 182 Kreisel, G. x, 71, 78, 158, 179 Kripke, S. 39,54, 101,135, 143-147, 151,158

Kubinski, T. 23 Kuhn, Th. 175, 188, 194 Kutschera, F. V. 54, 89

Ladriere, J. 20 Lambert, K. 38,114 Langford, C. H. 42, 43 Leblanc, H. 38, 159 Lehrer, K. 21, 138 Leibniz, G. W. 14,54,66, 73, 74, 83, 100,

104, 141,202 Lejewski, C. 39, 65, 69 Leonard, H. S. 38 Lesniewski, S. viii, 30, 33, 35, 38, 57, 64,

65,68,69,70,71 Lewis, C. I. 42, 43 Liebmann, H. 55 Lighthill, J. 172 Linde, A. 172, 194 Locke, J. 1,2,5, 14,87, 88, 104, 107 Lorenzen, P. 31, 34, 69 Lukasiewicz, J. 31,41,42,69 Luschei, E. G. 73

Mach, E. 173 Mally, E. 38 Margenau, H. 189 Mariotte,E. 189, 193 Mates, B. 139 Matthew, Saint 117, 118 Maxwell, 1. C. 194 McKinsey, J. C. C. 43 Meinong, A. 114, 157, 159 Merriman, W. E. 11 Meyer, R. 181 Mill, J. St. 10,48, 78, 154 Miller,D.169,174, 177,178,180,181, 187,

188 Mittelstaedt, P. 172 Montague, R. 54 Moreno, L. F. 122, 126 Morris, Ch. 86 Morscher, E. ix, 37, 86, 157 Myhill, J. 143

Neumann, von J. 199 Newton, I. 55,97, 175f, 189, 190 Nicod, J. 35,37,69 Niiniluoto,l. 177-180

NAME INDEX 225

Ockham,VV.8, 14,40,41,45,74,75,76,77, 81,103,104,205

Oddie, G. 179

Pap, A. 22, 29, 30, 112, 123, 124, 149 Pascal, B. 70 Paulus Venetus, 19, 122, 126, 131, 132, 139,

205 Peano, G. 55 Peirce, C. S. 29,43-47,59, 77, 202 Percival, I. C. 172 Perner, J. 11 Philon 43 Planck, M. 193 Plantinga, A. 158 Platon 19, 157, 158 Poisson, S. D. 189 Popper ix, x, 6,29,30, 33,36,38,48,67,73,

90,116,120,142,155,157,159,164,174, 176, 179, 180, 187, 188, 192

Prior, A. N. 41, 42, 69, 70, 205 Putnam, H. 192

Quine, vv. v. o. 23, 24, 37, 38, 39, 46, 54, 57, 65, 78, 91, 120, 123, 124, 140, 142, 143, 149, 198

Ramsey, F. P. 18,23, 112, 123, 139, 140 Rescher, N. vii 42, 73, 112, 120, 123, 138,

139,150,152,162,164 Rijgersberg, R. x Routley, R. 181 Russell, B. 1,6,7, 10, 14,30,35,37,42,46,

47,55,58,64-66,69,70,74,75,83,84, 105, 109, 111, 140, 148, 150, 154, 166, 197, 199

Sankey, H. 188 Scholz, H. 34, 37, 56 SchrOdinger, E. 97, 164 Schurz, G. ix, 43, 66, 93,155, 169, 172, 180,

182-187, 189 Scott, D. 159 Sextus Empiricus 14,84 Sheffer H. M. 69, 70 Siegwart, G. 6, 14, 150 Simons, P. 13, 111, 157 Skolem, Th. 55 Skyrms, B. 136, 159 Smith, P. 178

Steck, M. 69 Stegmiiller, vv. x, 5,13,21,22,57, 157 Stoics 84, 105 Straroson, P. F. 18,28 Suppes,~49,64,67, 71,92 Swartz, N. 90

Takeuti, G. 179 Tarski, A. vii-ix 4, 5, 8, 13, 15, 20--28, 36,

43,48,49,57,61,64,69, 71, 86, 88, 89, 92,101,107,109,112,115-126,128,129, 139-149, 151, 153, 176, 186, 197, 198, 203,205

Thomas Aquinas, St. 3, 4,14,32,41,47,78, 81, 84, 87, 98, 102-105, 108, 109, 110, 117, 147, 148, 154, 156, 158, 172, 173, 196, 197, 198,202,205

Thomason, R. 159 Tichy, P. 174, 177, 179-181, 187, 188 Tomasello, M. 11 Toupin 193 Truesdell, C. A. 193 Tugendhat, E. 122, 126

Vuillemin, J. 40

VVaals, J. van der 189 VVallace, A. R. 194 VVang, H. 55, 75 VVeingartner, P. 3, 38, 43, 52, 53, 54, 66, 73,

74,77,93,96,98,114,125,155,158,164, 171, 172, 178, 180, 182-187, 189, 191, 197, 198,201

VVeiss, N. O. 172 VVhitehead, A. N. 35, 46, 47, 55, 58, 64,

65,66,69,70,71,74,75,109,140,148, 154

VVigner, E. P. 171 VVimmer, H. 11 VVittgenstein, L. 7, 8, 15, 30, 51, 154, 155,

160,167,202 VVolenski, J. x, 13, 111 VVolf, U. 122, 126 VVoodruff, P. 159 VVright, G. H. v VVybraniec-Skardowska, U. 106

Yaquib, A. M. 135, 137

Zermelo, E. 199

Subject index

Au-relevance 181 action names 10 f. actual state of reality 162 if. analogy by proportion 100, 104 analogy, 99 if. analogy, of attribution 83, 87, 103 f. approximate truth 177 assertion 18 if.

being, accidental 114 being, categorical 113 f. being, meanings of 113 f.

categorematic term 8 if. change of meaning 192 f. coherence 150 coherence theory of truth 150 if. conclusion irrelevance 184 conclusion relevance 182, 184 consequence, relevant 183 consequent element, relevant 185 Convention T 1I8 f. Convention T 23-28 correspondence to facts 1I5 f. correspondence to objects 117 f. correspondence, truth as 108 if. crr 150 if.

deduction rule 33 f., 42 definition 45-79 definition rule 35 definition, Aristotelian 114 definition, of the circle 62 f. definition-assertion-pair 59 definition-term 59 definitions, in Principia Mathematica 65 f.

definitions, in the sciences 62 if., 67 Deflationalism 23-28 designated value 160 if. Disquotationalism 23-28

equivalence transformation 178 error 82 excluded middle, principle of 25 existential assumptions 37 f. Existential Generalization 37 f. extension, conservative 25 if. extension, non-conservative 25

fact 154 if., 160 if. falsity-content 174 Free Logic 159 functor 49

grounded 144, 152

incommensurability 175,18&-194 Instrumentalism 38 intension 54, 100 intensional systems 38 is, meanings of 113 f.

judgement 13, 81 if., 89

K-relevance 182

L 133 language system, extended 56, 64 language system, non-extended 56, 59 laws of nature 171 if. lexical development II

SUBJECT INDEX 227

Liar 131-137 Liar biconditionals 137 Liar cycles, solutions of 134 Liar iterations 137 Liar, Paulus Venetus' solution 131 f. Liar, solution of the 133--137 Logic, Aristotelean 37

many-valued system 39 MC 121 f., 125, 128 MC* 121 f., 125, 128 meaning 49 ff. meaning in use 50 ff. meaning, scientifically restricted 54 f. meaning, spread of 50 ff. MF 121, 124, 128 Minimalism 19,24 f., 28 modal system 39 ~ 121 f., 125, 128

negation 11,25, 164 ff. negation, law of 25 negative facts 154 ff., 158 f., 167 f. negative properties 154 ff., 158 f., 168 negative usage oflanguage 53, 126 f. non-contradiction, principle of 25, 162 non-definability, theorem of 26 norm 54

paradox, of Goodman 181 paradox, of Hesse 181 paradox, of Lehrer 138 paradox, of Pseudo Scotus 139 paradox, ofRescher 138 paradox, of Ross 181 paradoxes 138 ff., 181 ff. paradoxes, deontic 181 paradoxes, of the liar 131-137 positive usage oflanguage 53, 121, 126 ff. proper names 10 f. properties, negative 154 ff., 168 proposition 13, 84 ff., 90 ff. proposition, as maximally general sentence

form 94 ff. proposition, in Natural Language 91 proposition, in scientific discourse 91, 94 ff. propositional function 12 f. PS 121 f., 126 ff. PS* 121 f., 126 ff.

Quantum Logic 180

reality, actual state of 162 ff. relevance 179 ff., 184 f. replacement rule 33 rule 31 f., 54 rule and counterexample 36 ff. rule and purpose 34 ff. rule of a deductive system 30--44 rule of inference 30 rule, usefulness of 34 ff.

satisfaction 141 Satz an sich 85 Scheinproblem, philosophical 6 SchrOdinger equation 97 semantic system 56 f. sentence 13,49, 87 ff. sentential function 12 f. species 114 state of affairs 160 f. statement 13 Strenghtened Liar 138 subsistence 157 ff. substitution rule 33 f., 39,42 syncategorematic term 8 ff. syntactic system 56 f.

T-equivalence 23 ff., 118 ff., 129 ff. Tarski's truth condition 23 ff., 118 ff., 129 ff. Tarski's truth condition, presuppositions of

121 ff., 129ff. term 49 theory ladenness 188 f. TM 130 ff. TMD*129 ff. TMP 130 ff. TMP* 130 ff. TMPT 129 ff. TMT 129 ff. TP 130 ff. true judgement 9 ff., 80 ff. true proposition 9 ff., 84 ff. true sentence 9 ff., 87 ff. true 9 ff. true, as a predicate 17 ff. true, as an approval 21 f. true, as an assertion 18 ff. true, as superfluous 20 f.

228

truth teller, iterations 13 7 truth, as correspondence 108 ff. truth, criterion of 5 f. truth, definition of 5 f., 140 ff. truth, essence of 3 f. truth, nearer to the 174 ff. truth, partial 177 truth-content 174 truth-teller 128 truth-value 160 ff. truth likeness 177

SUBJECT INDEX

Tt 133

ungrounded 144, 151 f. untranslatability 190 ff.

Vacuity Objection 26 validity-value 160 ff. verisimilitude 167 ff., 186 verisimilitude reversal 178 verisimilitude, definition of 186 Volterra-Lotka equation 97

Episteme A SERIES IN THE FOUNDATIONAL, METHODOLOGICAL, PHILOSOPHICAL,

PSYCHOLOGICAL, SOCIOLOGICAL, AND POLITICAL ASPECTS OF THE SCIENCES,

PURE AND APPLIED

1. W. E. Hartnett (ed.): Foundations of Coding Theory. 1974 ISBN 90-277-0536-4 2. J. M. Dunn and G. Epstein (eds.): Modern Uses of Multiple-Valued Logic. 1977

ISBN 90-277-0747-2 3. W. E. Hartnett (ed.): Systems: Approaches, Theories, Applications. 1977

ISBN 90-277-0822-3 4. W. Krajewski: Correspondence Principle and Growth of Science. 1977

ISBN 90-277-0770-7 5. J. L. Lopes and M. Paty (eds.): Quantum Mechanics, a Half Century Later. 1977

ISBN 90-277-0784-7 6. H. Margenau: Physics and Philosophy. Selected Essays. 1978. ISBN 90-277-0901-7 7. R. Torretti: Philosophy of Geometry from Riemann to Poincare. 1978

ISBN Hb 90-277-0920-3 / Pb 90-277-1837-7 8. M. Ruse: Sociobiology: Sense or Nonsense? 1979; 2nd ed. 1985

ISBN Hb 90-277-1797-4 / Pb 90-277-1798-2 9. M. Bunge: Scientific Materialism. 1981 ISBN 90-277-1304-9

10. S. Restivo: The Social Relations of Physics, Mysticism, and Mathematics. Studies in Social Structure, Interests, and Ideas. 1983

ISBN Hb 90-277-1536-X / Pb (1985) 90-277-2084-3 11. J. Agassi: Technology. Philosophical and Social Aspects. 1985

ISBN Hb 90-277-2044-4 / Pb 90-277-2045-2 12. R. Tuomela: Science, Action, and Reality. 1985 ISBN 90-277-2098-3 13. N. Rescher: Forbidden Knowledge and Other Essays on the Philosophy of Cognition.

1987 ISBN 90-277-2410-5 14. N. J. Moutafakis: The Logics of Preference. A Study of Pro haire tic Logics in Twentieth

Century Philosophy. 1987 ISBN 90-277-2591-8 15. N. Laor and J. Agassi: Diagnosis: Philosophical and Medical Perspectives. 1990

ISBN 0-7923-0845-X 16. F. P. Ramsey: On Truth. Original Manuscript Materials (1927-1929) from the Ramsey

Collection at the University ofPitlsburgh, edited by N. Rescher and U. Majer. 1991 ISBN 0-7923-0857-3

17. H. A. Shenkin: Medical Ethics. Evolution, Rights and the Physician. 1991 ISBN 0-7923-1031-4

18. E. Agazzi (ed.): The Problem of Reductionism in Science. 1991 ISBN 0-7923-1406-9 19. D. Blitz: Emergent Evolution. Qualitative Novelty and the Levels of Reality. 1992

ISBN 0-7923-1658-4 20. S. Restivo: Mathematics in Society and History. Sociological Inquiries. 1993

ISBN 0-7923-1765-3 21. N. Rescher: Satisfoing Reason. Studies in the Theory of Knowledge. 1995

ISBN 0-7923-3148-6

KLUWER ACADEMIC PUBLISHERS - DORDRECHT / BOSTON I LONDON

Episteme A SERIES IN THE FOUNDATIONAL, METHODOLOGICAL, PHILOSOPHICAL,

PSYCHOLOGICAL, SOCIOLOGICAL, AND POLITICAL ASPECTS OF THE SCIENCES,

PURE AND APPLIED

22. E. Agazzi and G. Darvas (eds.): Philosophy of Mathematics Today. 1997 ISBN 0-7923-4343-3

23. R.C. Looijen: Holism and Reductionism in Biology and Ecology. The Mutual Dependence of Higher and Lower Level Research Programmes. 2000

ISBN 0-7923-6076-1 24. P. Weingartner: Basic Questions on Truth. 2000 ISBN 0-7923-6224-1

KLUWER ACADEMIC PUBLISHERS - DORDRECHT I BOSTON I LONDON