论文信息 - The Completeness of Free Logic - 字舞流文

The Completeness of Free Logic

B. V. Fraassen | B. C. van Fraassen

[1] Richard J. K. Taylor. Ayer's analysis of negation , 1953 .

[2] Hugues Leblanc,et al. Nondesignating singular terms , 1959 .

[3] Karel Lambert,et al. Existential import revisited , 1963, Notre Dame J. Formal Log..

[4] P. Strawson. III.—ON REFERRING , 1950 .

[5] Henry S. Leonard,et al. The logic of existence , 1956 .

[6] Jaako Hintikka,et al. Existential Presuppositions and Existential Commitments , 1959 .

[7] W. V. Quine,et al. Quantification and the empty domain , 1954, Journal of Symbolic Logic.

[8] F. Ramsey. The foundations of mathematics , 1932 .