|
|
تلقی معناشناختی و دلالت شناختی از سمانتیک در آثار تارسکی
|
|
|
|
|
نویسنده
|
پوردانش سعید
|
منبع
|
منطق پژوهي - 1401 - دوره : 13 - شماره : 2 - صفحه:211 -235
|
چکیده
|
آلفرد تارسکی از بنیانگذاران اصلی سمانتیک به مثابهی دلالتشناسی است. وی دلالتشناسی را در دههی 30 پیافکند و این تلقی امروزه تلقی غالب در سمانتیک منطقی به شمار میرود. اما اگر به آثار دههی 20 وی بازگردیم در نگاه اول به نظر میرسد که هیچ گونه نگرش سمانتیکی در کارهای وی وجود ندارد. تفسیر رایج در مورد کارهای تارسکی در دههی 20 آن است که او در این دوران منطق را با رویکرد سینتکسی و نظریه برهانی مینگریست. اما یکی از مفسران تارسکی به نام داگلاس پترسون به تفصیل نشان داده است که در آثار دههی 20 تارسکی نوعی سمانتیک از سنخ معناشناسی دیده میشود که وی این نگرش را به تبعیت از استادش لسینیفسکی صورت-گرایی شهودگرایانه مینامید. در این مقاله بنای ما بر آن است که با توجه به تفسیر پترسون به چیستی تلقی معناشناختی تارسکی از سمانتیک بپردازیم و میکوشیم دو ادعا را اثبات کنیم: (الف) صورتگرایی شهودگرایانه به روایت تارسکی نگرشی دربارهی کارکرد زبان است نه یک نظریهی ساخته و پرداختهی سمانتیکی که در آن مفاهیم کانونی معناشناسی تعریف و تحلیل میشوند (ب) صورتگرایی شهودگرایانه منافاتی با نگرش ارجاعی به زبان ندارد و حتی سالها پس از تاسیس دلالتشناسی از سوی تارسکی در پس زمینهی آثارش حضور دارد.
|
کلیدواژه
|
سمانتیک، معناشناسی، دلالت شناسی، صورت گرایی شهودگرایانه، رویکرد نظریه برهانی
|
آدرس
|
دانشگاه علامه طباطبائی, ایران
|
پست الکترونیکی
|
saeidpourdanesh@gmail.com
|
|
|
|
|
|
|
|
|
expressive and representational approach to semantics in tarski’s works
|
|
|
Authors
|
pourdanesh saeid
|
Abstract
|
alfred tarski is one of the principal founders of logical semantics. he founded representational approach in 30s and this approach is dominant in the logical semantics nowadays. but if we return to tarski’s 20s works it seems in first glance there is no semantical approach in his 20s works. current commentary of tarski’s the 20s works is that he regarded logic with syntactical and proof theoretic approach in this periods. but one of tarski’s commentators, douglas patterson, has showed in details that in tarski’s the 20s works is seen a kind of semantical approach which can regard it as expressive approach. tarski called this approach intuitionistic formalism, following his teacher stanisław leśniewski. in this article we are intend to address, according to patterson’s interpretation, what is tarski’s the expressive approach. we will attempt to establish two claims: (a) intuitionistic formalism, according to tarski, is an approach about function of language not an articulated semantical theory in which the central concepts of expressive approach are defined and analyzed; (b) intuitionistic formalism has no conflict with representational approach about language and the former is present in background of tarski’s works, even several years after establishment of representational approach by him.
|
Keywords
|
semantics ,expressive approach ,representational approach ,intuitionistic formalism ,proof theoretic approach
|
|
|
|
|
|
|
|
|
|
|