|
যুক্তিবিজ্ঞান ([[গ্রিস|গ্রিক]] λογικήLog baবা লোগোস,[[ইংরেজি]] Logic) দুটি অর্থ আছে: প্রথমত, এতে কিছু কার্যকলাপ বৈধ '''যুক্তি''' ব্যবহার সম্পর্কে আলোচনা করা হয়েছে; দ্বিতীয়ত, এটি যুক্তি আদর্শ গবেষণা বা তার একটি শাখার নাম, যেখানে ভাষায় প্রকাশিত চিন্তা সম্পর্কে যুক্তিসম্মত আলোচনা বা যুক্তিতর্ক করা হয়। আধুনিক অর্থে- দর্শন, গণিত ও কম্পিউটার বিজ্ঞান বিষয়ের মধ্যে সবচেয়ে স্পষ্টরূপে যুক্তিবিজ্ঞানের বৈশিষ্ট্যগুলি উপস্থিত রয়েছে।
{{সম্পর্কিত|আর্গুমেন্ট আকারে পদ্ধতিগত গবেষণা|অন্যান্য ব্যবহার}}
{{Philosophy sidebar}}
যুক্তিবিজ্ঞান ভারতের বেশ কয়েকটি প্রাচীন সভ্যতাগুলির মধ্যে চর্চিত হয়, [[চীন]], [[পারস্য]] এবং [[গ্রীস]]। পশ্চিমের দেশগুলোতে যুক্তিবিদ্যাকে একটি প্রথাগত শৃঙ্খলা হিসাবে প্রতিষ্ঠিত করেছেন ও [[দার্শনিক|দর্শন]] এর মধ্যে এটি একটি মৌলিক জায়গা দিয়েছেন [[এরিস্টটল]]। যুক্তি গবেষণা শাস্ত্রীয় [[ট্রিভিয়াম|ট্রিভিয়ামের]] অংশ ছিল। পূর্বের দেশগুলোতে, যুক্তিবিজ্ঞান [[বৌদ্ধ]] এবং [[জৈন]] ধর্মাবলম্বিদের দ্বারা উন্নত হয়েছিল।
যুক্তিবিজ্ঞান প্রায়ই তিনটি অংশে- আবেশক যুক্তি, মনন যুক্তি, এবং ন্যায়িক যুক্তি- বিভক্ত করা হয়।
যুক্তিবিজ্ঞান (প্রাচীন গ্রিক থেকে: λογική, অনুবাদ। Logikḗ<ref name="argumentative"/>), মূলত "শব্দ" বা "কি বলা হয়", কিন্তু "চিন্তাধারা" বা "কারণ" মানে আসছে, সাধারণত নিয়মিত বৈধ অনুমান আকারে গবেষণা। একটি বৈধ অভিব্যক্তি এক যেখানে অভিক্ষেপ এবং তার উপসংহার মধ্যে যৌক্তিক সমর্থন একটি নির্দিষ্ট সম্পর্ক আছে। (সাধারণ বক্তৃতাতে, অনুমানের মতো শব্দগুলি দ্বারা বোঝানো হতে পারে, অতএব, অতীত এবং তাই।)
সঠিক সুযোগ এবং যুক্তিবিজ্ঞানের বিষয় হিসাবে কোন সার্বজনীন চুক্তি নেই (দেখুন § প্রতিদ্বন্দ্বী ধারণাগুলি, নীচের), কিন্তু ঐতিহ্যগতভাবে আর্গুমেন্টগুলির শ্রেণিবিন্যাস অন্তর্ভুক্ত করা হয়েছে, 'যৌক্তিক ফর্ম' এর নিয়মানুগ উদ্ভাস যা সমস্ত বৈধ আর্গুমেন্টের জন্য সাধারণ। বিভ্রান্তিকর সহ পরিভাষার অধ্যয়ন, এবং বিবাদগুলি সহ শব্দার্থবিদ্যা অধ্যয়ন। ঐতিহাসিকভাবে, যুক্তিবিদ্যা (প্রাচীনকাল থেকে) এবং গণিত (19 শতকের মাঝামাঝি) থেকে গবেষণায় অধ্যয়ন করা হয়েছে এবং সম্প্রতি কম্পিউটার বিজ্ঞান, ভাষাতত্ত্ব, মনোবিজ্ঞান এবং অন্যান্য ক্ষেত্রগুলিতে যুক্তিবিদ্যা অধ্যয়ন করা হয়েছে।
===যুক্তিবিজ্ঞান===
যুক্তিবিজ্ঞান ([[গ্রিস|গ্রিক]] λογικήLog baবা লোগোস,[[ইংরেজি]] Logic) দুটি অর্থ আছে: প্রথমত, এতে কিছু কার্যকলাপ বৈধ '''যুক্তি''' ব্যবহার সম্পর্কে আলোচনা করা হয়েছে; দ্বিতীয়ত, এটি যুক্তি আদর্শ গবেষণা বা তার একটি শাখার নাম, যেখানে ভাষায় প্রকাশিত চিন্তা সম্পর্কে যুক্তিসম্মত আলোচনা বা যুক্তিতর্ক করা হয়। আধুনিক অর্থে- [[দর্শন]], [[গণিত]] ও [[কম্পিউটার বিজ্ঞান]] বিষয়ের মধ্যে সবচেয়ে স্পষ্টরূপে যুক্তিবিজ্ঞানের বৈশিষ্ট্যগুলি উপস্থিত রয়েছে।
[[যুক্তিবিজ্ঞান]] ভারতের বেশ কয়েকটি প্রাচীন সভ্যতাগুলির মধ্যে চর্চিত হয়, [[চীন]], [[পারস্য]] এবং [[গ্রীস]]। পশ্চিমের দেশগুলোতে [[যুক্তিবিদ্যা]]কে একটি প্রথাগত শৃঙ্খলা হিসাবে প্রতিষ্ঠিত করেছেন ও [[দার্শনিক|দর্শন]] এর মধ্যে এটি একটি মৌলিক জায়গা দিয়েছেন [[এরিস্টটল]]। যুক্তি গবেষণা শাস্ত্রীয় [[ট্রিভিয়াম|ট্রিভিয়ামের]] অংশ ছিল। পূর্বের দেশগুলোতে, [[যুক্তিবিজ্ঞান]] [[বৌদ্ধ]] এবং [[জৈন]] ধর্মাবলম্বিদের দ্বারা উন্নত হয়েছিল।
[[যুক্তিবিজ্ঞান]] প্রায়ই তিনটি অংশে [[আবেশক যুক্তি]], [[মনন যুক্তি]], এবং [[ন্যায়িক যুক্তি]] বিভক্ত করা হয়।
==ধারণা==
{{rquote|right|এই প্রথম, এবং এক অর্থে এই একমাত্র কারণ, কারণ, যে শিখতে আপনি শিখতে ইচ্ছুক শিখতে হবে, এবং তাই আপনি ইতিমধ্যে চিন্তা করতে চান, যাতে সন্তুষ্ট না, সেখানে একটি অনুপাত যা নিজেই হতে প্রাপ্য দর্শনের শহরটির প্রতিটি দেওয়ালের উপরে অঙ্কিত: জিজ্ঞাস্যের পথ অবরোধ করবেন না।|[[চার্লস স্যান্ডার্স পেয়ার্স]], "যুক্তিবিদ্যা প্রথম নিয়ম"}}
যৌক্তিক ফর্মের ধারণা যুক্তিবিজ্ঞানের কেন্দ্রবিন্দু। একটি আর্গুমেন্ট বৈধতা তার লজিক্যাল ফর্ম দ্বারা নির্ধারিত হয়, না তার কন্টেন্ট দ্বারা ঐতিহ্যগতসম্পাদকীয় খ্রিস্টীয় (syllogistic) লজিক এবং আধুনিক সিম্বলিক যুক্তিবিজ্ঞান আনুষ্ঠানিক যুক্তি উদাহরণ।
* '''[[অনানুষ্ঠানিক যুক্তিবিজ্ঞান]]''' প্রাকৃতিক ভাষা আর্গুমেন্টের অধ্যয়ন। বিভ্রান্তি অধ্যয়ন অনানুষ্ঠানিক যুক্তিবিজ্ঞান একটি গুরুত্বপূর্ণ শাখা। যেহেতু অনেক অনানুষ্ঠানিক যুক্তি কঠোরভাবে যুক্তিবাদী কিছু বলে না, তর্কের কিছু ধারণা নিয়ে, অনানুষ্ঠানিক যুক্তি যুক্তিযুক্ত হয় না। নীচের 'প্রতিদ্বন্দ্বী ধারণাগুলি' দেখুন।
* '''[[আনুষ্ঠানিক যুক্তিবিজ্ঞান]]''' বিশুদ্ধরূপে আনুষ্ঠানিক সন্তুষ্ট সঙ্গে অভিপ্রেত গবেষণা। একটি নিছক একটি বিশুদ্ধরূপে আনুষ্ঠানিক বিষয়বস্তু আছে যদি এটি একটি সম্পূর্ণ বিমূর্ত নিয়ম একটি নির্দিষ্ট অ্যাপ্লিকেশন হিসাবে প্রকাশ করা যেতে পারে, যে, একটি নিয়ম যে কোন বিশেষ জিনিস বা সম্পত্তি সম্পর্কে নয়। অ্যারিস্টট্লের কাজগুলি যুক্তিবিজ্ঞানের প্রাথমিক পরিচিত জ্ঞানের অন্তর্ভুক্ত। আধুনিক আনুষ্ঠানিক যুক্তিবিদ্যা অ্যারিস্টট্ল অনুসরণ করে এবং বিস্তৃত।<ref name="The Basic Works"/> যুক্তিবিজ্ঞান, যৌক্তিক পরিভাষা এবং বিশুদ্ধরূপে আনুষ্ঠানিক সন্তুষ্ট সঙ্গে অভিব্যক্তি অনেক সংজ্ঞা মধ্যে একই। এটি অনানুষ্ঠানিক যুক্তিবিজ্ঞানের ধারণাটি নিরবচ্ছিন্নভাবে উপস্থাপিত করে না, কারণ কোনও আনুষ্ঠানিক যুক্তি প্রাকৃতিক ভাষাগুলির সমস্ত নূন্যতম ধারণ করে না।
* '''[[প্রতীকী যুক্তিবিজ্ঞান]]''' হল লক্ষণীয় পরিমাপের আনুষ্ঠানিক বৈশিষ্ট্যগুলি ধারণ করে প্রতীকী বিমূর্ততাগুলির অধ্যয়ন।<ref name="Principia"/><ref name="Hamilton"/> সাঙ্কেতিক যুক্তি প্রায়ই দুটি প্রধান শাখাগুলিতে বিভক্ত হয়: প্রস্তাবিত যুক্তিবিজ্ঞান এবং বিজড়িত যুক্তিবিদ্যা।
* '''[[গাণিতিক যুক্তিবিজ্ঞান]]''' হল অন্যান্য তত্ত্বের ক্ষেত্রে প্রত্নতাত্ত্বিক যুক্তিবিজ্ঞান একটি বিশেষণ, বিশেষত মডেল তত্ত্ব, প্রমাণ তত্ত্ব, তত্ত্ব সেট, এবং পুনরাবৃত্তি তত্ত্বের গবেষণায়।
যাইহোক, কি যুক্তি নেভিগেশন চুক্তি মাতামাতি রয়ে গেছে, এবং যদিও সার্বজনীন যুক্তি ক্ষেত্র ন্যায়শাস্ত্র সাধারণ কাঠামো অধ্যয়ন করেছেন, 2007 সালে ম্যাকোওস্কি (Mossakowski) এট আল মন্তব্য করেছেন যে "এটা লজ্জাজনক যে 'যুক্তিবিজ্ঞান' এর কোন গ্রহণযোগ্য প্রথাগত সংজ্ঞা নেই।"<ref>T. Mossakowski, [[Joseph Goguen|J. A. Goguen]], R. Diaconescu, A. Tarlecki, "What is a Logic?", [[Logica Universalis]] 2007 Birkhauser, pp. 113–133.</ref>
===যৌক্তিক ফর্ম===
{{main article|যৌক্তিক ফর্ম}}
যুক্তিবিজ্ঞান সাধারণত আনুষ্ঠানিকভাবে বিবেচনা করা হয় যখন এটি কোনো বৈধ যুক্তি টাইপের বিশ্লেষণ এবং প্রতিনিধিত্ব করে। আর্গুমেন্টের ফর্ম আনুষ্ঠানিক ব্যাকরণ এবং লজিক্যাল ভাষা এর প্রতীকবিজ্ঞানে তার বাক্য প্রতিনিধিত্ব দ্বারা প্রদর্শন করা হয় তার বিষয়বস্তু আনুষ্ঠানিক পরিপ্রেক্ষিতে ব্যবহারযোগ্য করতে। সহজভাবে করা, আনুষ্ঠানিকতা যুক্তি যুক্তিবিদ্যা ভাষা মধ্যে ইংরেজি বাক্য অনুবাদ কেবল অর্থ।
এই যুক্তি যুক্তিগত ফর্ম দেখাচ্ছে বলা হয়। এটি প্রয়োজনীয় কারণ সাধারণ ভাষা নির্দেশসূচক বাক্য একটি উল্লেখযোগ্য বিভিন্ন ফর্ম এবং জটিলতা দেখায় যা তাদের নিছক অস্তিত্বহীন কাজে ব্যবহার করে। এটি যুক্তিযুক্ত লক্ষণীয় (যেমন "লিঙ্গ" শব্দটি ল্যাটিন ভাষায়, যদি লিঙ্গ এবং হ্রাসের মতো অপ্রাসঙ্গিক বলে মনে করা হয়) অবহেলিত হয়, যেমন, "এবং" এবং লজিকাল সংযোগের সাথে দ্ব্যর্থহীন, অথবা বিকল্প যৌক্তিক এক্সপ্রেশন ("কোন", "প্রতি", ইত্যাদি) একটি প্রমিত প্রকারের এক্সপ্রেশন (যেমন "সব", বা সার্বজনীন কোয়ান্টিফায়ার ∀)।
দ্বিতীয়ত, বাক্যটির কিছু অংশকে পরিকল্পিত অক্ষর দিয়ে প্রতিস্থাপিত করতে হবে। উদাহরণস্বরূপ, উদাহরণস্বরূপ, "সমস্ত পিএস কিউ" শব্দটি "সকল মানুষ মরণশীল", "সকল বিড়ালেরা মরণশীল", "সমস্ত গ্রীক দার্শনিক" এবং একই সাথে বাক্যগুলির লজিকাল ফর্মকে দেখায়। স্কিমা আরও সূত্র A (পি, প্রশ্ন) এর মধ্যে সংকুচিত হতে পারে, যেখানে অক্ষর A রায়কে 'সব - হয় -' নির্দেশ করে।
ফর্ম গুরুত্বপূর্ণ গুরুত্ব প্রাচীনকালে থেকে স্বীকৃত ছিল। অ্যারিস্টট্ল ভেরিয়েবলের প্রবর্তন "অ্যারিস্টটলের সর্বশ্রেষ্ঠ আবিষ্কারের একজন" হ'ল বলে বলার জন্য যান লুকাসিএবিসিজ এর নেতৃস্থানীয়, পূর্বে বৈশ্লেষিক ন্যায় মধ্যে বৈধ পরিভাষা প্রতিনিধিত্ব করতে ভেরিয়েবল অক্ষর ব্যবহার করে।<ref name="Aristotle's syllogistic from the standpoint of modern formal logic"/> অ্যারিস্টট্লের অনুগামীদের (যেমন আম্মোনিয়াস) মতে, পরিকল্পিত পদগুলির মধ্যে উল্লিখিত যৌক্তিক নীতিগুলি যুক্তিবিজ্ঞানের অন্তর্গত, জমাটবদ্ধ পদগুলিতে দেওয়া নয়। জমাটবদ্ধ শব্দ "মানুষ", "মরণশীল" ইত্যাদি, পরিকল্পিত স্থানধারক পি, প্রশ্ন, আর, যা "ব্যাপার" (গ্রিক হাইল) অভিযোজন বলা হয় প্রতিস্থাপন মান অনুরূপ হয়।
ঐতিহ্যগত শব্দগত যুক্তিবিজ্ঞান এবং [[বিন্দু গণনা]] মধ্যে দেখা যায় সূত্রের মধ্যে একটি বড় পার্থক্য রয়েছে যা আধুনিক যুক্তিবিজ্ঞানের মৌলিক অগ্রগতি। ঐতিহ্যগত যুক্তিবিজ্ঞানের সূত্র '' এ (পি, প্রশ্ন) '' (সমস্ত পি এস কিউ) আরো জটিল সূত্র <math>\forall x. (P(x) \rightarrow Q(x))</math> বিজড়িত যুক্তিবিদ্যা- এর মধ্যে, [[সার্বজনীন রাশিকরণ]] এবং [[উপাদান শর্তাধীন | সংশ্লেষণ]] 'এবং ভেরিয়েবল আর্গুমেন্টগুলি ব্যবহার করে <math>P(x)</math> যেখানে ঐতিহ্যগত লজিকটি শুধু শব্দ' পি '' ব্যবহার করে। জটিলতার সাথে শক্তি আসে, এবং বিশ্লেষণ ক্যালকুলাসের আবির্ভাব বিষয়টির বিপ্লবী বৃদ্ধি উদ্বোধন করে।
===শব্দার্থবিদ্যা===
{{main article|যুক্তিবিদ্যার শব্দার্থবিদ্যা}}
একটি আর্গুমেন্ট বৈধতা এটি আপ করা বাক্যগুলির অর্থ বা শব্দার্থ উপর নির্ভর করে।
অ্যারিস্টটলের জৈবিক অর্গানন, বিশেষতঃ ব্যাখ্যা, শব্দের একটি অবাস্তব রূপরেখা প্রদান করে যা বিশেষ করে ত্রয়োদশ ও চৌদ্দ শতকের পণ্ডিত লেখক, একটি জটিল এবং অত্যাধুনিক তত্ত্বের মধ্যে আবির্ভূত হয়, যার নাম সুপারপশন থিওরি। এই দেখান কিভাবে সহজ বাক্য সত্য, সচেমাটিক্যালয় (schematically) প্রকাশ, শর্ত কিভাবে শব্দ 'সুপ্পসিত (supposit)' বা নির্দিষ্ট অতিরিক্ত ভাষাগত আইটেম জন্য স্ট্যান্ড উপর নির্ভর করে। উদাহরণস্বরূপ, তার সুমা যুক্তিবিদ্যা এর অংশ II, অক্খম (Ockham) এর উইলিয়াম সাধারণ আর্গুমেন্ট বৈধ এবং যা না হয় প্রদর্শন করতে যাতে, সহজ বাক্য সত্য জন্য প্রয়োজনীয় এবং পর্যাপ্ত অবস্থার একটি ব্যাপক অ্যাকাউন্ট উপস্থাপন করে। এইভাবে "প্রত্যেকটি 'বি' সত্য এবং যদি এমন কিছু থাকে যার জন্য 'এ' দাঁড়ায়, এবং এমন কিছু নেই যেখানে 'এ' দাঁড়ায়, যার জন্য 'বি' দাঁড়ায় না।'<ref>''Summa Logicae'' Part II c.4 transl. as ''Ockam's Theory of Propositions'', A. Freddoso and H. Schuurman, St Augustine's Press 1998, p.96</ref>
প্রারম্ভিক আধুনিক যুক্তিবিজ্ঞান কেবল ধারণাগুলি মধ্যে একটি সম্পর্ক হিসাবে সংজ্ঞায়িত সংজ্ঞাবিজ্ঞান। পোর্ট রয়েল লজিক এন্টোনিয়ান অ্যারানালড বলেছেন, 'আমাদের ধারণা দ্বারা জিনিসগুলি ধারণ করার পর, আমরা এই ধারনাগুলির তুলনা করি এবং কিছু খুঁজে পাওয়া যায় এমন কিছু খুঁজে পাওয়া যায় এবং কেউ কেউ তা করে না, আমরা তাদের ঐক্যবদ্ধ বা পৃথক করি। এটি নিশ্চিত বা অস্বীকার, এবং সাধারণ বিচারক বলা হয়।<ref>Arnauld, ''Logic or the Art of Thinking'' Part 2 Chapter 3.</ref> এইভাবে সত্য এবং জালিয়াতি ধারণা বা মতাদর্শের মত মতভেদ ছাড়া আর কিছুই নয়। এটি আমাদেরকে 'বাস্তব সত্য' এবং 'কাল্পনিক' বা 'মৌখিক' সত্যের মতো 'বাস্তব' সত্যের মধ্যে পার্থক্য করার জন্য লককে অগ্রণী ভূমিকা রাখে, যা সুস্পষ্ট অসুবিধাগুলি তুলে ধরে, যেখানে হৃৎপিন্ড বা সিন্থারের মতামত কেবলমাত্র মনের মধ্যে বিদ্যমান থাকে।<ref>Locke, 1690. [[An Essay Concerning Human Understanding]], IV. v. 1-8)</ref> ঊনবিংশ শতাব্দীতে এই দর্শন (মনোবিজ্ঞান) চরম আকার ধারণ করা হয় এবং বিংশ শতাব্দীর আগে সাধারণের যুক্তিবিজ্ঞানগুলির পতন ঘটিয়ে একটি সংক্ষিপ্ত বিন্দু বোঝানোর জন্য সাধারণত আধুনিক যুক্তিবিজ্ঞানী কর্তৃক পরিচালিত হয়।
এই ধরনের মানসিক সত্য অবস্থার প্রত্যাখ্যান মধ্যে, আধুনিক শব্দের মধ্যযুগীয় দর্শন কাছাকাছি কিছু উপায়ে হয়। যাইহোক, পরিমাপের প্রবর্তন, একাধিক সাধারণত্বের সমস্যার সমাধান করতে হবে, মধ্যযুগীয় শব্দপদ্ধতির আওতায় পড়ে এমন বিষয়-বিশ্লেষণ বিশ্লেষণের মতো অসম্ভবকে অসম্ভব বলে। প্রধান আধুনিক পদ্ধতি হল মডেল-তাত্ত্বিক পরিভাষা, যা আলফ্রেড টারস্কির সত্যের তত্ত্বীয় তত্ত্বের উপর ভিত্তি করে। পদ্ধতিটি অনুমান করা যায় যে প্রস্তাবগুলির বিভিন্ন অংশগুলির অর্থ সম্ভাব্য উপায়গুলি দ্বারা দেওয়া হয় যেগুলি আমরা তাদের কাছ থেকে বিশদ বিশ্লেষণের একটি নির্দিষ্ট গ্রুপকে বক্তৃতাগুলির পূর্বনির্ধারিত ডোমেইন দিতে পারি: প্রথম ক্রম বিশ্লেষণের একটি ব্যাখ্যা একটি দ্বারা প্রদত্ত হয় পরিভাষায় ব্যক্তিবিশেষ একটি পদ থেকে ম্যাপিং, এবং প্রস্তাব থেকে সত্য মান মানচিত্র "সত্য" এবং "মিথ্যা"। মডেল-তাত্ত্বিক পরিভাষা মডেল তত্ত্বের মৌলিক ধারণাগুলির মধ্যে একটি। আধুনিক পরিভাষা প্রতিদ্বন্দ্বী পন্থাগুলিও স্বীকার করে, যেমন প্রমাণ-তাত্ত্বিক শব্দচিহ্নগুলি যা ভূমিকাগুলির মধ্যে তারা ভূমিকা পালন করতে পারে এমন ভূমিকাগুলির সাথে সম্পর্কযুক্ত ধারণাগুলির সাথে সম্পর্কযুক্ত, এমন একটি পদ্ধতি যা অবশেষে কাঠামোগত প্রমাণ তত্ত্বের উপর গেরহার্ড জেনেসেনের কাজ থেকে উদ্ভূত এবং ব্যাপকভাবে প্রভাবিত হয় লুডভিগ উইটজেনস্টাইনের এর পরবর্তী দর্শন, বিশেষত তার সূত্র "অর্থ ব্যবহার করা হয়"
===অনুমান===
অন্তর্নিহিত প্রভাব সঙ্গে বিভ্রান্ত করা হয় না। একটি নিখুঁত ফর্ম 'যদি পি তারপর কিউ' ফর্মের একটি বাক্য এবং সত্য বা মিথ্যা হতে পারে। স্টুয়িক লজিজিন ফিলো মেগারা প্রথম এই ধরনের একটি সংশ্লেষের সত্য অবস্থার সংজ্ঞায়িত: মিথ্যা শুধুমাত্র যখন পূর্ববর্তী পি সত্য এবং ফল কিউ হয় মিথ্যা, অন্য সব ক্ষেত্রে সত্য। অন্যদিকে, একটি অনুচ্ছেদ, 'পি অতএব কিউ' রূপের দুটি আলাদাভাবে উল্লিখিত প্রস্তাবগুলি নিয়ে গঠিত। একটি অনুচ্ছেদ সত্য বা মিথ্যা নয়, তবে বৈধ বা অবৈধ যাইহোক, অন্তর্নিহিত এবং নির্ণায়ক মধ্যে একটি সংযোগ আছে, নিম্নরূপ: যদি 'পি যদি কিউ' সত্য হয় তাহলে, 'পি' সুতরাং 'কিউ' মানে বৈধ। এই ফিলো দ্বারা একটি দৃশ্যত বিপর্যয়মূলক সূত্র দেওয়া হয়, যিনি বলেন, 'দিন যদি, এটা রাতে' শুধুমাত্র রাতে সত্য হয়, তাই অভিপ্রেত 'এটা দিন, তাই রাতে হয়' রাতে বৈধ, কিন্তু দিনের মধ্যে না।
প্রচলিত তত্ত্ব (বা 'পরিণতি') পদ্ধতিগতভাবে মধ্যযুগীয় সময়ে লজিজিনের মত রচিত হয়েছিল যেমন উইলিয়াম ও ওখাম এবং ওয়াল্টার বর্লি। এটি অনন্য মধ্যযুগীয়, যদিও এর অস্তিত্ব অ্যারিস্টটলের বিষয় এবং বোথিয়াস 'দে সাইলোগিসিস হিপোটিয়েটিসগুলির মধ্যে রয়েছে। এই কারণে যুক্তিবিজ্ঞান মধ্যে অনেক পদ ল্যাটিন হয়। উদাহরণস্বরূপ, যে নিয়মটি প্রযোজ্য 'যদি পি তারপর কিউ' প্লাস থেকে তার পূর্ববর্তী পি এর কথোপকথন থেকে প্রত্যাবর্তন করে, তাহলে অনুমানের কিউ এর কথোপকথনটি 'মোডাস পিনেন্স' (বা 'পোডিং এর মোড') নামে পরিচিত। এর ল্যাটিন ফর্মুলেশন হল 'পজিটিভ পূর্বাভাসের ফলাফল'। ল্যাটিন আরও অন্যান্য নিয়ম যেমন 'প্রাক্তন ফলো কোডলিবেট' (কিছুটা মিথ্যা থেকে বর্ণিত), 'রিডাকটিও অ্যাড অ্যাশিউডাম' (এই ফলাফলটি অদ্ভুত দেখাচ্ছে তা প্রকাশ করে) এছাড়াও এই সময়ের থেকে তারিখ।
যাইহোক, ফলাফল তত্ত্ব, বা তথাকথিত 'কল্পবিজ্ঞান অনুমানবাক্য' সম্পূর্ণরূপে 'নির্ণায়ক অনুমানবাক্য' তত্ত্ব মধ্যে একীভূত করা হয় নি। এই আংশিক কারণ ছিল, তথাকথিত অনুশাসিত রায়ের 'প্রত্যেক এস পি পি' শব্দটি সংক্ষেপে 'যদি কোনটি এস হয় তবে এটি' পি 'প্রতিরোধ করার বিরোধিতা। প্রথমটি 'কিছু এস' পি বোঝানো বলে মনে করা হতো, দ্বিতীয়টি ছিল না এবং 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"/>
===যুক্তি এবং যৌক্তিকতা===
{{main article|যুক্তি এবং যৌক্তিকতা}}
{{confusing|অধ্যায়|date=26 Jan 2018}}
যেহেতু যুক্তির অধ্যয়নের কারণগুলি আমরা সত্য বলে ধরে নিয়েছি সেগুলির স্পষ্ট গুরুত্ব রয়েছে, যুক্তিবিজ্ঞান যুক্তিবিজ্ঞানের অপরিহার্য গুরুত্ব। এখানে আমরা "যুক্তি আকারে নিয়মানুগ গবেষণা" হতে যুক্তি নির্ধারণ করেছি; যুক্তির পিছনে যুক্তি বিভিন্ন ধরণের হয়, কিন্তু এই যুক্তির কিছু ঠিক যুক্তি যুক্তিবিজ্ঞান উপবৃত্তির অধীন পড়ে।
প্রদেয় যুক্তি যুক্তিযুক্ত পরিসরের যৌক্তিক ফলাফলকে বোঝায় এবং যুক্তিসঙ্গত কারণের সাথে যুক্ত যুক্তিগুলির আকার। যুক্তিবিজ্ঞান একটি সংক্ষিপ্ত ধারণা (নীচের দেখুন) যুক্তিবিজ্ঞান উদ্বেগ শুধুমাত্র করণীয় যুক্তি, যদিও এই ধরনের একটি সংকীর্ণ ধারণা বিতর্কিত শৃঙ্খলা থেকে অনানুষ্ঠানিক যুক্তি বলা হয় অধিকাংশ অন্তর্ভুক্ত।
তাত্পর্যপূর্ণ অন্যান্য যুক্তি রয়েছে যা যুক্তিসঙ্গত কিন্তু সাধারণভাবে এটি যুক্তিবিজ্ঞানের অংশ হওয়ার জন্য নেওয়া হয় না। এর মধ্যে রয়েছে [[প্রস্তাবনামূলক যুক্তি]], যা নির্দিষ্ট সিদ্ধান্তগুলির সংগ্রহ থেকে সার্বজনীন সিদ্ধান্তসমূহ এবং [[অপদগ্নীয় যুক্তি]]<ref name=abduction>On [[abductive reasoning]], see:
* Magnani, L. "Abduction, Reason, and Science: Processes of Discovery and Explanation". ''Kluwer Academic Plenum Publishers, New York, 2001''. xvii. 205 pages. Hard cover, {{isbn|0-306-46514-0}}.
* R. Josephson, J. & G. Josephson, S. "Abductive Inference: Computation, Philosophy, Technology" ''Cambridge University Press, New York & Cambridge (U.K.)''. viii. 306 pages. Hard cover (1994), {{isbn|0-521-43461-0}}, Paperback (1996), {{isbn|0-521-57545-1}}.
* Bunt, H. & Black, W. "Abduction, Belief and Context in Dialogue: Studies in Computational Pragmatics" ''(Natural Language Processing, 1.) John Benjamins, Amsterdam & Philadelphia, 2000''. vi. 471 pages. Hard cover, {{isbn|90-272-4983-0}} (Europe),
1-58619-794-2 (U.S.)</ref> থেকে সরানো হয়, যা অনুমানের একটি রূপ যা একটি অনুমানের পর্যবেক্ষণ থেকে যায় যা অ্যাকাউন্টের জন্য হিসাব করে। নির্ভরযোগ্য তথ্য (পর্যবেক্ষণ) এবং প্রাসঙ্গিক প্রমাণ ব্যাখ্যা চাওয়া আমেরিকান দার্শনিক [[চার্লস স্যান্ডার্স পার্স]] (1839-1914) প্রথমবারের মতো "অনুমান" শব্দটি চালু করেছিলেন।<ref name=guess>See [http://www.commens.org/dictionary/term/abduction Abduction] and [http://www.commens.org/dictionary/term/retroduction Retroduction] at ''Commens Dictionary of Peirce's Terms'', and see Peirce's papers:
* "On the Logic of drawing History from Ancient Documents especially from Testimonies" (1901), ''Collected Papers'' v. 7, paragraph 219.
* "PAP" ["Prolegomena to an Apology for Pragmatism"], MS 293 c. 1906, ''New Elements of Mathematics'' v. 4, pp. 319-320.
* A Letter to F. A. Woods (1913), ''Collected Papers'' v. 8, paragraphs 385-388.</ref> পার্স বলেন যে একটি অদ্ভুত বিস্ময়কর পরিস্থিতিতে <math>B</math> থেকে একটি অনুমানমূলক ব্যাখ্যা <math>A</math> ব্যাখ্যা করতে হয় যে <math>A</math> সত্য হতে পারে কারণ তারপর <math>B</math> অবশ্যই একটি ব্যাপার হবে।<ref name=HL>Peirce, C. S. (1903), Harvard lectures on pragmatism, ''Collected Papers'' v. 5, [http://www.textlog.de/7664-2.html paragraphs 188–189].</ref> সুতরাং, <math>B</math> থেকে প্রমাণ স্বরূপ উল্লেখ করার জন্য <math>A</math> [[প্রয়োজনীয় এবং যথেষ্ট শর্তাবলী|প্রয়োজনীয় এবং পর্যাপ্ত শর্তসমূহ যথেষ্ট (অথবা প্রায় যথেষ্ট) নির্ধারণ করা, কিন্তু প্রয়োজনীয় নয়]], <math>B</math>
যদিও প্রগতিশীল এবং অপ্রচলিত ধারণা যুক্তিবিজ্ঞানের একটি অংশ নয়, ততটা যুক্তিবিজ্ঞানের পদ্ধতি তাদের কিছুটা সাফল্যের সাথে প্রয়োগ করা হয়েছে। উদাহরণস্বরূপ, আনুপাতিক বৈধতা (যেখানে একটি অনুচ্ছেদ ডেডাকটিভলি বৈধ [[যদি এবং কেবল যদি]] কোন সম্ভাব্য অবস্থা নেই যেখানে সমস্ত প্রাঙ্গন সত্য কিন্তু উপসংহার মিথ্যা) অবজেক্টের বৈধতা ধারণা একটি দৃষ্টান্ত মধ্যে বিদ্যমান , বা "শক্তি", যেখানে একটি ধারণা ইনডাকটিভলি শক্তিশালী হয় এবং শুধুমাত্র যদি এর প্রাঙ্গন তার উপসংহার যাও কিছু মাত্রা সম্ভাবনা প্রদান। যদিও [[শব্দার্থবিদ্যা]] এর সুস্পষ্ট ধারণাগুলির অনুপস্থিতির মধ্যে আনুপাতিক বৈধতা অনুধাবনের জন্য আনুষ্ঠানিক যুক্তিবিজ্ঞান পদ্ধতিতে কঠোরভাবে উল্লেখ করা যেতে পারে, তবে অবজেক্টের বৈধতা আমাদের কিছু পর্যবেক্ষণ পর্যবেক্ষণের একটি নির্ভরযোগ্য সাধারণীকরণ নির্ধারণ করতে হবে। এই সংজ্ঞা প্রদানের কাজটি বিভিন্ন উপায়ে, অন্যের তুলনায় কম আনুষ্ঠানিকতার তুলনায়; এই সংজ্ঞাগুলির মধ্যে কিছু লজিক্যাল অ্যাসোসিয়েশন [[নিয়ম প্রবর্তন]] ব্যবহার করতে পারে, অন্যরা [[গাণিতিক মডেল]] এর সম্ভাব্যতার ব্যবহার করতে পারে যেমন [[সিদ্ধান্ত গাছ]] গুলি।
===প্রতিদ্বন্দ্বী ধারণাগুলি===
{{Main article|যুক্তিবিজ্ঞানের প্রতিদ্বন্দ্বী ধারণাগুলি}}
[[যুক্তি প্রদর্শন]] এর সংশোধন সঙ্গে একটি উদ্বেগ থেকে লজিক (নীচের দেখুন) উত্থাপিত। আধুনিক ল্যাজিসমূহ সাধারণত যুক্তিগত অধ্যয়নগুলিকে কেবলমাত্র সেই আর্গুমেন্টগুলিকে নিশ্চিত করতে চায়, যা সঠিক সাধারণ অনুক্রমে সাধারণ প্রকারের সূত্র থেকে উদ্ভূত হয়। উদাহরণস্বরূপ, থমাস হোফউবার লেখেন, '[[দর্শনশাস্ত্রের স্ট্যানফোর্ড বিশ্বকোষ]]' "যে যুক্তিটি" সম্পূর্ণ যুক্তিযুক্ত নয় বরং এটি যুক্তিযুক্ত। "এটি [[যৌক্তিকতা]] তত্ত্বের কাজ। বরং এটি ঐতিহাসিকদের সাথে সম্পর্কযুক্ত হয় যার বৈধতাটি সেই উপস্থাপনার আনুষ্ঠানিক বৈশিষ্ট্যগুলির পিছনে খুঁজে পাওয়া যেতে পারে, যা তারা এই অর্থে জড়িত, তারা ভাষাগত, মানসিক বা অন্য প্রতিনিধিত্বমূলক হতে পারে।"<ref name="stanford-logic-onthology"/>
যুক্তিবিজ্ঞান {{by whom|date=September 2016}} "তাদের আকারের ভিত্তিতে যুক্তিগুলির সঠিক গবেষণা" হিসাবে সংজ্ঞায়িত করা হয়েছে। এই প্রবন্ধে যে সংজ্ঞাটি নেওয়া হয়েছে তা নয়, তবে ধারণা যে যুক্তিবিজ্ঞান বিশেষ ধরনের যুক্তি, সাধারণত বিতর্কের পরিবর্তে বিতর্কিত যুক্তিযুক্ত, যুক্তিযুক্ত একটি ইতিহাস আছে যা গণিতের [[যুক্তিবিদ্যাধর্ম]] তে অন্ততঃ পর্যায়ক্রমিক হয় ( 19 তম এবং বিংশ শতাব্দী) এবং দর্শনের গাণিতিক যুক্তিবিজ্ঞান প্রভাবের আবির্ভাব। বিশেষ ধরনের আর্গুমেন্টের জন্য যুক্তি গ্রহণের একটি ফল হল যে এটি বিশেষ ধরণের সত্যের সনাক্তকরণের দিকে পরিচালিত করে, লজিক্যাল সত্যগুলি (সমতুল্য যুক্তিগত সত্যের গবেষণায় যুক্ত), এবং যুক্তিবিদ্যা অধ্যয়নরত অনেক মূল বস্তুকে অন্তর্ভুক্ত করে না অনানুষ্ঠানিক যুক্তি হিসাবে গণ্য করা হয়। [[রবার্ট ব্রান্ডোম]] এই ধারণার বিরুদ্ধে যুক্তি দিয়েছেন যে লজিকটি একটি বিশেষ ধরনের লজিক্যাল সত্যের গবেষণায় যুক্তিযুক্ত যে পরিবর্তে [[উপাদান অনুমান]] এর যুক্তি [[উইলফ্রিড সেলার্সের পরিভাষা] ]), যৌক্তিক ধারণা তৈরি করে যা মূলত অনানুষ্ঠানিক পরিপ্রেক্ষিতে অন্তর্নিহিত ছিল।<ref name="brandom-2000" />{{page needed|date=September 2016}}
==ইতিহাস==
{{Main article|যুক্তিবিদ্যা ইতিহাস}}
[[File:Aristotle Altemps Inv8575.jpg|thumb|150px|[[অ্যারিস্টট্ল]], 384–322 ব্যাচেলর অফ কেমিক্যাল ইঞ্জিনিয়ারিং।.]]
ইউরোপে, যুক্তি [[অ্যারিস্টট্ল]] দ্বারা প্রথম আবির্ভূত হয়েছিল। বিজ্ঞান ও গণিতে ব্যাপকভাবে গৃহীত হয়ে ওঠে এবং 19 শতকের প্রথম দিকে পর্যন্ত পশ্চিমের বিস্তৃত ব্যবহারে পরিণত হয়।<ref name = "mtu"/> যুক্তিবিদ্যায় অ্যারিস্টটলের পদ্ধতি প্রবর্তনের জন্য দায়ী ছিল [[কল্পবিজ্ঞান]],<ref name="google"/> [[আধুনিক যুক্তি|সময়গত]] [[মোডাল যুক্তি]]। <ref name = "google1"/> <ref name = "google2"/> এবং [[প্রস্তাবনামূলক যুক্তি|অনুভূমিক যুক্তিবিজ্ঞান]], <ref name = "google3"/> পাশাপাশি প্রভাবশালী শর্তাবলী যেমন [[পরিভাষা | পদ]], [[বিধেয়রূপে প্রযোজ্য]], [[অনুমানবাক্যগুলি]] এবং [[প্রতিজ্ঞা]] গুলি। পরবর্তী মধ্যযুগীয় যুগে [[ইউরোপে]], এরিস্টটলের ধারণাগুলি [[খ্রিস্টীয়]] বিশ্বাসের সাথে সামঞ্জস্যপূর্ণ ছিল তা দেখানোর জন্য প্রধান প্রচেষ্টাগুলি করা হয়েছিল। [[উচ্চ মধ্যযুগ]] সময়, দার্শনিকদের একটি প্রধান ফোকাস হয়ে ওঠে, যারা দার্শনিক আর্গুমেন্টগুলির জটিল লজিক্যাল বিশ্লেষণে প্রায়ই অংশগ্রহণ করত [[দার্শনিক পদ্ধতি]] এর পদ্ধতির বৈচিত্র ব্যবহার করে। 13২3 সালে, [[ওখামের উইলিয়াম]] এর প্রভাবশালী "[[যুক্তিবিদ্যার যোগফল|প্রধান যুক্তিবিজ্ঞান]] '' মুক্তি পায় '। 18 শতকের দিকে, [[লুডভিগ হলবর্গ|হলবের্গ]] 'এর ব্যঙ্গাত্মক খেলা' [[ইরাসমুস মন্টানাস]] '' হিসাবে দেখানো হয়েছে, আর্গুমেন্টগুলির কাঠামোগত পদ্ধতিটি অনুপস্থিত এবং অনুপস্থিতিতে পতিত হয়েছে।
[[চীন মধ্যে যুক্তিবিজ্ঞান|চীনা যৌক্তিক]] দার্শনিক [[গঙ্গসুন লং]] ({{nowrap|c. 325–250 BCE}}) বিরোধিতা প্রস্তাব করে "এক এবং এক দুটো হতে পারে না, যেহেতু দুইটি হয় না।" <ref name="propositions"/> চীনে, [[হান ফিজি]] এর আইনবিদ দর্শনের পর [[কিউয়ান বংশের]] দ্বারা যুক্তিবিজ্ঞানের গবেষণার ঐতিহ্যকে দমন করা হয়।
ভারতে, নৈয়ায়িক শাস্ত্রীয় স্কুলে নতুনত্বগুলি 18 শতকের প্রথম দিকে নববই-বিচার্য স্কুল দিয়ে প্রাচীন যুগে অব্যাহত ছিল। 16 তম শতাব্দী থেকে, এটি আধুনিক যুক্তিবিজ্ঞানের অনুরূপ তত্ত্ব গড়ে তুলেছিল, যেমন গটলব ফরেজের "যথোপযুক্ত নামসমূহের অনুভূতি এবং রেফারেন্সের মধ্যে পার্থক্য" এবং তার "সংখ্যার সংজ্ঞা" এবং সেইসাথে "সার্বজনীনদের জন্য বিধিনিষেধের শর্ত" আধুনিক সেট তত্ত্বের উন্নতি।<ref name="Chakrabarti"/> 18২4 সাল থেকে ভারতীয় যুক্তিবিজ্ঞান অনেক পশ্চিমা পণ্ডিতদের মনোযোগ আকর্ষণ করে, এবং 19 শতকের শতাব্দীর গুরুত্বপূর্ণ লেখক যেমন চার্লস বাব্যাগে, অগাস্টাস ডি মরগান এবং জর্জ বুলের উপর প্রভাব ফেলে।<ref name="Indian logic: a reader"/> বিংশ শতাব্দীতে, স্ট্যানিস্লা শেইয়ার এবং ক্লাউস গ্লাওশফের মত পশ্চিমী দার্শনিকরা ভারতীয় লৌকিকভাবে আরও ব্যাপকভাবে আবিষ্কার করেছেন।
অ্যারিস্টট্ল দ্বারা [[অনুমানবাক্য|সিল্লোগিস্টিক]] যুক্তিবিজ্ঞানটি 19 শতকের মাঝামাঝি পর্যন্ত মধ্যপ্রাচ্যে প্রবক্তিত হয়, যখন [[গণিতের ভিত্তি]] এর আগ্রহে প্রতীকী যুক্তিবিদ্যা (এখন [[গাণিতিক যুক্তি]] বলা হয় )। 1854 সালে, জর্জ বুয়েল '' [[চিন্তার আইন|তত্ত্ব এবং সম্ভাব্যতা এর গাণিতিক তত্ত্ব স্থাপন করা হয় যা চিন্তার আইন একটি তদন্ত]] '', প্রতীকী যুক্তিবিজ্ঞানের সূচনা করে এবং এখন যেগুলির নাম বলা হয় [[বুলিয়ান যুক্তি]]। 1879 সালে, গটলব ফ্রয়েজ প্রকাশিত '' [[বেগ্ৰীফস্ক্রিফট]] '', যা [[রাশিকরণ (যুক্তিবিদ্যা)|কোয়ান্টিফায়ারের]] আবিষ্কারের সাথে আধুনিক যুক্তি প্রকাশ করে। 1910 থেকে 1913 সাল পর্যন্ত, [[আলফ্রেড নর্থ হোয়াইটহেড]] এবং [[বারট্রান্ড রাসেল]] গণিতের ভিত্তিগুলির উপর "[[গাণিতিক নীতির]] '' <ref name="Principia"/> প্রকাশ করেন যা গাণিতিক সত্য উপভোগের চেষ্টা করে। প্রতীকী যুক্তিবিজ্ঞান থেকে [[স্বত: সিদ্ধ সত্য]] এবং [[অর্থশাস্ত্রের নিয়ম]] গুলি থেকে। 1931 সালে, [[গোডেলের]] ফাউন্ডেশনালিস্ট প্রোগ্রামের সাথে গুরুতর সমস্যা উত্থাপন করে এবং এই ধরনের বিষয়গুলির উপর মনোযোগ কেন্দ্রীভূত করা বন্ধ করে দেয়।
ফ্রেগ, রাসেল এবং [[উইটগেনস্টেইন]] থেকে তর্কের বিকাশের দর্শন দর্শনশাস্ত্র এবং দার্শনিক সমস্যাগুলির অনুভূত প্রকৃতি ([[বিশ্লেষণাত্মক দর্শন]] দেখুন এবং [[গণিতের দর্শন]] অনুশীলনের ওপর গভীর প্রভাব ফেলেছিল। যুক্তিবিদ্যা, বিশেষত অনুভূমিক যুক্তিবিজ্ঞান, কম্পিউটার [[ডিজিটাল ইলেক্ট্রনিক্স|যুক্তিবিজ্ঞান সার্কিট]] এ বাস্তবায়িত হয় এবং [[কম্পিউটার বিজ্ঞান]] মৌলিক। যুক্তিবিজ্ঞান সাধারণত বিশ্ববিদ্যালয় দর্শনের বিভাগ দ্বারা, প্রায়ই একটি বাধ্যতামূলক শৃঙ্খলা দ্বারা শেখানো হয়।
== যুক্তিবিজ্ঞানের গবেষণা ==
[[যৌক্তিক রুপ বা বিন্যাস]] হলো যুক্তিবিজ্ঞানের কেন্দ্র। কোনো আলোচনা বা যুক্তিতর্কের বৈধতা বা দৃঢ়তা নির্ধারিত হয় এর যৌক্তিক বিন্যাস এর উপর নির্ভর করে, এর বিষয়বস্তুর উপর নয়। পরম্পরাগত এরিস্টটলিয় আনুমানিক [[যুক্তিবিজ্ঞান]] ও আধুনিক প্রতীকমূলক যুক্তিবিজ্ঞান হলো প্রথাগত [[যুক্তি]]রযুক্তির উদাহরণ।
অপ্রথাগত [[যুক্তিবিজ্ঞান]] হলো সাধারণ ভাষায় করা যুক্তিতর্কের [[গবেষণা]]। সামান্য বিষয়ে যেই যুক্তিতর্ক করা হয় তার চর্চা করা অপ্রথাগত যুক্তিবিজ্ঞানের একটি গুরুত্বপূর্ণ শাখা। [[প্লেটো]]-র কিছু উদ্ধৃতি এই যুক্তিবিজ্ঞানের উপযুক্ত উদাহরণ।
অপ্রথাগত যুক্তিবিজ্ঞান হলো সাধারণ ভাষায় করা যুক্তিতর্কের গবেষণা। সামান্য বিষয়ে যেই যুক্তিতর্ক করা হয় তার চর্চা করা অপ্রথাগত যুক্তিবিজ্ঞানের একটি গুরুত্বপূর্ণ শাখা। [[প্লেটো]]-র কিছু উদ্ধৃতি এই যুক্তিবিজ্ঞানের উপযুক্ত উদাহরণ।
=== যৌক্তিক রুপ বা বিন্যাস ===
যুক্তি সাধারনত আনুষ্ঠানিক রুপে বিবেচিত হয়, যখন এটি বিশ্লেষিত ও প্রতিনিধিত্ব করে কোনো বৈধ আলোচনার। একটি আলোচনার প্রকৃতি প্রদর্শিত হয় তখনই, যখন এর বাক্যগুলো কোনো যৌক্তিক ভাষার প্রথাগত ব্যাকরণ ও প্রকৃতি মেনে চলে, যেন আলোচনাটির বিষয়বস্তু সাধারন সিদ্ধান্তের ক্ষেত্রে ব্যবহৃত হতে পারে। কেউ যদি "যৌক্তিক বিন্যাস"-এর ধারণাটিকে দার্শনিকতায় ভরপুর মনে করে অর্থাৎ এই ধারনাটি যদি তার জন্য জটিল হয় তবে সেই ক্ষেত্রে, সহজভাবে "বিন্যাস" করা হলো কোন বাক্যকে সরাসরি 'যুক্তির ভাষায়' অনুবাদ করা।
যুক্তি সাধারনত আনুষ্ঠানিক রুপে বিবেচিত হয়, যখন এটি বিশ্লেষিত ও প্রতিনিধিত্ব করে কোনো বৈধ আলোচনার। একটি আলোচনার প্রকৃতি প্রদর্শিত হয় তখনই, যখন এর বাক্যগুলো কোনো যৌক্তিক ভাষার প্রথাগত [[ব্যাকরণ]] ও [[প্রকৃতি]] মেনে চলে, যেন আলোচনাটির বিষয়বস্তু সাধারন সিদ্ধান্তের ক্ষেত্রে ব্যবহৃত হতে পারে। কেউ যদি "যৌক্তিক বিন্যাস"-এর ধারণাটিকে দার্শনিকতায় ভরপুর মনে করে অর্থাৎ এই ধারনাটি যদি তার জন্য জটিল হয় তবে সেই ক্ষেত্রে, সহজভাবে "[[বিন্যাস]]" করা হলো কোন বাক্যকে সরাসরি 'যুক্তির ভাষায়' অনুবাদ করা।
এটিই কোন আলোচনার যৌক্তিক রূপ। এটি প্রয়োজনীয় কারণ সাধারনত যে কোন ভাষায় ব্যাক্ত একটি বাক্য নানান বিভিন্নতা ও জটিলতা প্রদর্শন করে থাকে, যা তাদের অর্থের পরিবর্তন ঘটায় এবং বাক্যটি যেই অর্থ প্রকাশ করতে ব্যাক্ত হয়েছে তার চেয়ে অবাস্তব রুপে পরিনত হয়। বাক্যকে যৌক্তিক রুপে বিবেচনা করার জন্য কিছু ব্যাকরণগত বৈশিষ্ট্য উপেক্ষা করা প্রয়োজন- যেসব শব্দ যুক্তির সাথে সম্পৃক্ত নয় (যেমন, একটি [[লাতিন]] আলোচনায় লিঙ্গ ও বিশেষ্য-বিশেষন অপ্রয়োজনীয়) তাদের উপেক্ষা করা, কিছু সংযুক্তি শব্দ প্রতিস্থাপন করা (যেমন, "কিন্তু" অযৌক্তিক। এর পরিবর্তে "এবং" ব্যবহার করা) এবং সাধারণত যেসব অভিব্যক্তি (সকল বা সর্বজনীন ইত্যাদি)এর পরিবর্তে কিছু যৌক্তিক অভিব্যক্তি (কোন, প্রতি ইত্যাদি) বা দ্ব্যর্থক শব্দ ব্যবহার করা।
{{সূত্র তালিকা}}
==নোট এবং রেফারেন্স==
==গ্রন্থ-পঁজী==
==বাহ্যিক লিঙ্কগুলি==
* [http://www.iep.utm.edu/val-snd/]
{{কর্তৃপক্ষ নিয়ন্ত্রণ}}
{{অসম্পূর্ণ}}
| 