Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Philosophy of Logic
The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the...
Cognitive Patterns in Science and Common Sense
This collection of 17 articles offers an overview of the philosophical activities of a group of philosophers (who have been) working at the Groningen University. The meta-methodological assumption which unifies the research of this group, holds that there is a way to do philosophy which is a middle course between abstract normative philosophy of science and descriptive social studies of science. On the one hand it is argued with social studies of science that philosophy should take notice of what scientists actually do. On the other hand, however, it is claimed that philosophy can and should aim to reveal cognitive patterns in the processes and products of scientific and common sense knowled...
John Buridan
John Buridan (ca. 1300-1362) has worked out perhaps the most comprehensive account of nominalism in the history of Western thought, the philosophical doctrine according to which the only universals in reality are "names": the common terms of our language and the common concepts of our minds. But these items are universal only in their signification; they are singular entities like any other in reality. This book examines what is most intriguing to contemporary readers in Buridan's medieval philosophical system: his nominalist account of the relationship between language, thought and reality. The main focus of the discussion is Buridan's deployment of the Ockhamist conception of a "mental lan...
Oxford Studies in Medieval Philosophy Volume 10
Oxford Studies in Medieval Philosophy showcases the best scholarly research in this flourishing field. The series covers all aspects of medieval philosophy, including the Latin, Arabic, and Hebrew traditions, and runs from the end of antiquity into the Renaissance. It publishes new work by leading scholars in the field, and combines historical scholarship with philosophical acuteness. The papers will address a wide range of topics, from political philosophy to ethics, and logic to metaphysics. OSMP is an essential resource for anyone working in the area.
Nanotribology and Nanomechanics
The recent emergence and proliferation of proximal probes, e.g. SPM and AFM, and computational techniques for simulating tip-surface interactions has enabled the systematic investigation of interfacial problems on ever smaller scales, as well as created means for modifying and manipulating nanostructures. In short, they have led to the appearance of the new, interdisciplinary fields of micro/nanotribology and micro/nanomechanics. This volume serves as a timely, practical introduction to the principles of nanotribology and nanomechanics and applications to magnetic storage systems and MEMS/NEMS. Assuming some familiarity with macrotribology/mechanics, the book comprises chapters by internatio...
Classical Mathematical Logic
In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proofs and the insights behind the proofs, as well as detailed and nontrivial examples and problems. The book has more than 550 exercises. It can be used in advanced undergraduate or graduate courses and for self-study and reference. Classical Mathematical Logic presents a unified treatment of material that until now has been available only by consulting many different books and research articles, written with various notation systems and axiomatizations.
Knowing Science
In Knowing Science, Alexander Bird presents an epistemology of science that rejects empiricism and gives a central place to the concept of knowledge. Science aims at knowledge and progresses when it adds to the stock of knowledge. That knowledge is social knowing—it is known by the scientific community as a whole. Evidence is that from which knowledge can be obtained by inference. From this, it follows that evidence is knowledge, and is not limited to perception, nor to observation. Observation supplies evidence that is basic relative to a field of enquiry and can be highly non-perceptual. Theoretical knowledge is typically gained by inference to the only explanation, in which competing plausible hypotheses are falsified by the evidence. In cases where not all competing hypotheses are refuted, scientific hypotheses are not known but instead possess varying degrees of plausibility. Plausibilities in the light of the evidence are probabilities and link eliminative explanationism to Bayesian conditionalization. Bird argues that scientific realism and anti-realism as global metascientific claims should be rejected-the track record gives us only local metascientific claims.
Formal Ontology
Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which the Element illustrates by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. It discusses critically different accounts of ontological form in the literature. Of ontological form, the authors propose a character-neutral relational account. In this metatheory, ontological forms of entities are their standings in internal relations whose holding is neutral on the character of their relata. These relations are 'formal ontological relations'. The Element concludes by showing that our metatheory is useful for understanding categorial fundamentality/non-fundamentality, different formal ontologies, and for unifying metaphysical questions. This title is also available as Open Access on Cambridge Core.
