Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Philosophical Logic
Introduces students to non-classical logic, syllogistic, to quantificational and modal logic. The book includes exercises throughout and a glossary of terms and symbols.
An Invitation to Formal Reasoning
An Invitation to Formal Reasoning introduces the discipline of formal logic by means of a powerful new system formulated by Fred Sommers. This system, term logic, is different in a number of ways from the standard system employed in modern logic; most striking is its greater simplicity and naturalness. Based on a radically different theory of logical syntax than the one Frege used when initiating modern mathematical logic in the 19th Century, term logic borrows insights from Aristotle's syllogistic, Scholastic logicians, Leibniz, and the 19th century British algebraists. Term logic takes its syntax directly from natural language, construing statements as combinations of pairs of terms, where...
Figuring It Out
Many systems of logic diagrams have been offered both historically and more recently. Each of them has clear limitations. An original alternative system is offered here. It is simpler, more natural, and more expressively and inferentially powerful. It can be used to analyze not only syllogisms but arguments involving relational terms and unanalyzed statement terms.
Robust Reality
Contemporary analytic philosophy can generally be characterized by the following tendencies: commitment to first-order predicate logic as the only viable formal logic; rejection of correspondence theories of truth; a view of existence as something expressed by the existential quantifier; a metaphysics that doesn’t give the world as a whole its due. This book seeks to offer an alternative analytic theory, one that provides a unified account of what there is, how we speak about it, the underlying logic of our language, how the truth of what we say is determined, and the central role of the real world in all of this. The result is a robust account of reality. The inspiration for many of the ideas that constitute this overall theory comes from such sources as Aristotle, Leibniz, Ryle, and Sommers.
Bare Facts and Naked Truths
The very idea of truth as a substantial and meaningful concept has been under attack recently from advocates of New Age and postmodern theories. In this book Englebretsen defends the notions of truth and objectivity as key to the scientific view of the natural world and presents an original defence of the 'commonsense' correspondence theory of truth. Englebretsen's approach overcomes the traditional difficulties of correspondence theories of truth with providing adequate and convincing accounts of truth-bearers, truth-makers and the correspondence relation between them by taking truth-bearers to be propositions and facts as constitutive properties of the world. This accessibly written book surveys all of the major competing theories of truth (coherence, pragmatic, redundancy, semantic, deflationary, disquotational, minimalist) before formulating the new defence of the correspondence theory and then exploring the consequences of the theory for issues in epistemology and ontology. The book concludes by showing how the idea of 'propositional depth' can be used to dissolve the Liar paradoxes.
Something to Reckon with
By delving into the history and envelopment of logic from its beginnings to the modern era, George Englebretsen rehabilitates term logic and demonstrates that an enhanced traditional logic remains a viable possibility. Taking inspiration from Fred Sommers' work, he creates an updated and fascinating version of term logic; one he believes to be just as legitimate as, and in ways superior to, the currently predominant mathematical logic. Published in English.
The Old New Logic
A diverse group of contributors reflect on the philosophical legacy of Fred Sommers and his efforts to revive and refashion traditional Aristotelian logic for a post-Fregean world.
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...
Theory and Application of Diagrams
Diagrams 2000 is dedicated to the memory of Jon Barwise. Diagrams 2000 was the ?rst event in a new interdisciplinary conference series on the Theory and Application of Diagrams. It was held at the University of Edinburgh, Scotland, September 1-3, 2000. Driven by the pervasiveness of diagrams in human communication and by the increasing availability of graphical environments in computerized work, the study of diagrammatic notations is emerging as a research ?eld in its own right. This development has simultaneously taken place in several scienti?c disciplines, including, amongst others: cognitive science, arti?cial intelligence, and computer science. Consequently, a number of di?erent worksho...
