Logical progression

Metaphysics of Logical Realism

با اینکه اغلب به غلط تصور می­شود که فلسفۀ تحلیلی، به عنوان یک جنبش ضد-متافیزیکی، هیچ ارتباطی با متافیزیک ندارد، اما دلایل خوبی وجود دارند که بر اساس آن می­توان تمایلات متافیزیکی فیلسوفان تحلیلی را تصدیق نمود و متعاقباً ماهیت ضد-متافیزیکی فلسفه تحلیلی را در تمام مراحل شکل­گیری­اش به حداقل رساند. چون فلسفه تحلیلی یک جنبش تاریخی است که ماهیت اصلی آن در چند مرحله شکل یافته است، لذا با پیگیری این مرا...

Logical Grammars, Logical Theories

Residuated lattices form one of the theoretical backbones of the Lambek Calculus as the standard free models. They also appear in grammatical inference as the syntactic concept lattice, an algebraic structure canonically defined for every language L based on the lattice of all distributionally definable subsets of strings. Recent results show that it is possible to build representations, such a...

Plantinga and the Logical Problem of Evil

Logical aspects of logical frameworks

This thesis provides a model–theoretic semantic analysis of aspects of the LF logical framework. The LF logical framework is the λΠ-calculus together with the judgements-as-types representation mechanism. A denotational semantics is provided for the λΠ-calculus in terms of Kripke λΠ-models. These are a generalization of the Kripke lambda models of Mitchell and Moggi to dependent types and are b...

Logical Consequence and Logical Expressions

The pretheoretical notions of logical consequence and of a logical expression are linked in vague and complex ways to modal and pragmatic intuitions. I offer an introduction to the difficulties that these intuitions create when one attempts to give precise characterizations of those notions. Special attention is given to Tarski’s theories of logical consequence and logical constancy. I note tha...