درود بر همگی.
سوپرگروهی طراحی کردم برای این کانال تا بتوانیم مطالب این کانال رو ارتقاء دهیم:
گروه منطق:
این گروه مرتبط با کانال منطق طراحی شده است. در این گروه فعالیت های زیر انجام می شود:
1. بحث(پیشنهاد، انتقاد و ...) در مورد مطالب کانال منطق
2. بحث های تخصصی و علمی در حوزه ی منطق از فلسفه منطق گرفته تا منطق فلسفی و منطق ریاضی
لینک گروه:
https://telegram.me/joinchat/BdbXLD8ERCDoK9Jv_PKiEw
مطالب برگزیده ازین گروه در کانال نیز گذاشته می شود و عزیزانی که زمان کمی برای مطالعه مطالب گروه ها و کانال های تلگرام دارند می توانند تنها مطالب کانال منطق رو مطالعه کنند. ما در کانال منطق بنا رو بر این گذاشتیم و در این راستا تلاش می کنیم که مطالب کم و مفید باشند تا از خوانندگان زمان کمتری بگیرد.
«کم گوی و گزیده گوی چون در!»
سوپرگروهی طراحی کردم برای این کانال تا بتوانیم مطالب این کانال رو ارتقاء دهیم:
گروه منطق:
این گروه مرتبط با کانال منطق طراحی شده است. در این گروه فعالیت های زیر انجام می شود:
1. بحث(پیشنهاد، انتقاد و ...) در مورد مطالب کانال منطق
2. بحث های تخصصی و علمی در حوزه ی منطق از فلسفه منطق گرفته تا منطق فلسفی و منطق ریاضی
لینک گروه:
https://telegram.me/joinchat/BdbXLD8ERCDoK9Jv_PKiEw
مطالب برگزیده ازین گروه در کانال نیز گذاشته می شود و عزیزانی که زمان کمی برای مطالعه مطالب گروه ها و کانال های تلگرام دارند می توانند تنها مطالب کانال منطق رو مطالعه کنند. ما در کانال منطق بنا رو بر این گذاشتیم و در این راستا تلاش می کنیم که مطالب کم و مفید باشند تا از خوانندگان زمان کمتری بگیرد.
«کم گوی و گزیده گوی چون در!»
لینک فولدر منطق عمومی:
http://cdn.persiangig.com/public/rxMflXl2m7
(آدرس فولدر بزرگتر که فولدر حلقه منطق است: http://cdn.persiangig.com/public/tOopkjlQ8K)
در این فولدر فعلاً سه فایل قرار داده شده:
1. فایل فشرده حاوی ویدئوی آموزشی
2. فایل پی دی اف از اسلایدهای پاورپوینت ویدئو
3. فایل صوتی جداگانه ویدئو
توضیح فایل فشرده(antecedent):
این فایل اولین ویدئو آموزشی ام در زمینه منطق است. که به طور رایگان در دسترس عموم قرار گرفته است- نام درس: منطق عمومی- منبع اصلی: کتاب «مبانی منطق و روش شناسی» دکتر نبوی- نام فایل: مقدمه- مدت زمان ویدئو: 38 دقیقه- فرمت ویدئو: mp4
ویدئوی اول(مقدمه درس منطق عمومی) به صورت رایگان در اختیار عموم قرار می گیرد. و برای ویدئوهای بعدی مبلغ حداقلی تعیین می شود. البته فایل پی دی اف آن و احتمالاً فایل صوتی آن به صورت رایگان در همین فولدر قرار داده خواهد شد.
لطفاً در صورت تمایل پس از مشاهده ویدئوی اول و در صورت استقبال نظرات و پیشنهاد خود را در مورد این ویدئو و ویدئوهای بعدی(که در راه هستند) در گروه منطق بیان کنید.
متشکرم.
http://cdn.persiangig.com/public/rxMflXl2m7
(آدرس فولدر بزرگتر که فولدر حلقه منطق است: http://cdn.persiangig.com/public/tOopkjlQ8K)
در این فولدر فعلاً سه فایل قرار داده شده:
1. فایل فشرده حاوی ویدئوی آموزشی
2. فایل پی دی اف از اسلایدهای پاورپوینت ویدئو
3. فایل صوتی جداگانه ویدئو
توضیح فایل فشرده(antecedent):
این فایل اولین ویدئو آموزشی ام در زمینه منطق است. که به طور رایگان در دسترس عموم قرار گرفته است- نام درس: منطق عمومی- منبع اصلی: کتاب «مبانی منطق و روش شناسی» دکتر نبوی- نام فایل: مقدمه- مدت زمان ویدئو: 38 دقیقه- فرمت ویدئو: mp4
ویدئوی اول(مقدمه درس منطق عمومی) به صورت رایگان در اختیار عموم قرار می گیرد. و برای ویدئوهای بعدی مبلغ حداقلی تعیین می شود. البته فایل پی دی اف آن و احتمالاً فایل صوتی آن به صورت رایگان در همین فولدر قرار داده خواهد شد.
لطفاً در صورت تمایل پس از مشاهده ویدئوی اول و در صورت استقبال نظرات و پیشنهاد خود را در مورد این ویدئو و ویدئوهای بعدی(که در راه هستند) در گروه منطق بیان کنید.
متشکرم.
سه کتاب جدید از انتشارات اشپرینگر در زمینه منطق:
I. Advances in Proof Theory
Book Series: Progress in Computer Science and Applied Logic, Vol. 28
Editor/s: Kahle, Reinhard; Strahm, Thomas; Studer, Thomas
Link: http://www.springer.com/us/book/9783319291963?wt_mc=Alerts.NBA.May-16_EAST_23274216#
II. Epistemology, Knowledge and the Impact of Interaction
Editor/s: Redmond, Juan ; Pombo Martins, Olga ; Nepomuceno Fernández, Ángel
Link: http://www.springer.com/us/book/9783319265049?wt_mc=Alerts.NBA.May-16_EAST_23274216
III. Modern Logic 1850-1950, East and West
Book Series: Studies in Universal Logic
Editor/s: Abeles, Francine F.; Fuller, Mark E.
Link: http://www.springer.com/us/book/9783319247540?wt_mc=Alerts.NBA.May-16_EAST_23274216#otherversion=9783319247564
I. Advances in Proof Theory
Book Series: Progress in Computer Science and Applied Logic, Vol. 28
Editor/s: Kahle, Reinhard; Strahm, Thomas; Studer, Thomas
Link: http://www.springer.com/us/book/9783319291963?wt_mc=Alerts.NBA.May-16_EAST_23274216#
II. Epistemology, Knowledge and the Impact of Interaction
Editor/s: Redmond, Juan ; Pombo Martins, Olga ; Nepomuceno Fernández, Ángel
Link: http://www.springer.com/us/book/9783319265049?wt_mc=Alerts.NBA.May-16_EAST_23274216
III. Modern Logic 1850-1950, East and West
Book Series: Studies in Universal Logic
Editor/s: Abeles, Francine F.; Fuller, Mark E.
Link: http://www.springer.com/us/book/9783319247540?wt_mc=Alerts.NBA.May-16_EAST_23274216#otherversion=9783319247564
Springer
Advances in Proof Theory | Reinhard Kahle | Springer
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and...
شماره اول از جلد 55 ژورنال Algebra and Logic منتشر شد.
Algebra and Logic, Vol. 55, Issue 1 - New Issue Alert
Link:
http://link.springer.com/journal/10469/55/1?wt_mc=alerts.TOCjournals
—---------------------------------------------------------—
Articles:
I. Essential Extensions of T 0-Spaces. II
Yu. L. Ershov
http://link.springer.com/article/10.1007/s10469-016-9371-z
II. Dynamic Mereotopology. III. Whiteheadian Type of Integrated Point-Free Theories of Space and Time. II
D. Vakarelov
http://link.springer.com/article/10.1007/s10469-016-9372-y
III.Definability of Linear Orders over Negative Equivalences
N. Kh. Kasymov & A. S. Morozov
http://link.springer.com/article/10.1007/s10469-016-9373-x
IV. The Schur–Wielandt Theory for Central S-Rings
M. E. Muzychuk, I. N. Ponomarenko & G. Chen
http://link.springer.com/article/10.1007/s10469-016-9374-9
V. Isomorphisms and Algorithmic Properties of Structures with Two Equivalences
D. A. Tussupov
http://link.springer.com/article/10.1007/s10469-016-9375-8
VI. Identifying Solutions to Systems of Equations in Semigroups with Finite Ideal
A. N. Shevlyakov
http://link.springer.com/article/10.1007/s10469-016-9376-7
VII. Existence and Uniqueness of Structures Computable in Polynomial Time
P. E. Alaev
http://link.springer.com/article/10.1007/s10469-016-9377-6
VIII. Finite Groups with Given Properties of Their Prime Graphs
A. S. Kondrat’ev
http://link.springer.com/article/10.1007/s10469-016-9378-5
IX. Sessions of the Seminar “Algebra i Logika”
http://link.springer.com/article/10.1007/s10469-016-9379-4
X. Erratum to: Linearly Minimal Jordan Algebras of Characteristic Other than 2
E. R. Baisalov & A. Aljouiee
http://link.springer.com/article/10.1007/s10469-016-9380-y
Algebra and Logic, Vol. 55, Issue 1 - New Issue Alert
Link:
http://link.springer.com/journal/10469/55/1?wt_mc=alerts.TOCjournals
—---------------------------------------------------------—
Articles:
I. Essential Extensions of T 0-Spaces. II
Yu. L. Ershov
http://link.springer.com/article/10.1007/s10469-016-9371-z
II. Dynamic Mereotopology. III. Whiteheadian Type of Integrated Point-Free Theories of Space and Time. II
D. Vakarelov
http://link.springer.com/article/10.1007/s10469-016-9372-y
III.Definability of Linear Orders over Negative Equivalences
N. Kh. Kasymov & A. S. Morozov
http://link.springer.com/article/10.1007/s10469-016-9373-x
IV. The Schur–Wielandt Theory for Central S-Rings
M. E. Muzychuk, I. N. Ponomarenko & G. Chen
http://link.springer.com/article/10.1007/s10469-016-9374-9
V. Isomorphisms and Algorithmic Properties of Structures with Two Equivalences
D. A. Tussupov
http://link.springer.com/article/10.1007/s10469-016-9375-8
VI. Identifying Solutions to Systems of Equations in Semigroups with Finite Ideal
A. N. Shevlyakov
http://link.springer.com/article/10.1007/s10469-016-9376-7
VII. Existence and Uniqueness of Structures Computable in Polynomial Time
P. E. Alaev
http://link.springer.com/article/10.1007/s10469-016-9377-6
VIII. Finite Groups with Given Properties of Their Prime Graphs
A. S. Kondrat’ev
http://link.springer.com/article/10.1007/s10469-016-9378-5
IX. Sessions of the Seminar “Algebra i Logika”
http://link.springer.com/article/10.1007/s10469-016-9379-4
X. Erratum to: Linearly Minimal Jordan Algebras of Characteristic Other than 2
E. R. Baisalov & A. Aljouiee
http://link.springer.com/article/10.1007/s10469-016-9380-y
Springer
Essential Extensions of T
0-Spaces. II
0-Spaces. II
Using a new concept of an essential point, we give a characterization of essential extensions of topological spaces.
Forwarded from Deleted Account
باسمه تعالی
فراخوان مقاله
چهارمین سمینار سالانه انجمن منطق ایران
انجمن منطق ایران چهارمین سمینار سالانه خود را با همکاری پژوهشگاه دانشهای بینادی و دانشگاه صنعتی شریف در یکم و دوم دی ماه 1395 در دانشگاه صنعتی شریف برگزار می کند.
حوزه های پژوهشی مرتبط عبارت اند از:
1. منطق ریاضی / 2. منطق فلسفی / 3. فلسفه ریاضیات / 4. فلسفه منطق / 5. منطق قدیم / 6.تاریخ منطق / 7. منطق و علوم رایانه / 8. منطق کاربردی / 9. منطق و روش شناسی / 10. آموزش منطق
از پژوهشگران گرامی دعوت می شود تا خلاصه مقالات خود را، بین 1200 تا 1500 کلمه، به آدرس زیر ایمیل کنند
ial2015conference@gmail.com
پایان مهلت ارسال مقالات 30 ام مهر ماه 1395 است.
با سپاس پیشاپیش
هیأت مدیره انجمن منطق ایران
فراخوان مقاله
چهارمین سمینار سالانه انجمن منطق ایران
انجمن منطق ایران چهارمین سمینار سالانه خود را با همکاری پژوهشگاه دانشهای بینادی و دانشگاه صنعتی شریف در یکم و دوم دی ماه 1395 در دانشگاه صنعتی شریف برگزار می کند.
حوزه های پژوهشی مرتبط عبارت اند از:
1. منطق ریاضی / 2. منطق فلسفی / 3. فلسفه ریاضیات / 4. فلسفه منطق / 5. منطق قدیم / 6.تاریخ منطق / 7. منطق و علوم رایانه / 8. منطق کاربردی / 9. منطق و روش شناسی / 10. آموزش منطق
از پژوهشگران گرامی دعوت می شود تا خلاصه مقالات خود را، بین 1200 تا 1500 کلمه، به آدرس زیر ایمیل کنند
ial2015conference@gmail.com
پایان مهلت ارسال مقالات 30 ام مهر ماه 1395 است.
با سپاس پیشاپیش
هیأت مدیره انجمن منطق ایران
آموزش منطق
در این کانال صرفاً مطالب آموزشی در زمینه منطق گذاشته می شود
https://telegram.me/LogicTraining
در این کانال صرفاً مطالب آموزشی در زمینه منطق گذاشته می شود
https://telegram.me/LogicTraining
کتابی جدید از انتشارات اشپرینگر در زمینه «منطق فراسازگار» 👇👇👇
Paraconsistent Logic: Consistency, Contradiction and Negation
Authors: Carnielli, Walter, Coniglio, Marcelo Esteban
1th Edition , 2016
398 P.
ISBN: 978-3-319-33205-5
Link: http://www.springer.com/gp/book/9783319332031?wt_mc=Alerts.NBA.Jun-16_EAST_23592812#otherversion=9783319332055
Paraconsistent Logic: Consistency, Contradiction and Negation
Authors: Carnielli, Walter, Coniglio, Marcelo Esteban
1th Edition , 2016
398 P.
ISBN: 978-3-319-33205-5
Link: http://www.springer.com/gp/book/9783319332031?wt_mc=Alerts.NBA.Jun-16_EAST_23592812#otherversion=9783319332055
Springer
Paraconsistent Logic: Consistency, Contradiction and | Walter Carnielli | Springer
This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and...
فهرست مطالب این کتاب
(Paraconsistent Logic: Consistency, Contradiction and Negation)
👇👇👇👇👇
(Paraconsistent Logic: Consistency, Contradiction and Negation)
👇👇👇👇👇
پیرو فراخوان چهارمین سمینار سالانه انجمن منطق ایران که پیشتر اعلام شده بود، در هیئت مدیره انجمن تصویب شد که برای تشویق دانشجویان دکتری در کشورهای خارجی برای شرکت در همایش، کمک هزینه سفر به ایشان تعلق بگیرد. از این رو، اطلاعیه دوم فراخوان به صورت زیر تقدیم میشود.
دوستانی که تمایل دارند ایمیلهای انجمن منطق ایران به ایشان برسد لطفا با این آدرس مکاتبه فرمایند: iranlogic1@gmail.com
فراخوان مقاله
چهارمین سمینار سالانه انجمن منطق ایران
(اطلاعیه دوم)
انجمن منطق ایران چهارمین سمینار سالانه خود را با همکاری پژوهشگاه دانشهای بینادی و دانشگاه صنعتی شریف در یکم و دوم دی ماه 1395 در دانشگاه صنعتی شریف برگزار می کند.
حوزه های پژوهشی مرتبط عبارت اند از:
1. منطق ریاضی / 2. منطق فلسفی / 3. فلسفه ریاضیات / 4. فلسفه منطق / 5. منطق قدیم / 6.تاریخ منطق / 7. منطق و علوم رایانه / 8. منطق کاربردی / 9. منطق و روش شناسی / 10. آموزش منطق
بخشی از هزینه سفر برای تعدادی از دانشجویان دکتری در خارج از کشور که مقالههایشان برای ارائه در همایش پذیرفته شوند بر حسب اولویت پرداخت خواهد شد
از پژوهشگران گرامی دعوت می شود تا خلاصه مقالات خود را، بین 1200 تا 1500 کلمه، به آدرس زیر ایمیل کنند
ial2016conference@gmail.com
پایان مهلت ارسال مقالات 30 ام مهر ماه 1395 است.
هیأت مدیره انجمن منطق ایران
دوستانی که تمایل دارند ایمیلهای انجمن منطق ایران به ایشان برسد لطفا با این آدرس مکاتبه فرمایند: iranlogic1@gmail.com
فراخوان مقاله
چهارمین سمینار سالانه انجمن منطق ایران
(اطلاعیه دوم)
انجمن منطق ایران چهارمین سمینار سالانه خود را با همکاری پژوهشگاه دانشهای بینادی و دانشگاه صنعتی شریف در یکم و دوم دی ماه 1395 در دانشگاه صنعتی شریف برگزار می کند.
حوزه های پژوهشی مرتبط عبارت اند از:
1. منطق ریاضی / 2. منطق فلسفی / 3. فلسفه ریاضیات / 4. فلسفه منطق / 5. منطق قدیم / 6.تاریخ منطق / 7. منطق و علوم رایانه / 8. منطق کاربردی / 9. منطق و روش شناسی / 10. آموزش منطق
بخشی از هزینه سفر برای تعدادی از دانشجویان دکتری در خارج از کشور که مقالههایشان برای ارائه در همایش پذیرفته شوند بر حسب اولویت پرداخت خواهد شد
از پژوهشگران گرامی دعوت می شود تا خلاصه مقالات خود را، بین 1200 تا 1500 کلمه، به آدرس زیر ایمیل کنند
ial2016conference@gmail.com
پایان مهلت ارسال مقالات 30 ام مهر ماه 1395 است.
هیأت مدیره انجمن منطق ایران
شش کتاب جدید از اشپرینگر در زمینه منطق:
I. Dependence Logic
Editor/s: Abramsky, Samson; Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert
II. Uncertainty
Briggs, William
III. Model-Based Reasoning in Science and Technology
Book Series: Studies in Applied Philosophy, Epistemology and Rational Ethics, Vol. 27
Editor/s: Magnani, Lorenzo; Casadio, Claudia
IV. Objectivity, Realism, and Proof
Book Series: Boston Studies in the Philosophy and History of Science, Vol. 318
Editor/s: Boccuni, Francesca; Sereni, Andrea
V. Rethinking German Idealism
Editor/s: McGrath, S.J. ; Carew, Joseph
VI. Towards Paraconsistent Engineering
Book Series: Intelligent Systems Reference Library, Vol. 110
Editor/s: Akama, Seiki
👇👇👇👇👇👇
I. Dependence Logic
Editor/s: Abramsky, Samson; Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert
II. Uncertainty
Briggs, William
III. Model-Based Reasoning in Science and Technology
Book Series: Studies in Applied Philosophy, Epistemology and Rational Ethics, Vol. 27
Editor/s: Magnani, Lorenzo; Casadio, Claudia
IV. Objectivity, Realism, and Proof
Book Series: Boston Studies in the Philosophy and History of Science, Vol. 318
Editor/s: Boccuni, Francesca; Sereni, Andrea
V. Rethinking German Idealism
Editor/s: McGrath, S.J. ; Carew, Joseph
VI. Towards Paraconsistent Engineering
Book Series: Intelligent Systems Reference Library, Vol. 110
Editor/s: Akama, Seiki
👇👇👇👇👇👇