Bill Gates and Saul Aaron Kripke

Bill Gates and Saul Aaron Kripke

Introduction

The purpose of this paper is to evaluate two great and famous thinkers; Bill Gates and Saul Aaron Kripke. The stories of famous thinkers will help readers in appreciating and further enhancing the contributions of these thinkers. Moreover the readers will get to know who the thinkers are like old, young, majority, minority, male or female. However they are ordinary people who work on their creative ideas to make their dream a reality. Creative thinkers are not satisfied simply with "whatever happens" (Taylor, 2007). Rather, they have the ever-present need to "find something that works a little better, be more efficient, to save a little time." Bill Gates and Saul Aaron Kripke aer two famous thinkers who had contributed a lot to society.

Saul Aaron Kripke

Saul Aaron Kripke (1940, Omaha, Nebraska) is a philosopher and logician U.S. He is currently professor emeritus at Princeton University. Saul was a very gifted child. At the age of six, he taught himself the ancient Hebrew. For nine years he had read all the works of Shakespeare, Descartes, and studied philosophy (working completely independently) solved a number of difficult problems in geometry, algebra and calculus (Christopher, 2004). In the seventeen years it has proved its first theorem on the completeness of the modal logic (and published this result when he was eighteen years old).

Kripke has made ??important and original contributions in various fields related to logic, the metaphysics and the philosophy of language. His work, is used as a reference in the above areas, he has left a deep imprint in contemporary analytic philosophy.

Kripke's most significant contribution to philosophy is:

Kripke semantics for modal logic, he has built in a number of papers published at a time when Kripke was still a young man.

His lecture, “Naming and necessity "in 1970,

Theory of Truth.

Contributed to the Set Theory

Interpretation of the Wittgenstein Philosophy

Kripke has provided solutions to many problems like he has contributed decisively to the coding technique modal semantics. Based on this semantic model, Kripke also criticizes the identification of the terms "necessary truth" / "contingent truth" and "a priori knowledge" / "a posteriori knowledge" as well as the theory that could be known a priori all and retrospective judgments needed all contingent judgments (Fitch, 2005). He argues that the difference between truth necessary / contingent and knowledge a priori / a posteriori-both in its intent and in its extension-is not justified, since there are necessary truths that can be known a posteriori (eg rays are downloads electrical) and contingent truths that can be known a priori (eg the Paris standard meter is a meter).

Kripke also proposes to abandon a part of classical logic, in particular the "principle of the excluded". This manages to develop a theory which systematically eliminates all those sentences that perhaps through self-reference (e.g., the "liar's paradox") lead to unsolvable difficulties with the application of the concept of truth. Kripke's responded to difficulty by eliminate ...