যুক্তিবিজ্ঞান: সংশোধিত সংস্করণের মধ্যে পার্থক্য
বিষয়বস্তু বিয়োগ হয়েছে বিষয়বস্তু যোগ হয়েছে
Shebu Islam (আলোচনা | অবদান) |
Shebu Islam (আলোচনা | অবদান) |
||
৬৭ নং লাইন:
===অনুমান===
অন্তর্নিহিত প্রভাব সঙ্গে বিভ্রান্ত করা হয় না। একটি নিখুঁত ফর্ম 'যদি পি তারপর কিউ' ফর্মের একটি বাক্য এবং সত্য বা মিথ্যা হতে পারে। স্টুয়িক লজিজিন ফিলো মেগারা প্রথম এই ধরনের একটি সংশ্লেষের সত্য অবস্থার সংজ্ঞায়িত: মিথ্যা শুধুমাত্র যখন পূর্ববর্তী পি সত্য এবং ফল কিউ হয় মিথ্যা, অন্য সব ক্ষেত্রে সত্য। অন্যদিকে, একটি অনুচ্ছেদ, 'পি অতএব কিউ' রূপের দুটি আলাদাভাবে উল্লিখিত প্রস্তাবগুলি নিয়ে গঠিত। একটি অনুচ্ছেদ সত্য বা মিথ্যা নয়, তবে বৈধ বা অবৈধ যাইহোক, অন্তর্নিহিত এবং নির্ণায়ক মধ্যে একটি সংযোগ আছে, নিম্নরূপ: যদি 'পি যদি কিউ' সত্য হয় তাহলে, 'পি' সুতরাং 'কিউ' মানে বৈধ। এই ফিলো দ্বারা একটি দৃশ্যত বিপর্যয়মূলক সূত্র দেওয়া হয়, যিনি বলেন, 'দিন যদি, এটা রাতে' শুধুমাত্র রাতে সত্য হয়, তাই অভিপ্রেত 'এটা দিন, তাই রাতে হয়' রাতে বৈধ, কিন্তু দিনের মধ্যে না।
প্রচলিত তত্ত্ব (বা 'পরিণতি') পদ্ধতিগতভাবে মধ্যযুগীয় সময়ে লজিজিনের মত রচিত হয়েছিল যেমন উইলিয়াম ও ওখাম এবং ওয়াল্টার বর্লি। এটি অনন্য মধ্যযুগীয়, যদিও এর অস্তিত্ব অ্যারিস্টটলের বিষয় এবং বোথিয়াস 'দে সাইলোগিসিস হিপোটিয়েটিসগুলির মধ্যে রয়েছে। এই কারণে যুক্তিবিজ্ঞান মধ্যে অনেক পদ ল্যাটিন হয়। উদাহরণস্বরূপ, যে নিয়মটি প্রযোজ্য 'যদি পি তারপর কিউ' প্লাস থেকে তার পূর্ববর্তী পি এর কথোপকথন থেকে প্রত্যাবর্তন করে, তাহলে অনুমানের কিউ এর কথোপকথনটি 'মোডাস পিনেন্স' (বা 'পোডিং এর মোড') নামে পরিচিত। এর ল্যাটিন ফর্মুলেশন হল 'পজিটিভ পূর্বাভাসের ফলাফল'। ল্যাটিন আরও অন্যান্য নিয়ম যেমন 'প্রাক্তন ফলো কোডলিবেট' (কিছুটা মিথ্যা থেকে বর্ণিত), 'রিডাকটিও অ্যাড অ্যাশিউডাম' (এই ফলাফলটি অদ্ভুত দেখাচ্ছে তা প্রকাশ করে) এছাড়াও এই সময়ের থেকে তারিখ।
যাইহোক, ফলাফল তত্ত্ব, বা তথাকথিত 'কল্পবিজ্ঞান অনুমানবাক্য' সম্পূর্ণরূপে 'নির্ণায়ক অনুমানবাক্য' তত্ত্ব মধ্যে একীভূত করা হয় নি। এই আংশিক কারণ ছিল, তথাকথিত অনুশাসিত রায়ের 'প্রত্যেক এস পি পি' শব্দটি সংক্ষেপে 'যদি কোনটি এস হয় তবে এটি' পি 'প্রতিরোধ করার বিরোধিতা। প্রথমটি 'কিছু এস' পি বোঝানো বলে মনে করা হতো, দ্বিতীয়টি ছিল না এবং 1911 সালে দস্তাবেজের উপর এনসাইক্লোপিডিয়া ব্রিটানিকা নিবন্ধে আমরা অক্সফোর্ড ল্যাজিসিয়ান টি। এইচ। পেয়েছি। সিগওয়ার্ট এবং ব্রেন্টানোের সার্বজনীন প্রস্তাবের আধুনিক বিশ্লেষণের বিরুদ্ধে মামলা দায়ের।
===যৌক্তিক ব্যবস্থা সমূহ===
{{main article|আনুষ্ঠানিক পদ্ধতি}}
একটি আনুষ্ঠানিক ব্যবস্থা হ'ল সিদ্ধান্তগ্রহণ বিশ্লেষণের জন্য ব্যবহৃত পদগুলির একটি সংস্থা। এটি একটি বর্ণমালা, বাক্য গঠন করার জন্য বর্ণমালার উপর একটি ভাষা এবং বাক্যগুলি উপভোগের জন্য একটি নিয়ম রয়েছে। গুরুত্বপূর্ণ বৈশিষ্ট্যগুলি মধ্যে যে লজিক্যাল সিস্টেম থাকতে পারে:
* '''[[ধারাবাহিকতা]]''', যার মানে এই যে সিস্টেমের কোনও উপপাদ্য অন্যের বিপরীত হয় না।<ref name="Bergmann, Merrie 2009"/>
* '''[[বৈধতা]]''', যার মানে হল যে সিস্টেমের প্রমানের নিয়মগুলি সত্য প্রাঙ্গনে একটি মিথ্যা অভিব্যক্তি দেয় না।
* '''[[সম্পূর্ণতা]]''', যার মানে হল যে যদি একটি সূত্র সত্য হয়, এটি প্রমাণিত হতে পারে, যেমন সিস্টেমের একটি উপপাদ্য।
* '''[[শব্দ অন্তরীপ]]''', যার মানে হল যে কোন সূত্র সিস্টেমের একটি উপপাদ্য, এটি সত্য। এটি সম্পূর্ণতার বিপরীত। (উল্লেখ্য যে শব্দটির একটি স্বতন্ত্র দার্শনিক ব্যবহারে, একটি যুক্তি যুক্তিযুক্ত যখন এটি উভয় বৈধ এবং তার প্রাঙ্গন সত্য)।<ref>''Internet Encyclopedia of Philosophy'', [http://www.iep.utm.edu/val-snd/ Validity and Soundness]</ref>
কিছু লজিক্যাল সিস্টেমের চারটি বৈশিষ্ট্য নেই উদাহরণস্বরূপ, কার্ট গডেলের অসম্পূর্ণতা তত্ত্বগুলি দেখায় যে, গণিতের যথেষ্ট জটিল আনুষ্ঠানিক পদ্ধতি সামঞ্জস্যপূর্ণ এবং সম্পূর্ণ হতে পারে না;<ref name="Hamilton"/> যাইহোক, প্রথম ক্রম স্পেক্টিভ লজিক্সগুলি নির্দিষ্ট অক্সিজেন দ্বারা বর্ধিত করা হয় না যাতে সমমানের সাথে গাণিতিক আনুষ্ঠানিক পদ্ধতি সম্পূর্ণ এবং সামঞ্জস্যপূর্ণ হতে পারে।<ref name="Introduction to Mathematical Logic"/>
===যুক্তি এবং যৌক্তিকতা===
== যুক্তিবিজ্ঞানের গবেষণা ==
| |||