دانلود کتاب Formal Languages in Logic: A Philosophical and Cognitive Analysis – زبان های رسمی در منطق: تحلیل فلسفی و شناختی

توضیحات

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science.

————————————————————–

ترجمه ماشینی :

زبان‌های رسمی به‌طور گسترده‌ای بیش از همه اشیاء ریاضی در نظر گرفته می‌شوند و به همین دلیل سطح بیشتری از دقت و پیچیدگی فنی در تحقیقات منطقی ایجاد می‌کنند. با این حال، تعریف زبان‌های رسمی منحصراً به این روش، تنها توضیحی جزئی و محدود از تأثیری که استفاده از آنها (و استفاده از فرمالیسم‌ها به طور کلی در جاهای دیگر) دارد، ارائه می‌کند. در این کتاب، Catarina Dutilh Novaes مفهوم بسیار گسترده‌تری از زبان‌های رسمی را اتخاذ می‌کند تا به طور گسترده‌تر بررسی کند که وقتی نظریه‌پردازان از این ابزارها استفاده می‌کنند دقیقاً چه اتفاقی می‌افتد. او به تاریخ و فلسفه زبان‌های رسمی نگاه می‌کند و بر تأثیر شناختی زبان‌های رسمی بر استدلال انسان تمرکز می‌کند و از رشد تاریخی، روان‌شناسی، علوم شناختی و فلسفه استفاده می‌کند. مطالعه گسترده او هم برای دانشجویان و هم برای محققان در فلسفه، منطق، روانشناسی و علوم شناختی و کامپیوتر ارزشمند خواهد بود.

tag : دانلود کتاب زبان های رسمی در منطق: تحلیل فلسفی و شناختی , Download زبان های رسمی در منطق: تحلیل فلسفی و شناختی , دانلود زبان های رسمی در منطق: تحلیل فلسفی و شناختی , Download Formal Languages in Logic: A Philosophical and Cognitive Analysis Book , زبان های رسمی در منطق: تحلیل فلسفی و شناختی دانلود , buy زبان های رسمی در منطق: تحلیل فلسفی و شناختی , خرید کتاب زبان های رسمی در منطق: تحلیل فلسفی و شناختی , دانلود کتاب Formal Languages in Logic: A Philosophical and Cognitive Analysis , کتاب Formal Languages in Logic: A Philosophical and Cognitive Analysis , دانلود Formal Languages in Logic: A Philosophical and Cognitive Analysis , خرید Formal Languages in Logic: A Philosophical and Cognitive Analysis , خرید کتاب Formal Languages in Logic: A Philosophical and Cognitive Analysis ,