بهار و تابستان 1400، سال دوازدهم - شماره 1 Ranking ب (Ministry of Science)
-
Corresponding Author : آمیخته، عامر ؛ Writer : میرصانعی، سید احمد ؛
(22 page(s) - From 3 to 24 )
Keywords:منطق حملیقیاس ارسطوییمنطق زیرساختاریروش اصل موضوعیمنطق غیرکلاسیکnon Classical Logiccategorical logicAristotelian syllogismSubstructural logicAxiomatic methodمنطقمنطـقSLاستانداردقواعدسیستمنقضبـه
-
Writer : انواری، سعید ؛
(11 page(s) - From 27 to 37 )
Keywords:قیاسمنطقتاریخ منطققرون وسطیضربهای منتجValid moodsMedieval logiciansSyllogismHistory of Logicضـرباسامیبـه
-
Corresponding Author : جعفری ولنی، علی اصغر ؛ Writer : مهرجدی، محیا ؛
(17 page(s) - From 41 to 57 )
Keywords:منطقامکان عامحدائق الحقائقزینالدین کشیZainuddin KashiHadayeq Al HaqiqGeneral Possibilitylogicکشیکـهبـهوجـود
-
Corresponding Author : خاتمی، سید محمد امین ؛ Writer : اسلامی، اسفندیار ؛
(39 page(s) - From 61 to 99 )
Keywords:منطق فازیاصل طرد شق ثالثاصل امتناع تناقضمنطق چند ارزشیاصل دو ارزشیmany valued logicprinciple of bivalenceprinciple of excluded middlelaw of non contradictionfuzzy logicمنطقمنطـقارزشرابطگزارهبـهدروغ
-
Writer : محمد قربانیان، هومن ؛
(23 page(s) - From 157 to 179 )
Keywords:استنتاجپیشینیدانش استعدادیدانش گزارهایزبان اندیشهلوئیس کرولpropositional knowledgeLewis Carrolldispositional knowledgeA priorilanguage of thoughtinferenceمنطقمنطـقکرولگزارهایبـهقواعددانشکـه
-
Writer : قیوم زاده، کامران ؛
(29 page(s) - From 183 to 211 )
Keywords:ضرورتذاتیارسطومنطق موجهاتذاتگراییnecessityAristotleessenceModal logicessentialismذاتجوهربـاکـهبـه
-
Writer : کلانتر، سید عمار ؛
(23 page(s) - From 215 to 237 )
Keywords:فعلزمانترکیباست (εστί)افزوننشانگریدربارهی عبارتεστί (“is”)additionally signifyingde interpretaionecombinationverbtimeAristotleارسطوکـهبـاارسـطوبـهآمونیوسگزاره