论文信息 - “No Input, No Output” Logic

“No Input, No Output” Logic

The approach to free logic I advocate here is not so much new as out of fashion, something that belongs to the era of Schock (1968), Smiley (1960), and Ebbinghaus (1969) rather than to the age of van Fraassen (1966a), (1966b) and his disciples. Its semantic basis is valuational, not supervaluational. In my view, while (i) interpretations should represent the possibilities given by cases of reference-failure, (ii) we should then accept as logical truths, valid arguments and the like whatever standard semantic characterizations of these notions deliver.

Scott Lehmann | S. Lehmann

[1] B. Skyrms. Supervaluations: Identity, Existence, and Individual Concepts , 1968 .

[2] G. Frege. On Sense and Reference , 1948 .

[3] H. Ebbinghaus,et al. Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen , 1969 .

[4] B. V. Fraassen,et al. The Completeness of Free Logic , 1966 .

[5] Scott K. Lehmann,et al. Strict Fregean free logic , 1994, J. Philos. Log..

[6] K. Lambert. On the philosophical foundations of free logic , 1981 .

[7] M. Black,et al. Translations from the philosophical writings of Gottlob Frege , 1953 .

[8] Rolf Schock,et al. Logics without existence assumptions , 1968 .

[9] B. V. Fraassen. Singular Terms, Truth-Value Gaps, and Free Logic , 1966 .

[10] Theodore Hailperin. Rolf Schock. Logics without existence assumptions . Almqvist a Wiksell, Stockholm1968, 134 pp. , 1972 .

[11] Timothy Smiley. Sense Without Denotation , 1960 .

[12] John Corcoran,et al. Ebbinghaus Heinz-Dieter. Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Archie für mathematische Logik und Grundlagenforschung, vol. 12 , pp. 39–53 , 1972 .

[13] Dov M. Gabbay,et al. Handbook of Philosophical Logic , 2002 .

[14] Günter Asser,et al. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , 1955 .