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

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

ابن سینا و توماس آکوئینی دو فیلسوف بر جسته مسلمان و مسیحی از مؤثر ترین فیلسوفان الهی  در قرون وسطی و پس از آن بوده اند .توماس از طریق آشنایی با فلسفه مشائی به وسیله تفسیر های ابن رشد و بویژه ابن سینا از فلسفه ارسطو، به تأسیس یک نظام فلسفی مسیحی اقدام نمود.  او از ابن سینا بهره های فراوان برده است هرچند تحت تأثیرنقدهای غزالی بر فلسفه، گاهی به مخالفت با ابن سینا ونقد نظرات وی پرداخته است .یکی از ...