رسمی منطق اور اس کے بنیادی قوانین

منطق - طریقوں، قوانین اور سوچ کے فارموں کی سائنس. رسمی منطق طویل، قدیم یونانیوں کی طرف سے تیار کیا گیا ہے ہمارے عہد سے پہلے. یہ ایک جمہوری معاشرے میں، جہاں فیصلوں اور قوانین ایک عوامی اجلاس میں منظور کی تعمیر کے لیے سب سے پہلے یونانیوں تھا. انہوں کرانے کا ایک آدم سائنس پیدا ٹرائلز. کلین نوجوانوں کی پسندیدہ تفریح فلسفیوں کے ساتھ بات چیت کی. لہذا نظریاتی سائنس کی ترقی کے آفاقی محبت. یونانیوں کو صرف سائنسی ثبوت ہونے کے لئے کس طرح پر تعلیمات تھا.

ارسطو کی طرف سے تیار کی منطق کی بنیادوں کے پہلے کورس. انہوں نے کہا کہ حقیقت یہ ہے کہ تمام دلائل کے عام قوانین کی بنیاد پر کر رہے ہیں پر توجہ مبذول کرائی، جس کی خلاف ورزی غلط نتائج اخذ کرنے کی طرف جاتا ہے. رسمی ارسطو کی منطق طرح کے قوانین کی بنیاد پر کیا گیا تھا:

1. فیصلے ان کے بنانے کے لئے کیا اثبات میں ہے تو اس نتیجے منفی نہیں ہو سکتا.
2. بیانات میں سے ایک منفی ہے، اور عام اختتام ہمیشہ منفی ہے تو.

لھذا اس سے یہ کہ رسمی منطق ظاہر ہوتا ہے - علم ہے اصولوں اور قوانین کے مؤثر طریقے سے، ان کی تعمیر (جنرل تحفظات کے انفرادی حصوں سے رابطہ قائم کرنے کے طریقے) کی شکل کے حوالے سے استدلال کی مناسب تعمیر.

تمام مظاہر اور اشیاء ایک رشتہ ہے. روابط کا مقصد یا ساپیکش، جنرل یا نجی، ضروری یا حادثاتی ہو سکتا ہے. ان بانڈز کی سب سے اہم قوانین کہا جاتا ہے. وہ سب کے سب ایک ہی حقیقت کی عکاسی، اس وجہ سے، ایک دوسرے سے متصادم نہیں کر سکتی. فطرت کے قوانین کے ساتھ منسلک انسانی سوچ کے تمام قوانین.

سوچ کے قوانین خیالات کے درمیان مستحکم اندرونی کنکشن ہیں. اگر کوئی شخص اپنے خیالات باندھنے نہیں کر سکتے تو وہ صحیح نتیجے پر نہیں آیا تھا اور دوسروں کو اسے لانے کے لئے نہیں کر سکیں گے.

رسمی منطق کے بنیادی قوانین - مستقل مزاجی، شناخت، خارج کر دیا مڈل اور کے قوانین کافی وجہ کا قانون. لائیبنز - پہلے تین کی ترقی ارسطو اور افلاطون، گزشتہ سے تعلق رکھتے ہیں. ان قوانین (خاص طور پر پہلے تین) کی خلاف ورزیاں جو حق و باطل کی تمیز کرنے کے لئے یہ ناممکن بنانے، تضادات کی طرف جاتا ہے. آخری قانون بھی کم ضوابط اور زیادہ محدود استعمال.

منطق کی غیر کور قوانین - ان آگمناتمک استدلال کے امکانات میں اضافہ، آپریٹنگ قضایا اور تصورات، ایک انصاف میں سچ نتیجے پر حاصل کرنے کے قوانین ہیں اور نتائج کردار traduktivnogo.

مستقل مزاجی کے قانون سوچ متنازعہ نہیں ہونا چاہئے، لیکن کچھ چیزوں کے معیار کی عکاسی کرنا چاہئے کا مطلب ہے کہ.

خارج کر دیا گیا مشرق قانون مشروع دو متضاد لیکن سچ بیان کے درمیان حاصل کرنے کا ایک تہائی ہے، اور ان میں سے صرف ایک کی سچائی کو تسلیم کرنے کے لئے. تضادات کے اجزاء میں سے ایک - یقینی طور پر سچ.

شناخت رسمی منطق کی شریعت صحت سے متعلق سوچ کی ضرورت ہے، آپ کو درست طریقے سے اس کی تعریف اور معنی سمجھنے کی ضرورت ہے کسی بھی اصطلاح کے تحت IE کے طور پر تعبیر. تصورات اور فیصلوں کے جوہر مرضی سے بگاڑنا نہیں کر سکتے.

کافی وجہ کا قانون ضروری کسی بھی سچی فکر کے دوسرے حقیقی خیالات کا جواز پیش کرنے کے لئے ہے، اور جھوٹے خیالات جائز قرار نہیں دیا جا سکتا ہے. فیصلوں کی ترقی میں ایک causal تعلق کی عکاسی کرنا چاہئے. صرف اس صورت میں یہ اس کی وشوسنییتا ثابت کیا جا سکتا ہے.

سوچ اور منطقی لحاظ، لفظ میں شامل ہیں جس کے ذریعے اظہار کیا تمام خیالات کی شکلوں کا تعین کرنے کے طریقوں میں سے منطقی فارم "اور"، "یا"، "تو ... تو ..." انکار "نہ سچ ہے کہ" ( "کوئی") ، لفظ "کچھ"، "تمام" ( "نہیں")، "جوہر" کا ایک گروپ (معنی کے اندر اندر کا "ہے")، وغیرہ شناخت قیامت کے منطقی فارم ہے جس میں اس فیصلے کی زبانی اظہار میں شامل ہیں غیر منطقی کی شرائط، کے معنی سے مشغول کر سکتے ہیں. دوسرے الفاظ میں، رسمی منطق سوچ کی ساخت کا اظہار. منطقی فارم ہمیشہ معلوماتی اور معنی خیز ہے.

تصورات، استدلال اور قوت فیصلہ: سوچ کے ان کے فارم پر منحصر قسموں میں تقسیم کیا جاتا ہے. تصور - ان کی بنیادی خصوصیات کی بنیاد پر اشیاء generalizes اس خیال. قیامت - خیال، صورتحال کی موجودگی (عدم موجودگی) زور. تخمینے -، سوچا علم کے حصول کی عکاسی کرتی ہے، دوسرے علم کے فیصلوں میں اظہار کیا.