Logical consequence and paradoxical reasoning

逻辑后果和悖论推理

基本信息

  • 批准号:
    289086941
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    德国
  • 项目类别:
    Research Grants
  • 财政年份:
    2015
  • 资助国家:
    德国
  • 起止时间:
    2014-12-31 至 2017-12-31
  • 项目状态:
    已结题

项目摘要

The traditional analysis of the relation of logical consequence due to Alfred Tarski explains consequence in terms of truth. A more recent rival view developed by Dag Prawitz aims at replacing the notion of truth with the one of proof. What is common to both approaches is the characterization of consequence as `transmission': B is a logical consequence of A if and only if truth (resp. provability) is transmitted from A to B.The project develops an alternative conception of consequence, which rejects the ``transmission view''. This is achieved by grounding consequence on local features of inference rules, rather than on global properties of deduction.The local character of consequence offers the possibility to distinguish, among the proofs whose steps are all locally correct, those that are also globally valid from those that are not. The gap between local correctness and global validity provides an original account of how each step in a paradoxical argument may be sound, without the conclusion of the whole argument being acceptable.
传统的对阿尔弗雷德·塔尔斯基逻辑结果关系的分析是从真理的角度来解释结果的。达格·普拉维茨(Dag Prawitz)最近提出了一个与之对立的观点,目的是用证据的概念取代真理的概念。这两种方法的共同之处是将结果描述为“传递”:B是A的逻辑结果当且仅当为真(见下文)。可证明性)从A传递到B。该项目发展了另一种后果概念,该概念拒绝了“传递观点”。这是通过基于推理规则的局部特征而不是基于演绎的全局性质来实现的。结果的局部性质提供了在步骤都是局部正确的证明中区分那些也是全局有效的和那些不是全局有效的证明的可能性。局部正确性和全局有效性之间的差距提供了一个原始的解释,说明在一个矛盾的论点中,每一步都可能是合理的,而整个论点的结论是不被接受的。

项目成果

期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
The Naturality of Natural Deduction
自然演绎的自然性
  • DOI:
    10.1007/s11225-017-9772-6
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0.7
  • 作者:
    Luca Tranchini;Mattia Petrolo;Paolo Pistone
  • 通讯作者:
    Paolo Pistone
Stabilizing Quantum Disjunction
稳定量子分裂
  • DOI:
    10.1007/s10992-018-9460-7
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    1.5
  • 作者:
    Luca Tranchini
  • 通讯作者:
    Luca Tranchini
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Dr. Luca Tranchini其他文献

Dr. Luca Tranchini的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Dr. Luca Tranchini', 18)}}的其他基金

Falsity and refutations: Understanding the negative side of logic
虚假与反驳:理解逻辑的消极面
  • 批准号:
    397512418
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Logical consequence. Epistemological and proof-theoretic perspectives.
逻辑后果。
  • 批准号:
    206616311
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Research Grants

相似海外基金

CAREER: Manufacturing USA: Deep Learning to Understand Fatigue Performance and Processing Relationship of Complex Parts by Additive Manufacturing for High-consequence Applications
职业:美国制造:通过深度学习了解复杂零件的疲劳性能和加工关系,通过增材制造实现高后果应用
  • 批准号:
    2239307
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
The Role of m6A-RNA Methylation in Memory Formation and Recall and Its Modulation and Influence on Long-Term Outcomes as a Consequence of Early Life Lead Exposure
m6A-RNA 甲基化在记忆形成和回忆中的作用及其对早期铅暴露对长期结果的影响
  • 批准号:
    10658020
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
Gene Regulation in Memory Circuits as a Consequence of Polysubstance Use
多物质使用导致的记忆电路基因调控
  • 批准号:
    10739399
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
Causes and consequence of short tandem repeat instability
短串联重复序列不稳定性的原因和后果
  • 批准号:
    2869560
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Studentship
In-situ S/TEM investigation on nature and consequence of mechanically induced martensite in metallic materials
金属材料中机械诱导马氏体的性质和后果的原位 S/TEM 研究
  • 批准号:
    23K13222
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
LTREB Renewal: The Arctic Carbon and Climate (ACCLIMATE) Observatory: Tundra Ecosystem Carbon Balance and Old Carbon Loss as a Consequence of Permafrost Degradation
LTREB 更新:北极碳与气候 (ACCLIMATE) 观测站:苔原生态系统碳平衡和多年冻土退化后果造成的旧碳损失
  • 批准号:
    2309467
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Outbursts on magnetized neutron stars as a consequence of long-term evolution of magnetic fields
磁场长期演化导致磁化中子星爆发
  • 批准号:
    23K03389
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
What triggers RV Fiber Re-Orientation in response to RV pressure overload, and what is its Consequence on Inter-Ventricular Decoupling?
是什么触发了右心室纤维重新定向以响应右心室压力过载,以及它对心室间解耦的影响是什么?
  • 批准号:
    10587587
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
Qin Imperial Iron, Tomb M1 and the First Emperor's Mausoleum: Character, Context and Consequence
秦皇铁、M1 墓和始皇陵:特征、背景和后果
  • 批准号:
    AH/W009552/1
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Molecular Assessment of Cause and Consequence of Cellular Senescence in Diverse Midbrain Cell Types in Parkinson's Disease
帕金森病多种中脑细胞类型细胞衰老原因和后果的分子评估
  • 批准号:
    10662519
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了