Mindblown: a blog about philosophy.
-
اشاره: مجله ایرانی فلسفه
بسیار خوشحالم، تا از طرف شورای ویراستاران، آغاز به کار اشاره: مجله ایرانی فلسفه را به اطلاعتان برسانم. اشاره مجلهای بینالمللی و دو زبانه (فارسی و انگلیسی) است که مقالات فلسفی ممتاز را در همۀ حوزههای فلسفی و سنتهای آن منتشر میکند. مقالات به روش «همتا ارزیابی» (peer review) داوری میشوند و دسترسی به آنها…
-
سخنرانی دکتر سید محمد علی حجتی با عنوان «Kripke on Contingent a priori»
-
افسانه گرایی و استعاره در فلسفه ریاضی
انجمن منطق ایران برگزار میکند: دکتر سیاوش شهشهانی دانشگاه صنعتی شریف افسانه گرایی و استعاره در فلسفه ریاضی
-
پیوند منطق و معرفتشناسی نزد ابنسینا
به اطلاع میرساند که سخنرانی ماهانه انجمن منطق ایران چهارشنبه این هفته در ساعت 16 با سخنرانی آقای دکتر مهدی عظیمی، استادیار گروه فلسفۀ اسلامی از دانشکدۀ الهیات دانشگاه تهران با عنوان «پیوند منطق و معرفتشناسی نزد ابنسینا» برگزار خواهد شد.
-
صادقسازی، سوپرونینس، و تقلیلِ هستیشناسانه
صادقسازی، سوپروینینس، و تقلیل سخنران: محسن زمانی ـ پژوهشگاه دانشهای بنیادی زمان: دوشنبه ۲۱ فروردین ۱۳۹۶ ـ ساعت ۱۰ الی ۱۲ مکان: دانشگاه تربیت مدرس؛ دانشکده علوم انسانی؛ سالن شهدای گمنام —————————————فایل چکیده سخنرانی:👇👇👇👇👇👇👇👇👇https://t.me/tmuphil/115
-
دفترچه سؤالات و کلید اولیه آزمون دکتری سال ۱۳۹۶ – کد رشته ۲۱۳۷: فلسفه منطق
دفترچه سوالات آزمون دکتری سال ۱۳۹۶ – کد رشته ۲۱۳۷: فلسفه منطق ——————-کلید اولیه آزمون آزمون دکتری سال ۱۳۹۶ – کد رشته ۲۱۳۷: فلسفه منطق جای بسی خوشحالی است استقلال رشته منطق از فلسفه در آزمون دکتری امسال، که سبب شد آزمونی مختص به این رشته و با سؤالات تقریباً مرتبط و تخصصی برگزار شود و…
-
دومین گفتارهای ابنسینا: «در باب مدخل شفاء» – دکتر اسدالله فلاحی
به شرکتکنندگان متن مکتوب نخستین گفتارهای ابنسینا با عنوان «نگاهی از منظر معرفتشناسی معاصر به تعاریف معرفت در سنت اسلامی» اهداء خواهد شد.
-
ابزارهای آنلاین منطقی دانشگاه استنفورد شامل رسم جدول ارزش، ترجمه به زبان منطق مرتبه اول و ویرایشگر ر
Online “Truth Table Generator” This tool generates truth tables for propositional logic formulas. You can enter logical operators in several different formats. For example, the propositional formula p ∧ q → ¬r could be written as p /\ q -> ~r, as p and q => not r, or asp && q -> !r. The connectives ⊤ and ⊥…
-
Logical Connectives
The sixteen binary logical connectives: tautologies and truth values. The sixteen logical connectives ordered in a Hasse diagram. They are represented by: logical formulas the 16 elements of V4 = P^4({}) Venn diagrams The nodes are connected like the vertices of a 4 dimensional cube. The light blue edges form a rhombic dodecahedron – the…
-
پوستر چهارمین همایش سالانه انجمن منطق ایران
آیا توصیه کتاب دارید؟