پاییز و زمستان 1400، سال دوازدهم - شماره 2 Ranking ب (Ministry of Science)
-
Corresponding Author : پوردانش، سعید ؛ Writer : بهنیافر، مهدی ؛
(23 page(s) - From 33 to 55 )
Keywords:مدلسمانتیکنظریه برهاننتیجه ی منطقیمفهوم عام نتیجه ی منطقیThe Common Concept of Logical ConsequenceProof TheoryLogical consequencemodelSemanticتارسکیمفهـومکـهبـهمفهومیـا
-
Writer : همتایی، حسن ؛ نبوی، لطف اله ؛ Corresponding Author : حجتی، سید محمد علی ؛
(26 page(s) - From 59 to 84 )
Keywords:زالتاماینونگوحدت گزارهرمزانشنمونشحملexemplificationunity of propositionMeinongPredicationZaltaEncodingگزارههـاخاصیتخاصـیتبـه
-
Writer : حسینپور، غلامرضا ؛
(21 page(s) - From 87 to 107 )
Keywords:استراوسونآستیننظریه صدقاظهارات انشائیمحمول صادقperformatives utterancesthe truth predicateStrawsonAustinTheory of Truthصدقجملهفعلاظهارکـه
-
Writer : زارعت پیشه، محمود ؛
(16 page(s) - From 111 to 126 )
Keywords:حملحمل اولیحمل شایعاینهمانیحمل الشیء علی نفسهḥamlḥaml shay’ alā nafsihīḥaml awwalīḥaml shāyi‘tautologyاینهمانیمیردامادملاصدرا
-
Writer : عطارزاده، علی رضا ؛
(16 page(s) - From 177 to 192 )
Keywords:مادهکلیتوحدت تعریفunity of definitionparts of definitionUniversalitymattercompoundsارسطوتعریفتعریـفمابعدالطبیعهذاتوحدتارسـطو
-
Writer : علم، ابوالفضل ؛ Corresponding Author : منیری، مرتضی ؛
(17 page(s) - From 195 to 211 )
Keywords:حساب محدودفرمول محدودمدل کامل محدودمدل همراه محدودحذف سور محدودBounded ArithmeticBounded formulaBounded model completeBounded model companionBounded quantifier eliminationمدلمحـدودنظریة مدلنظریهPVفرمولNP
-
Writer : فلاحی، اسدالله ؛
(20 page(s) - From 215 to 234 )
Keywords:ارسطوقضیه خارجیهقضیه حقیقیهقیاس های وجهیArisotolehaqiqi propositionkhariji proositionmodal syllogismقضایای حقیقیهخارجیهقیاسمنطقبـهمثالکـه