Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic

ژوئیه 2011 -- شورای آکادمی علوم جمهوری چک جایزه معتبرمعناشناسی رویه ای برای منطق بیش فشاری را برای نتایج برجسته از اهمیت علمی عمده.


این جلد مبانی منطق هدفمند شفاف را همراه با کاربردهای بسیاری در طیف وسیعی از موضوعات از جمله رسمی بیان می‌کند. معناشناسی، فلسفه زبان و منطق فلسفی. توجه ویژه ای به موضوعاتی است که معمولاً فقط به صورت گذرا به آنها پرداخته می شود. آنها عبارتند از: از جمله، نگرش های تصوری، دانستن اینکه آیا، مفاهیم (به طور دقیق و غیرذهنی درک می شوند)،
نگرش de re، و آنافورا در زمینه های بیش از حد فشاری.< /p>

برنامه کلی تنظیم شده و در زمینه تاریخی و سیستماتیک قرار می گیرد. این برنامه شامل ابداع یک نظریه معنایی فراگیر برای همه انواع گفتمان، اعم از محاوره، علمی، ریاضی یا منطقی است. نظریه معنایی یک نظریه رویه‌ای است که بر اساس آن حس یک رویه انتزاعی و پیش‌زبانی است که به تفصیل توضیح می‌دهد که چه عملیاتی در مورد اجزای رویه‌ای اعمال شود تا به محصول (در صورت وجود) رویه برسد. چنین رویه‌هایی به‌طور دقیق به عنوان ساختارهایی که در قلمرو افلاطونی ساکن هستند، تعریف می‌شوند. معناشناسی به سخت‌ترین حالت، که توسط زمینه‌های فرافشاری تشکیل می‌شود، تنظیم می‌شود، و از آنجا به زمینه‌های هدفمند و بسطی تعمیم می‌یابد.

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

July 2011 -- The Council of the Academy of Sciences of the Czech Republic has presented Procedural Semantics for Hyperintensional Logic with its prestigiousaward for outstanding results of major scientific importance.


This volume sets out the foundations of Transparent Intensional Logic, together with many applications to a wide range of topics including formal semantics, philosophy of language, and philosophical logic. Special attention is devoted to some topics that generally tend to be dealt with only in passing. They include, inter alia, notional attitudes, knowing whether, concepts (understood rigorously and non-mentalistically),
attitudes de re, and anaphora in hyperintensional contexts.

The overall programme is set out and placed in historical and systematic context. The programme consists in devising one overarching semantic theory for all sorts of discourse, whether colloquial, scientific, mathematical or logical. The semantic theory is a procedural one, according to which sense is an abstract, pre-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure. Such procedures are rigorously defined as so-called constructions residing in a platonic realm. The semantics is tailored to the hardest case, as constituted by hyperintensional contexts, and generalized from there to intensional and extensional contexts.

This anti-contextualist and fully compositional semantics is, to the best of our knowledge, the only one that deals with all kinds of context in a unique and systematic manner. The three authors have striven to write an accessible study of Transparent Intensional Logic that may be read by researchers and advanced students of logic, semantics, linguistics, informatics, computer science, and kindred disciplines.