کتاب دوره مختصر منطق صوری – دانشگاه تهران

کتاب دوره مختصر منطق صوری اثر محمد خوانساری انتشارات دانشگاه تهران

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