جستجوي پيشرفته | کتابخانه مجازی الفبا

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

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