رویکرد نظریه-برهانی به مفهوم پیامد منطقی، و نقد تارسکی به آن

بنابر تعریف نظریه-برهانی از مفهوم پیامد منطقی، جملۀ  پیامد منطقی مجموعه مقدّمات  محسوب می‌شود اگر از  برهانی برای  وجود داشته باشد. تارسکی استدلال می‌کند که با افزایش هر تعداد قاعده به نظام‌های استنتاجی، همواره در آن نظام مواردی وجود دارد که جمله‌ای شهوداً پیامد منطقی مجموعه‌ای از جملات است، درحالی‌...

Full description

Bibliographic Details
Published in:Journal of Philosophical Investigations
Main Authors: حمید علایی نژاد, مرتضی حاج حسینی
Format: Article
Language:English
Published: University of Tabriz, Faculty of Literature and Forigen Languages 2024-03-01
Subjects:
مفهوم پیامد منطقی
تعریف نظریه-برهانی
تعریف نظریه-مدلی
معناشناسی نظریه-مدلی
تارسکی
Online Access:https://philosophy.tabrizu.ac.ir/article_14680_da4ea24913b53b199dad635883ee2429.pdf

Similar Items

Similar Items