Cover of A logical journey
Read Time: ~6.5 hr

A logical journey

by Hao Wang (1996)

About this book

Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Gödel. A Logical Journey is a continuation of Wang's Reflections on Gödel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Gödel's views on a wide range of issues, from Platonism and the nature of logic, to minds and machines, the existence of God, and positivism and phenomenology.

Setting / LocationGlobal
Story EraModern Era
Protagonist / CoreA logical journey Lead Character

Readers who enjoyed this also loved

Cover of Black pioneers in a white denomination

Black pioneers in a white denomination

Mark D. Morrison-Reed

Portraits of racism in liberal religion tells the stories of two pioneering black ministers. Includes accounts of some of today's more integrated UU congregations and biographical notes on past and present black Unitarian, Universalist and UU minister.

Cover of Two Ravens

Two Ravens

Louis Two Ravens Irwin and Robert Liebert

"This is the story of a remarkable Native American who through his own life struggles learned to unite the paths of warrior and healer. Two Ravens was taught the traditional healing ways of his Mandan, Hidatsa, and Arickara people by his grandfather, knowledge which served him well in his dealings with the hostile white society he later encountered. After years of rampant discrimination and racism, he became a warrior in the fight for the rights of his people He joined the efforts of Leonard Peltier, Leonard Crow Dog, Frank Clearwater, and many other prominent leaders to ensure that his people might live in peace and with respect. But the constant battles often left Two Ravens censured both by fellow Native Americans who supported a more conservative political agenda and white law enforcement agencies who considered him an outlaw. Pulled between different worlds, he struggled against alcoholism and despair. It was only when he returned to his grandfather's teachings that he discovered a way to join the paths of the warrior and the healer. In the years before his death, Two Ravens worked as a substance abuse counselor and spiritual adviser, helping others integrate Native American traditions into their lives in contemporary America. "--Amazon.com.

Cover of Multi-Dimensional Modal Logic

Multi-Dimensional Modal Logic

Maarten Marx, Yde Venema

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi-dimensionality in modal logic is a technical one: we call a modal formalism multi-dimensional if, in its intended semantics, the universe of a model consists of states that are tuples over some more basic set.) This book treats such multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. We will define and discuss a number of systems in detail, focusing on such aspects as expressiveness, definability, axiomatics, decidability and interpolation. Although the book will be mathematical in spirit, we take care to give motivations from the disciplines mentioned earlier on.

Cover of The Value of determination (Valuetales)

The Value of determination (Valuetales)

Ann Donegan Johnson

Focuses on Helen Keller's determination to hear, see, and speak and her equal determination to help others with handicaps similar to her own.

A logical journey by Hao Wang | Literally Just Books