برهان آنسلم از نمونه های نامور برهان وجودی است که قرن ها محل بحث فیلسوفان و منطق دانان بوده است. یکی از کلیدی ترین فرازهای این برهان چنین است که «اگر [آن چه فراتر از آن قابل تصور نیست] در ذهن وجود داشته باشد، آن گاه می توان همین فرد را به عنوان موجود تصور کرد که فراتر است». بر اساس این فراز، می توان «مسئله مقایسه با خود» را مطرح کرد؛ مسئله ای که اولاً به تمایز میان «آن چه فراتر از آن قابل تصور ن...

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ...

برهان آنسلم از نمونه‌های نامور برهان‌ وجودی است که قرن‌ها محل بحث فیلسوفان و منطق‌دانان بوده است. یکی از کلیدی‌ترین فرازهای این برهان چنین است که «اگر [آن‌چه فراتر از آن قابل تصور نیست] در ذهن وجود داشته باشد، آن‌گاه می‌توان همین فرد را به‌عنوان موجود تصور کرد که فراتر است». بر اساس این فراز، می‌توان «مسئلة مقایسة با خود» را مطرح کرد؛ مسئله‌ای که اولاً به تمایز میان «آن‌چه فراتر از آن قابل تصور ...

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ...

برهان آنسلم یکی از نمونه های نامور برهان وجودی است که می کوشد وجود «آن چه فراتر از آن قابل تصور نیست» را اثبات کند. در نگاره حاضر، چهار مورد از صورت بندی های منطقی این برهان مورد بررسی قرار می گیرد؛ نخست به صورت بندی اوپنهایمر و زالتا (1991) پرداخته می شود که با ارائه یک مدل مبتنی بر تصورپذیری و در نتیجه بازسازی یک زیربرهان، تلاش می شود فاصله میان متن آنسلم و مقدمات نویسندگان پر شود. بر اساس ای...

در سال های اخیر تقریرهای متفاوتی از استدلال اخلاقی بر وجود خدا شکل گرفته است. یکی از این تقریرها، استدلال از طریق عینیت گرایی اخلاقیِ سی. اس. لوئیس است؛ لوئیس با توسل به احکام و قوانین اخلاقی متداول در حیات انسانی و با توجه به مجادلات اخلاقی، انتقادات اخلاقی، و عذرآوری انسان هنگام عمل نکردن به قوانین اخلاقی، که همه روزه برای انسان روی می دهد، وجود عینی ارزش ها و قوانین اخلاقی را اثبات می کند و س...

از واقعۀ 11 سپتامبر سال 2001، بنیادگرایی اسلامی به بحثی محوری در جهان سیاست تبدیل شده است. بنیادگرایان اسلامی، خواهان تفسیر مجدد اسلام به منظور کاربرد آن در اهداف خاص سیاسی هستند. برنارد لوئیس، خاورشناس انگلیسی- آمریکایی، در بررسی سرچشمه‌های جریان‌های بنیادگرا به ریشه‌های خشم مسلمانان از غرب پرداخته که به زعم وی، به تقابل بین اسلامبا مدرنیته غرب منجر شده است. در این مقاله، هدف بررسی نظرات لوئیس...

در سال‌های اخیر تقریرهای متفاوتی از استدلال اخلاقی بر وجود خدا شکل گرفته است. یکی از این تقریرها، استدلال از طریق عینیت‌گرایی اخلاقیِ سی. اس. لوئیس است؛ لوئیس با توسل به احکام و قوانین اخلاقی متداول در حیات انسانی و با توجه به مجادلات اخلاقی، انتقادات اخلاقی، و عذرآوری انسان هنگام عمل‌نکردن به قوانین اخلاقی، که همه روزه برای انسان روی می‌دهد، وجود عینی ارزش‌ها و قوانین اخلاقی را اثبات می‌کند و س...

چهاربعدگرایی (در مقابل سه‏بعدگرایی)، دیدگاهی در متافیزیک معاصر است که به موجب آن، اشیای عادی، هویاتی چهاربعدیند که به واسطة داشتن اجزای زمانی متمایز در زمان‎های مختلف بقا دارند. یکی از اشکال عمدة این نظریه، مشهور به نظریه کرم‎های مکانی- زمانی که توسط دیوید لوئیس پیشنهاد شده است، مدلول اشیا را مجموع چهاربعدی اجزای زمانی می‎داند. لوئیس بر این عقیده است که چهاربعدگرایی، تنها راه‎حل قابل دفاع مسئله...

در بسیاری از فرایندهای مهندسی و صنعتی، استفاده از افشانه ها کاربرد فراوانی دارد. در این راستا بررسی رفتار تبخیری قطرات افشانه از اهمیت بسزایی برخوردار است. یکی از فرضهایی که در مدلسازی رفتار تبخیری قطرات افشانه مورد استفاده قرار می گیرد، فرض عدد لوئیس واحد است، که در این تحقیق صحت این فرض بررسی و ارزیابی شده است. بدین منظور، معادلات انتقال جرم و انرژی برای یک تک قطره محاسبه شده اند. در این راست...