Here the author of How to Solve It explains how to become a "good guesser." Marked by G. Polya's simple, energetic prose and use of clever examples from a wide range of human activities, this two-volume work explores techniques of guessing, inductive reasoning, and reasoning by analogy, and the role they play in the most rigorous of deductive disciplines.

2014 Reprint of 1954 American Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. This two volume classic comprises two titles: "Patterns of Plausible Inference" and "Induction and Analogy in Mathematics." This is a guide to the practical art of plausible reasoning, particularly in mathematics, but also in every field of human activity. Using mathematics as the example par excellence, Polya shows how even the most rigorous deductive discipline is heavily dependent on techniques of guessing, inductive (...) reasoning, and reasoning by analogy. In solving a problem, the answer must be guessed at before a proof can be given, and guesses are usually made from a knowledge of facts, experience, and hunches. The truly creative mathematician must be a good guesser first and a good prover afterward; many important theorems have been guessed but no proved until much later. In the same way, solutions to problems can be guessed, and a god guesser is much more likely to find a correct solution. This work might have been called "How to Become a Good Guesser."-From the Dust Jacket. (shrink)

The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad scope. (...) We argue here, however, that its organization manifests certain structural problems, and we describe revisions which we believe are needed if the network is to be maximally successful in realizing its goals of supporting terminology integration. (shrink)

Frege’s distinction between sense (Sinn) and meaning (Bedeutung) is his most influential contribution to philosophy, however central it was to his own projects, and however he may have conceived its importance. Philosophers of language influenced by, or reacting against the distinction, and historians of philosophy commenting on it, have all contributed to the voluminous literature surrounding it.1 Nonetheless in this essay I hope to shed new light on the distinction by considering it in the context of the development of Frege’s (...) thought, and connecting it more intimately than is usually done with Frege’s interests in logic, especially his views on judgment, truth and inference, which were central to his own projects as he conceived them. (shrink)

Rorty claimed that politics is more important than science and philosphy, even his own philosophy. From pragmatist point of view science is also problemsolving and belongs to practice in broader sense.

Rorty claims that humans do not have absolute moral norms in metaphysical sense. There are important values and principles for him, but from his idea of contingency followes that he prefers the actual redescription and evaluation of every particular situation.

At first sight the activities of professional accountants might seem tooffer little that could interest philosophers. Accountants, it is widely believed, report in various ways on what is the case, where what is the case is unambiguously and objectively ascertainable by reference to determinate facts. It is not clear what interest a philosopher might have in that activity.

Fine and Kripke extended S5, S4, S4.2 and such to produce propositionally quantified systems , , : given a Kripke frame, the quantifiers range over all the sets of possible worlds. is decidable and, as Fine and Kripke showed, many of the other systems are recursively isomorphic to second-order logic. In the present paper I consider the propositionally quantified system that arises from the topological semantics for S4, rather than from the Kripke semantics. The topological system, which I dub , (...) is strictly weaker than its Kripkean counterpart. I prove here that second-order arithmetic can be recursively embedded in . In the course of the investigation, I also sketch a proof of Fine's and Kripke's results that the Kripkean system is recursively isomorphic to second-order logic. (shrink)

I begin with some remarks on Christian Atheism and the Death of God Theology. These are not, as might be thought, identical movements. Rather, as I shall try to make clear, Christian Atheism is one form that the Death of God theology has assumed.

Where humans can manipulate and integrate the information they receive in subtle and ever-changing ways from context to context, computers need structured and context-free background information of a sort which ontologies can help to provide. A domain ontology captures the stable, highly general and commonly accepted core knowledge for an application domain. The domain at issue here is that of the life sciences, in particular molecular biology and bioinformatics. Contemporary life science research includes components drawn from physics, chemistry, mathematics, medicine (...) and many other areas, and all of these dimensions, as well as fundamental philosophical issues, must be taken into account in the construction of a domain ontology. Here we describe the basic features of domain ontologies in the life sciences and show how they can be used. (shrink)

This book is the fourth volume of selected papers from the Central European Pragmatist Forum (CEPF). It deals with the general question of self and society, and the papers are organized into sections on Self and History, Self and Society, Self and Politics, Self and Neopragmatism, and an Interview with Richard Rorty. The authors are among the leading specialists in American philosophy from universities across the US and in Central and Eastern Europe.

The Hanafi Sect was the first among the fiqh sects that completed its formation and codification. Abu Hanifa, the founding imam of the sect, raised many students. His most prominent students were Abu Yusuf, Muhammed al-Shaybani and Zufar. While teaching his students, Abu Hanifa created a free environment and was pleased that his students adopted opposing views to his. Accordingly, different views emerged among the imams in question for reasons such as interpreting the texts, taking into account the changes in (...) customs and time, and approaching the issues from different perspectives. After the death of Abu Hanifa, Abu Yusuf served as a kadi, i.e. a judge. Muhammad al-Shaybani played an important role in the formation of the sect. Zakat is one of the subjects where different opinions and disagreements occurred among the imams of the madhhab, or sect. Hanafi books exhibited different approaches in revealing these differences of opinion. For example, there were jurists who mentioned and discussed their differences of opinion in detail, as in Ka-sana’s work Bedai al-sanai fi tertib al-sharai, as well as in Mawsili’s work el-Ihtiyar li-talil al-Muhtar. There were also jurists who took a middle way on the subject. In this study, the differences of opinion of the sect imams Abu Hanifa, Abu Yusuf, Muhammed al-Shaybani and Zufar on zakat will be explained based on the book al-Hidaye by Burhaneddin al-Merginani, which is one of the most popular books of the Hanafi sect. However, the commentaries of al-Hidaye and the books of the sect on fiqh will also be consulted occasionally. In this study, the subjects that are considered more important than the others in regard to the fiqh of zakat will be analyzed. (shrink)

Moral Case Deliberation is an up and coming form of ethics support wherein clinical professionals deliberate about moral questions they face in their work. So far, it has been unclear what quality of deliberation in MCD is entailed and how to evaluate this quality. This article proposes a coding scheme that fits the theoretical background of MCD and allows researchers to evaluate the quality of the deliberation in MCDs. We consider deliberation in MCD to be of good quality when participants (...) enrich their own understanding of a case by being exposed to the viewpoints of others. In order to have such an enriching effect, the deliberation in an MCD ought to involve different kinds of arguments from the perspectives of different stakeholders and in favour of different resolutions to the case; and the process of deliberation ought to be critical but constructive. (shrink)

The article considers approaches in order to study large municipal entities and their economic potential. The authors specify that large municipal entities in modern conditions have a multifunctional structure, so they propose an interdisciplinary approach to their study. The article discusses such approaches to analyzing large municipalities as: philosophical; research from the perspective of social sciences and the humanities (political science, sociological, psychological, historiographic and ethnographic approaches). The authors analyze large municipalities from the perspective of the geographical approach; urban theory; (...) urban planning and architecture. The problem of studying large municipalities in the legal sciences is separately investigated. With the help of the economic approach the authors show that at the core of urbanization and the emergence of large municipalities there are three effects: comparative advantage, concentration effect, and localization effect. The authors give classification of large municipalities. The authors propose a systematic approach to analyzing large cities, representing the unity of the functional approach, open systems methodology and the factor approach. Under the latter, it is proposed to understand the economic potential of the city, which presupposes the possibility of efficient use of available resources and their maximum inclusion in social reproduction in order to meet the needs of the municipality population. The authors substantiate the classification of the economic potential of a large municipal formation, which consists of: the resource (basic and used), innovative and infrastructural potentials. (shrink)

O presente artigo tem o escopo de analisar as influências deixadas por Hans Kelsen e sua Teoria Pura do Direito para a Hermenêutica Jurídica e as incertezas ainda presentes em sua clássica obra sobre o processo interpretativo. O positivismo kelseniano, reconhecido pela separação entre direito e moral, não se omitiu quanto à realidade da interpretação jurídica, e, sem desconsiderar suas bases teóricas, deixou diretrizes para a consolidação de uma teoria da interpretação. Kelsen desenvolveu o conceito de moldura normativa como um (...) limite para o intérprete autêntico da norma cuja subjetividade influenciaria o processo interpretativo, mas também viu possibilidades de interpretações fora desta moldura. O trabalho pretende entender estas possibilidades de interpretação, analisando Hans Kelsen e seus ensinamentos sobre interpretação jurídica. (shrink)