Metalogical properties, being logical and being formal
نویسندگان
چکیده
منابع مشابه
The Importance of Being Formal
This paper presents work in the context of the certification of a safety component for autonomous service robots, and investigates the potential advantages offered by formally modelling the domain knowledge, specification and implementation in a theorem prover in higher-order logic. This allows safety properties to be stated in an abstract manner close to textbook mathematics. The automatic pro...
متن کاملMetalogical Decorations of Logical Diagrams
In recent years, a number of authors have started studying Aristotelian diagrams containing metalogical notions, such as tautology, contradiction, satisfiability, contingency, strong and weak interpretations of (sub)contrariety, etc. The present paper is a contribution to this line of research, and its main aims are both to extend and to deepen our understanding of metalogical diagrams. As for ...
متن کاملرابطه وجود و ماهیت در رساله "on being and essence"
هدف عمده ای که من در رساله خود تعقیب می کنم بررسی رابطه وجود و ماهیت از نظر توماس آکوئینی در رساله معروف خود تحت همین نام، است، که نام لاتین آن de ente et essentia می باشد و ترجمه انگلیسی آن تحت عنوان "on being and essence" است که ترجمه معمول آن به فارسی ((وجود و ماهیت)) می باشد. البته بهترین ترجمه فارسی واژه ente، ((موجودیت)) است ولی ما مطابق رسم آنرا رساله ((درباره وجود و ماهیت)) ...
15 صفحه اولThe Logical Part of Essentiality and Unity of Existence in Proving the Unity of Necessary Being
This article has no abstract.
متن کاملBeing naturalised, being left b
With around five million people accessing anti-retroviral treatment, which significantly reduces mortality and extends life, the HIV pandemic now exists in a context of treatment possibility, if not access. This paper discusses ways in which the pandemic is becoming naturalised through medicalisation, normalisation and marketisation, and how these processes undermine themselves internally. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2004
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2002.013