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

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

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

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

ترجمه ماشینی : "منطق قدیم فکر را در قید و بند قرار می دهد، در حالی که منطق جدید به آن بال می دهد." در قرن گذشته، فیلسوفانی که بر اساس سنت برتراند راسل کار می‌کردند - که قول داد با معرفی «منطق جدید» فرگه و پیانو، فلسفه را متحول کند - از منطق محمولی به عنوان زبان انتخابی رسمی خود استفاده کرده‌اند. در این کتاب، دکتر دیوید کورفیلد انقلابی قابل مقایسه با منطق تازه در حال ظهور - نظریه نوع هموتوپی مدال - ارائه می دهد. نظریه نوع هموتوپی اخیراً به عنوان یک زبان پایه جدید برای ریاضیات با شجره فلسفی قوی توسعه یافته است. نظریه نوع همتوپی معین: چشم انداز منطق جدید برای فلسفه، مقدمه ای بر این زبان جدید و بسط مودال آن ارائه می دهد که از طریق کاربردهای نوآورانه حساب دیفرانسیل و انتگرال در زبان، متافیزیک و ریاضیات نشان داده شده است. فصل‌ها در مراحل به زبان کامل ساخته می‌شوند، درست تا کاربرد نظریه نوع هموتوپی مودال در هندسه فعلی. از بحث در مورد تمایز بین اشیاء و رویدادها، برخورد ذاتی ساختار، مفهوم مدالیته به عنوان شکلی از تنوع کلی تا نمایش ساخت‌وسازها در هندسه مدرن، می‌بینیم که کاربردهای این زبان قدرتمند جدید چقدر می‌تواند متنوع باشد.

ترجمه ماشینی : مطالعات بوستون در فلسفه علم به سمپوزیوم ها، کنگره ها، گفتگوها، تک نگاری ها و مقالات گردآوری شده درباره مبانی فلسفی علوم اختصاص دارد. اکنون خوشحالیم که رساله A. A. Zi nov'ev درباره منطق پیچیده را در میان این مجلدات قرار دهیم. زینوف یکی از خلاق ترین منطق دانان مدرن شوروی و در عین حال یک کارگر مبتکر در زمینه مبانی روش شناختی علم است. علاوه بر این، زینوف، اگرچه هنوز یک محقق در حال توسعه است، اما تأثیر اساسی و محرکی بر همکاران و دانشجویان خود در مسکو و سایر محافل فلسفی و منطقی اتحاد جماهیر شوروی داشته است. از این رو، برای ارائه این اثر حاضر به مخاطبان انگلیسی خوان، مرور مختصر برخی از تحقیقات معاصر شوروی در روش شناسی علمی مفید خواهد بود. در طول دهه 1950، یک برنامه تحقیقاتی جدید قوی در منطق در دست اجرا بود، و اولین کار منتشر شده - که مشخصه اکثر نشریات شوروی در منطق و روش شناسی علوم بود - مجموعه ای از مقالات، تحقیقات منطقی (مسکو، 1959) بود.

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

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