انتشار کتاب «مبانی علم حساب» فرگه

کتاب «مبانی علم حساب» فرگه با ترجمه طالب جابری منتشر شد.

طالب جابری دانشجوی دکتری فلسفه غرب در دانشگاه تهران پردیس فارابی قم است.

 منبع:

«مبانی علم حساب» بر بال «ققنوس»

این کتاب، دومین کتاب فرگه است که می‌خواهد حساب را به منطق فروبکاهد و عدد را بر پایۀ مفاهیم منطقی تعریف کند. پیش از این، فرگه در کتاب نخستین خود، «مفهوم‌نویسی»، مقدمات این کار را فراهم و منطق گزاره‌ها، منطق محمول‌ها (مرتبۀ اول و دوم) را معرفي كرده و در پايان به تعریف مفهوم «دنباله» در منطق مرتبۀ دوم پرداخته بود. او اكنون در کتاب دوم خود، تلاش می‌کند مفهوم «عدد طبیعی» را به کمک مفهوم «دنباله» که خود بر پایۀ مفاهیم منطقی تعریف شدنی است به صورت دقیق تعریف کند. او هم‌چنین بسیاری از آرای پیشینان را دربارۀ عدد معرفی و نقد می‌کند و نشان می‌دهد که برای نخستین بار، آرای مبهم فیلسوفان دربارۀ عدد را می‌توان به مفاهیم واضح و متمایز منطقی فروکاست!

بنا به شنيده ها، كتاب «مباني حساب» را فرد ديگري نيز ترجمه كرده و به زودي منتشر خواهد كرد.

کتاب نخست فرگه «مفهوم‌نویسی» را نيز طالب جابری و حمیدرضا نیتی به صورت جداگانه ترجمه کرده‌اند و امید می‌برند که دیر یا زود به چاپ و نشر بسپارند. ترجمۀ این کتاب‌ها از چشم انداز تاریخ منطق بسیار مهم است و فیلسوفان کشورمان را با بنیان‌های منطق جدید آشنا می‌سازد.

برنامه کارگاه منطق موجهات در دانشگاه تهران

Workshop on Modal Logic and its Application in Computer Science

University of Tehran

Time Table of the Workshop

  The Workshop's Program:  

 

Workshop on Modal Logic and its Application in Computer Science.  September 17-21, 2016, Tehran, Iran. Program (http://mscslogic.ut.ac.ir/wml)
	Saturday 17 Sep.	Sunday 18 Sep.	Monday 19 Sep.	Tuesday 20 Sep.	Wednesday 21 Sep.
09:00-10:00	Tutorial Mehrnoosh Sadrzadeh Algebra and Proof Theory of Categorial Grammars and their Modal Extensions	Tutorial  Zeinab Bakhtiari and Hans van Ditmarsch Dynamic Epistemic Logic	Registration and opening	Hans van Ditmarsch  Epistemic Gossip Protocols	Philippe Balbiani Solving Logical Equations
10:00-10:30			Break	Break	Break
10:30-11:30			Yde Venema Modal Automata: studying  Fixpoint logics one step at a time	Mehrnoosh Sadrzadeh  Vector Space Semantics for Lambek Calculus	Hans Van Ditmarsch Quantifying over information change
11:30-12:00			Break	Break	Break
12:00-13:00			Dick de Jongh  Subminimal Negation	Yde Venema Axiomatizing modal fixpoint logics	Mojtaba Aghaei
13:00-14:45	Lunch
14:45-15:45	Tutorial  Fatemeh Seifan and Yde Venema Logic, Automata and Games	Tutorial  Zeinab Bakhtiari and Hans van Ditmarsch Dynamic Epistemic Logic	Alessandra Palmigiano Sahlqvist Correspondence via Duality and its Applications	Excursion	Dick de Jongh  NNIL-formulas revisited
15:45-16:00			Break		Break
16:00-17:00			Mojtaba Mojtahedi Intuitionistic modal logic:  Aspects of Provability		PhD Student	PhD Student
17:00-17:10			Break		Break
17:10-17:40			Pere Pardo t-DeLP: Temporal Defeasible  Logic Programming		Zeinab Bakhtiari Algebraic Semantics of Refinement Modal Logic
17:40-18:10			PhD Student		Fateme Shirmohammadzade Weak Subintuitionistic Logics

برگزاری دوره آموزشی منطق جدید و نظریه مجموعه‌ها

برگزاری دوره  آموزشی

منطق جدید و نظریه مجموعه‌ها

استاد: سیداحمد فقیه  

(دانش آموخته حوزه و دانشگاه)

مکان: قم، مسجد آیت الله جوادی آملی، مدرس 1

ساعت: 12-11

شروع دوره :27/6/95