|
Showing 1 - 10 of
10 matches in All Departments
This book is an abridged version of Feng Qi’s two major works on
the history of philosophy, The Logical Development of Ancient
Chinese Philosophy and The Revolutionary Course of Modern Chinese
Philosophy. It is a comprehensive history of Chinese philosophy
taking the reader from ancient times to the year 1949. It
illuminates the characteristics of traditional Chinese philosophy
from the broader vantage point of epistemology. The book revolves
around important debates including those on “Heaven and
humankind” (tian ren天人), “names and actualities”
(mingshi名實), “principle and vital force” (liqi理氣),
“the Way and visible things” (daoqi道器), “mind and
matter/things” (xinwu心物), and “knowledge and action”
(zhixing知行). Through discussion of these debates, the course of
Chinese philosophy unfolds. Modern Chinese philosophy has
made landmark achievements in the development of historical and
epistemological theory, namely the “dynamic and revolutionary
theory of reflection”. However, modern Chinese philosophy is yet
to construct a systematic overview of logic and methodology, as
well as questions of human freedom and ideals. Amid this
discussion, the question of how contemporary China is to “take
the baton” from the thinkers of the modern philosophical
revolution is addressed.
This volume comprises a collection of twenty written versions of
invited as well as contributed papers presented at the conference
held from 20-24 May 1996 in Beijing, China. It covers many areas of
logic and the foundations of mathematics, as well as computer
science. Also included is an article by M. Yasugi on the Asian
Logic Conference which first appeared in Japanese, to provide a
glimpse into the history and development of the series.
|
Infinity And Truth (Hardcover)
Chitat Chong, Qi Feng, Theodore a. Slaman, W. Hugh Woodin
|
R1,682
R1,446
Discovery Miles 14 460
Save R236 (14%)
|
Ships in 12 - 17 working days
|
This volume is based on the talks given at the Workshop on Infinity
and Truth held at the Institute for Mathematical Sciences, National
University of Singapore, from 25 to 29 July 2011. The chapters
cover topics in mathematical and philosophical logic that examine
various aspects of the foundations of mathematics. The theme of the
volume focuses on two basic foundational questions: (i) What is the
nature of mathematical truth and how does one resolve questions
that are formally unsolvable within the Zermelo-Fraenkel Set Theory
with the Axiom of Choice, and (ii) Do the discoveries in
mathematics provide evidence favoring one philosophical view over
others? These issues are discussed from the vantage point of recent
progress in foundational studies.The final chapter features
questions proposed by the participants of the Workshop that will
drive foundational research. The wide range of topics covered here
will be of interest to students, researchers and mathematicians
concerned with issues in the foundations of mathematics.
This volume presents the lecture notes of short courses given by
three leading experts in mathematical logic at the 2010 and 2011
Asian Initiative for Infinity Logic Summer Schools. The major
topics covered set theory and recursion theory, with particular
emphasis on forcing, inner model theory and Turing degrees,
offering a wide overview of ideas and techniques introduced in
contemporary research in the field of mathematical logic.
This volume provides a forum which highlights new achievements and
overviews of recent developments of the thriving logic groups in
the Asia-Pacific region. It contains papers by leading logicians
and also some contributions in computer science logics and
philosophic logics.
This book is a brief and focused introduction to the reverse
mathematics and computability theory of combinatorial principles,
an area of research which has seen a particular surge of activity
in the last few years. It provides an overview of some fundamental
ideas and techniques, and enough context to make it possible for
students with at least a basic knowledge of computability theory
and proof theory to appreciate the exciting advances currently
happening in the area, and perhaps make contributions of their own.
It adopts a case-study approach, using the study of versions of
Ramsey's Theorem (for colorings of tuples of natural numbers) and
related principles as illustrations of various aspects of
computability theoretic and reverse mathematical analysis. This
book contains many exercises and open questions.
This volume presents the lecture notes of short courses given by
three leading experts in mathematical logic at the 2012 Asian
Initiative for Infinity Logic Summer School. The major topics cover
set-theoretic forcing, higher recursion theory, and applications of
set theory to C*-algebra. This volume offers a wide spectrum of
ideas and techniques introduced in contemporary research in the
field of mathematical logic to students, researchers and
mathematicians.
This volume presents the lecture notes of short courses given by
three leading experts in mathematical logic at the 2012 Asian
Initiative for Infinity Logic Summer School. The major topics cover
set-theoretic forcing, higher recursion theory, and applications of
set theory to C*-algebra. This volume offers a wide spectrum of
ideas and techniques introduced in contemporary research in the
field of mathematical logic to students, researchers and
mathematicians.
|
Notes On Forcing Axioms (Hardcover)
Stevo Todorcevic; Edited by Chitat Chong, Qi Feng, Theodore a. Slaman, W. Hugh Woodin, …
|
R2,090
Discovery Miles 20 900
|
Ships in 10 - 15 working days
|
In the mathematical practice, the Baire category method is a tool
for establishing the existence of a rich array of generic
structures. However, in mathematics, the Baire category method is
also behind a number of fundamental results such as the Open
Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This
volume brings the Baire category method to another level of
sophistication via the internal version of the set-theoretic
forcing technique. It is the first systematic account of
applications of the higher forcing axioms with the stress on the
technique of building forcing notions rather than on the
relationship between different forcing axioms or their consistency
strengths.
The Asian Logic Conference is part of the series of logic
conferences inaugurated in Singapore in 1981. It is normally held
every three years and rotates among countries in the Asia-Pacific
region. The 11th Asian Logic Conference is held in the National
University of Singapore, in honour of Professor Chong Chitat on the
occasion of his 60th birthday. The conference is on the broad area
of logic, including theoretical computer science. It is considered
a major event in this field and is regularly sponsored by the
Association of Symbolic Logic. This volume contains papers from
this meeting.
|
You may like...
Barbie
Margot Robbie, Ryan Gosling
Blu-ray disc
R266
Discovery Miles 2 660
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|