যুক্তিবিজ্ঞান: সংশোধিত সংস্করণের মধ্যে পার্থক্য

 

অ্যারিস্টট্ল দ্বারা [[অনুমানবাক্য|সিল্লোগিস্টিক]] যুক্তিবিজ্ঞানটি 19 শতকের মাঝামাঝি পর্যন্ত মধ্যপ্রাচ্যে প্রবক্তিত হয়, যখন [[গণিতের ভিত্তি]] এর আগ্রহে প্রতীকী যুক্তিবিদ্যা (এখন [[গাণিতিক যুক্তি]] বলা হয় )। 1854 সালে, জর্জ বুয়েল '' [[চিন্তার আইন|তত্ত্ব এবং সম্ভাব্যতা এর গাণিতিক তত্ত্ব স্থাপন করা হয় যা চিন্তার আইন একটি তদন্ত]] '', প্রতীকী যুক্তিবিজ্ঞানের সূচনা করে এবং এখন যেগুলির নাম বলা হয় [[বুলিয়ান যুক্তি]]। 1879 সালে, গটলব ফ্রয়েজ প্রকাশিত '' [[বেগ্ৰীফস্ক্রিফট]] '', যা [[রাশিকরণ (যুক্তিবিদ্যা)|কোয়ান্টিফায়ারের]] আবিষ্কারের সাথে আধুনিক যুক্তি প্রকাশ করে। 1910 থেকে 1913 সাল পর্যন্ত, [[আলফ্রেড নর্থ হোয়াইটহেড]] এবং [[বারট্রান্ড রাসেল]] গণিতের ভিত্তিগুলির উপর "[[গাণিতিক নীতির]] '' <ref name="Principia"/> প্রকাশ করেন যা গাণিতিক সত্য উপভোগের চেষ্টা করে। প্রতীকী যুক্তিবিজ্ঞান থেকে [[স্বত: সিদ্ধ সত্য]] এবং [[অর্থশাস্ত্রের নিয়ম]] গুলি থেকে। 1931 সালে, [[গোডেলের]] ফাউন্ডেশনালিস্ট প্রোগ্রামের সাথে গুরুতর সমস্যা উত্থাপন করে এবং এই ধরনের বিষয়গুলির উপর মনোযোগ কেন্দ্রীভূত করা বন্ধ করে দেয়।

 

== যুক্তিবিজ্ঞানের গবেষণা ==