The logic of existence

Author:

Leonard Henry S.

Publisher

Springer Science and Business Media LLC

Subject

Philosophy

Reference6 articles.

1. In the figure above, I have indicated for each proposition both the abstract representation given to it by the traditional logic and one given to it by modern logic.

2. W. V. Quine has already noted the distinction between general and singular existence explained in this part of my paper, and has even noticed that the modern logic involves a tacit presupposition concerning singular existence. But the conclusions he draws from this situation are entirely different from those I propose: He will not alter the modern logic so as to make this presupposition explicit. Instead, he tailors philosophic outlooks to one of consonance with it. See his “Designation and Existence,”Journal of Philosophy, 36:701–9 (December 21, 1939).

3. Whether we take “Elx” as an undefined primitive or accept D1 affects only the status of the laws listed in this part. Some of them, in the one case, would be postulates which, in the other case, would be theorems.

4. The listing of laws here does not represent a deductive order. The validity of L1 is interesting. It is, however, harmless: In consequence of L3, it is equivalent to the innocuous formula (x) · E!x ⊃ E!x and would in fact be proven via L3. But in virtue of the abandonment of*10.1 in favor of L7 (see immediately below), the assertion of L1 is not equivalent to the abandoned law (4) ; nor can the unwanted (4) be proven.

5. Op. cit., p. 708.

Cited by 52 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Negative Events and Compositional Semantics;Journal of Semantics;2023-11

2. Preface to the English Edition;Essay on the Principles of Logic;2023-05-23

3. Zagadnienie istnienia norm;Archiwum Filozofii Prawa i Filozofii Społecznej;2023

4. Neutral Free Logic: Motivation, Proof Theory and Models;Journal of Philosophical Logic;2022-08-24

5. Anti-Realism about Fictional Names at Work: A New Theory for Metafictional Sentences;Organon F;2021-01-28

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3