Support Refhub: Together for Knowledge and Culture

Dear friends,

As you know, Refhub.ir has always been a valuable resource for accessing free and legal books, striving to make knowledge and culture available to everyone. However, due to the current situation and the ongoing war between Iran and Israel, we are facing significant challenges in maintaining our infrastructure and services.

Unfortunately, with the onset of this conflict, our revenue streams have been severely impacted, and we can no longer cover the costs of servers, developers, and storage space. We need your support to continue our activities and develop a free and efficient AI-powered e-reader for you.

To overcome this crisis, we need to raise approximately $5,000. Every user can help us with a minimum of just $1. If we are unable to gather this amount within the next two months, we will be forced to shut down our servers permanently.

Your contributions can make a significant difference in helping us get through this difficult time and continue to serve you. Your support means the world to us, and every donation, big or small, can have a significant impact on our ability to continue our mission.

You can help us through the cryptocurrency payment gateway available on our website. Every step you take is a step towards expanding knowledge and culture.

Thank you so much for your support,

The Refhub Team

Donate Now

کتاب های موجود در دسته بندی منطق و مبانی ریاضیات گسسته

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic
Published on: 1985
Beginner Logic and Foundations English

In this entertaining and challenging collection of logic puzzles, Raymond Smullyan - author of Forever Undecided - continues to delight …

logic puzzles combinatory adventure birds
Routledge Philosophy GuideBook to Wittgenstein and On Certainty
Published on: 2014
Beginner Logic and Foundations English

Ludwig Wittgenstein is arguably the most important philosopher of the twentieth century. In On Certainty he discusses central issues in …

Wittgenstein Epistemology Certainty Skepticism Language
Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
Published on: 2007
Beginner Logic and Foundations English

This volume is an accessible introduction to the subject of many-valued and fuzzy logic suitable for use in relevant advanced …

Fuzzy Logic Semantics Algebras Derivation Systems Many-Valued
Fuzzy Sets, Logics and Reasoning about Knowledge
Published on: 1999
Beginner Logic and Foundations English

Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation …

Fuzzy Logic Uncertainty Decision-Making Non-Classical Logics Knowledge Representation
Luck, Logic and White Lies. Mathematics of Games
Published on: 2004
Beginner Logic and Foundations English

The mathematical underpinnings of games, whether they are strategic or games of chance, have been known for centuries, but are …

Probability Strategy Decision-making Game Theory Mathematics
Being There Without Going There: Managing Teams Across Time Zones, Locations and Corporate Boundaries
Published on: 2003
Beginner Logic and Foundations English

RemoteWork TeamManagement Communication VirtualTeams GlobalCollaboration
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
Published on: 2010
Unordered Logic and Foundations English

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, …

theorem proving interactive conference proceedings
Kant and the Capacity to Judge: Sensibility and Discursivity in the Transcendental Analytic of the "Critique of Pure Reason"
Published on: 2001
Beginner Logic and Foundations English

Kant claims to have established his table of categories or "pure concepts of the understanding" according to the "guiding thread" …

Judgment Sensibility Discursivity Transcendental Analytic
Ancient Formal Logic
Published on: 0
Beginner Logic and Foundations English

Aristotle syllogism dialectic propositions validity
History of the Concept of Mind: Volume 2: The Heterodox and Occult Tradition
Published on: 2006
Beginner Logic and Foundations English

Exploring the 'roads less travelled', MacDonald continues his monumental essay in the history of ideas. The history of heterodox ideas …

dualism mysticism esotericism consciousness tradition
Early Writings in the Philosophy of Logic and Mathematics
Published on: 2001
Beginner Logic and Foundations English

This book makes available to the English reader nearly all of the shorter philosophical works, published or unpublished, that Husserl …

Frege Foundations Logicism Arithmetic Thought
The Aim of Belief
Published on: 2014
Beginner Logic and Foundations English

What is belief? "Beliefs aim at truth" is the commonly accepted starting point for philosophers who want to give an …

Epistemology Rationality Truth Justification Knowledge
Modalities for Reasoning about Knowledge and Quantities [PhD Thesis]
Published on: 1992
Beginner Logic and Foundations English

This is a doctoral dissertation of Wiebe van der Hoek under the supervision of prof. J.-J.Ch. Meyer.

Epistemic Logic Modal Logic Quantitative Reasoning Knowledge Representation Formal Verification
A Study of Husserl's Formal and Transcendental Logic
Published on: 1990
Beginner Logic and Foundations English

phenomenology logic intentionality transcendental consciousness
The Palgrave Centenary Companion to Principia Mathematica
Published on: 2013
Beginner Logic and Foundations English

This collection of fifteen new essays marks the centenary of the 1910 to 1913 publication of the monumental Principia Mathematica …

logicism philosophy mathematics analysis history
An introduction to logic programming through Prolog
Published on: 1996
Beginner Logic and Foundations English

Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended …

Prolog Logic Programming Techniques Applications
The Mathematical Principles Underlying Newton's Principia Mathematica
Published on: 1970
Beginner Logic and Foundations English

Calculus Mechanics Gravitation Axioms Motion
Essentials of Symbolic Logic
Published on: 1998
Beginner Logic and Foundations English

Essentials of Symbolic Logic is a concise and clearly written introduction to the topic. The book focuses on sentence logic …

logic symbolism reasoning propositions argumentation
The conflicts of modernity in Ludwig Wittgenstein's Tractatus Logico-Philosophicus
Published on: 2016
Beginner Logic and Foundations English

philosophy language logic modernity analysis
Putting Logic in Its Place: Formal Constraints on Rational Belief
Published on: 2007
Beginner Logic and Foundations English

Epistemology Rationality Logic Belief Constraints
A Theory of Justice
Published on: 1999
Beginner Logic and Foundations English

Since it appeared in 1971, John Rawls's A Theory of Justice has become a classic. The author has now revised …

justice fairness equality principles contract
The Web of Belief
Published on: 1978
Beginner Logic and Foundations English

A compact, coherent introduction to the study of rational belief, this text provides points of entry to such areas of …

Epistemology Belief Knowledge Framework Philosophy
Logic and Philosophy of Mathematics in the Early Husserl
Published on: 2010
Beginner Logic and Foundations English

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from …

Phenomenology Intentionality Mathematics Logic Epistemology
Critique of Pure Reason
Published on: 1855
Beginner Logic and Foundations English

Epistemology Metaphysics A priori Transcendental Synthetic
Laws of media: the new science
Published on: 1992
Beginner Logic and Foundations English

Marshall McLuhan has been described as Canada's most exciting and original thinker, a member of the small company of intellectual …

McLuhan tetrad media effects communication
Modal Logic for Philosophers
Published on: 2006
Beginner Logic and Foundations English

Designed for use by philosophy students, this book provides an accessible, yet technically sound treatment of modal logic and its …

Modal Logic Philosophers Semantics Syntax
Proof and Disproof in Formal Logic: An Introduction for Programmers
Published on: 2005
Beginner Logic and Foundations English

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into …

Logic Proof Disproof Programming Formal
An Outline of Chinese Traditional Philosophy
Published on: 2015
Beginner Logic and Foundations English

The traditional Chinese philosophies of 'nature and human' lie at the heart of China's modern culture and popular philosophical beliefs. …

Confucianism Daoism Buddhism Yin-Yang Cosmology
On the Edge of Certainty: Philosophical Explorations
Published on: 1999
Beginner Logic and Foundations English

Raymond Tallis's The Explicit Animal (1991) was a passionate attack on attempts to explain human consciousness in purely biological terms. …

Epistemology Metaphysics Certainty Knowledge Inquiry
On Moral Certainty, Justification and Practice: A Wittgensteinian Perspective
Published on: 2015
Beginner Logic and Foundations English

On Moral Certainty, Justification and Practice presents a view of morality that is inspired by the later Wittgenstein. Hermann explores …

Wittgenstein certainty justification practice epistemology
Cantonese GIVE and Double-Object Construction: Grammaticalization and word order change
Published on: 2022
Beginner Logic and Foundations English

Grammaticalization Word Order Cantonese Double-Object Syntax
Logic and Philosophy: A Modern Introduction, 11th Edition
Published on: 2010
Beginner Logic and Foundations English

This text is designed for those instructors who desire a comprehensive introduction to formal logic that is both rigorous and …

logic philosophy critical thinking argumentation formal systems
The Thirteen Principal Upanishads, with an Outline of the Philosophy of the Upanishads
Published on:
Beginner Logic and Foundations English

Upanishads Philosophy Hinduism Spirituality Wisdom
Word and Object (Studies in Communication)
Published on: 1964
Beginner Logic and Foundations English

Quine language meaning epistemology ontology
Immanuel Kant’s Prolegomena to Any Future Metaphysics in Focus
Published on: 1996
Beginner Logic and Foundations English

This collection of seminal essays on the Prolegomena provides the student of philosophy with an invaluable overview of the issues …

Kant Metaphysics Epistemology Enlightenment Philosophy
Word and Object in Husserl, Frege, and Russell: The Roots of Twentieth-Century Philosophy
Published on: 1991
Beginner Logic and Foundations English

In search of the origins of some of the most fundamental problems that have beset philosophers in English-speaking countries in …

Phenomenology Semantics Logic Philosophy Language
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Published on: 2007
Unordered Logic and Foundations English

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the …

Algebraic Proof-theoretic Non-classical Logics Mundici
The Table of Judgments: Critique of Pure Reason A67-76; B92-101
Published on: 2000
Beginner Logic and Foundations English

Kant Metaphysics Epistemology Categories Transcendental
Thinking about Mathematics: The Philosophy of Mathematics
Published on: 2000
Beginner Logic and Foundations English

This unique book by Stewart Shapiro looks at a range of philosophical issues and positions concerning mathematics in four comprehensive …

philosophy mathematics reasoning abstraction logic
Naming, Necessity and More: Explorations in the Philosophical Work of Saul Kripke
Published on: 2014
Beginner Logic and Foundations English

Saul Kripke's Naming and Necessity, one of the most influential philosophical works of the twentieth century, serves as the backdrop …

Kripke Philosophy Naming Necessity Metaphysics

Page of

معرفی دسته‌بندی: منطق و مبانی

دسته‌بندی "منطق و مبانی" در کتابفروشی آنلاین Refhub.ir، گنجینه‌ای از کتاب‌ها و منابعی است که به بررسی ریشه‌ها، اصول، و ساختار سیستم‌های منطقی می‌پردازند. این دسته‌بندی با ارائه طیف متنوعی از متون مرجع و مطالعات تحلیلی، مخاطبان خود را با دنیای فلسفه منطق و کاربردهای عملی آن آشنا می‌کند.

منطق چیست؟

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

موضوعات پوشش داده شده در این دسته‌بندی

1. منطق کلاسیک

منطق کلاسیک شامل بسیاری از اصول و قواعدی است که از دوران فلسفه باستان تا کنون به‌کار رفته‌اند. در اینجا، کتاب‌هایی خواهید یافت که به تحلیل اصولی چون استنتاج، استلزام، و مفهوم‌های پایه‌ای چون مفهوم‌های درست و نادرست می‌پردازند.

2. منطق غیرکلاسیک

منطق غیرکلاسیک به سیستم‌های منطقی می‌پردازد که از اصول و قواعد منطق کلاسیک انحراف دارند. این بخش شامل موضوعاتی چون منطق درصدی، منطق مدال و منطق‌های نهادینه است. این منطق‌ها در کاربردهایی مانند علم رایانه و هوش مصنوعی بسیار حائز اهمیت هستند.

3. فلسفه منطق

این بخش به بررسی سوالات فلسفی و نظری مرتبط با منطق می‌پردازد، مانند ماهیت حقیقت، امکانات و محدودیت‌های سیستم‌های منطقی و تفاوت‌های منطقی میان زبان‌های طبیعی و ساختارهای مصنوعی.

4. مبانی ریاضیات

منطق یکی از ارکان اصلی در تأسیس مبانی ریاضیات است. کتاب‌های این بخش به تحلیل روابط منطقی بین اصول ریاضیاتی می‌پردازند و بر اهمیت منطق در نظریات ریاضی تأکید می‌کنند. موضوعاتی چون نظریه مجموعه‌ها و مسئله کامل‌بودن از مواردی هستند که در این قسمت به‌صورت مفصل بررسی می‌شوند.

کاربردهای عملی منطق

منطق، علاوه بر کاربردهای نظری، در حوزه‌های علمی و فناوری نیز نقش مهمی ایفا می‌کند. از طراحی و تحلیل سیستم‌های دیجیتال در مهندسی کامپیوتر گرفته تا توسعه الگوریتم‌های هوش مصنوعی، منطق به‌عنوان ابزاری اساسی به‌کار گرفته می‌شود. کتاب‌های این دسته به بررسی نقش منطق در بهینه‌سازی و بهبود فرآیندهای روزمره و صنعتی می‌پردازند.

چرا انتخاب ما؟

در کتابفروشی آنلاین Refhub.ir، ما تعهد داریم تا با ارائه بهترین و جامع‌ترین منابع در زمینه منطق و مبانی، به ارتقای دانش و بینش خوانندگان خود کمک کنیم. مجموعه ما شامل آثار برتر نویسندگان و محققین برجسته است که همواره با دقت و بررسی دقیق انتخاب شده‌اند. همچنین، با بروزرسانی مداوم و معرفی جدیدترین انتشارات، زمینه‌ای ساخته‌ایم تا علاقه‌مندان به این حوزه بتوانند به‌روزترین اطلاعات را در اختیار داشته باشند. به همین دلیل، Refhub.ir به‌عنوان مقصد اول برای هر کسی که در جستجوی دانش عمیق و کاربردی در زمینه منطق و مبانی است، پیشنهاد می‌شود.