Philosophical and Mathematical Logic

This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, b...

Mô tả chi tiết

Lưu vào:

Hiển thị chi tiết
Tác giả chính:	Swart, Harrie de
Định dạng:	Sách
Ngôn ngữ:	English
Thông tin xuất bản:	Springer 2023
Chủ đề:	Modal Logic Philosophical Logic
Truy cập trực tuyến:	http://192.168.0.108/jspui/handle/123456789/1378
Từ khóa:	Thêm từ khóa bạn đọc Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!

id	oai:localhost:123456789-1378
record_format	dspace
spelling	oai:localhost:123456789-13782023-03-28T03:28:47Z Philosophical and Mathematical Logic Swart, Harrie de Modal Logic Philosophical Logic This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and Gödel’s Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL; Social Choice Theory, in particular Majority Judgment) and finally, Fallacies and Unfair Discussion Methods. Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege's Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic. Since "if …, then …" can be considered to be the heart of logic, throughout this book much attention is paid to conditionals: material, strict and relevant implication, entailment, counterfactuals and conversational implicature are treated and many references for further reading are given. Each chapter is concluded with answers to the exercises. 2023-03-28T03:28:47Z 2023-03-28T03:28:47Z 2018 Book 978-3-030-03255-5 http://192.168.0.108/jspui/handle/123456789/1378 en application/pdf Springer
institution	Trường Đại học Tây Đô
collection	DSpaceTD
language	English
topic	Modal Logic Philosophical Logic
spellingShingle	Modal Logic Philosophical Logic Swart, Harrie de Philosophical and Mathematical Logic
description	This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and Gödel’s Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL; Social Choice Theory, in particular Majority Judgment) and finally, Fallacies and Unfair Discussion Methods. Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege's Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic. Since "if …, then …" can be considered to be the heart of logic, throughout this book much attention is paid to conditionals: material, strict and relevant implication, entailment, counterfactuals and conversational implicature are treated and many references for further reading are given. Each chapter is concluded with answers to the exercises.
format	Book
author	Swart, Harrie de
author_facet	Swart, Harrie de
author_sort	Swart, Harrie de
title	Philosophical and Mathematical Logic
title_short	Philosophical and Mathematical Logic
title_full	Philosophical and Mathematical Logic
title_fullStr	Philosophical and Mathematical Logic
title_full_unstemmed	Philosophical and Mathematical Logic
title_sort	philosophical and mathematical logic
publisher	Springer
publishDate	2023
url	http://192.168.0.108/jspui/handle/123456789/1378
work_keys_str_mv	AT swartharriede philosophicalandmathematicallogic
_version_	1803544842605690880

Philosophical and Mathematical Logic

Tài liệu tương tự