Listing 1 - 10 of 88 | << page >> |
Sort by
|
Choose an application
Choose an application
Logic, Symbolic and mathematical. --- Mathematics --- Philosophy.
Choose an application
Choose an application
"Ludwig Wittgenstein's brief Tractatus Logico-Philosophicus (1922) is one of the most important philosophical works of the Twentieth Century, yet it offers little orientation for the reader. The first-time reader is left wondering what it could be about, and the scholar is left with little guidance for interpretation. In Tractatus in Context, James C. Klagge presents the vital background necessary for appreciating Wittgenstein's gnomic masterpiece. Tractatus in Context contains the early reactions to the Tractatus, including the initial reviews written in 1922-1924. And while we can't talk with Wittgenstein, we can do the next best thing-hear what he had to say about the Tractatus. Klagge thus presents what Wittgenstein thought about germane issues leading up to his writing the book, in discussions and correspondence with others about his ideas, and what he had to say about the Tractatus after it was written-in letters, lectures and conversations. It offers, you might say, Wittgenstein's own commentary on the book. Key Features: Illuminates what is at stake in the Tractatus, by providing the views of others that engaged Wittgenstein as he was writing it. Includes Wittgenstein's earlier thoughts on ideas in the book as recorded in his notebooks, letters, and conversations as well as his later, retrospective comments on those ideas. Draws on new or little-known sources, such as Wittgenstein's coded notebooks, Hermine's notes, Frege's letters, Hänsel's diary, Ramsey's notes, and Skinner's dictations. Draws connections between the background context and specific passages in the Tractatus, using a proposition-by-proposition commentary"--
Logic, Symbolic and mathematical. --- Language and languages --- Philosophy. --- Wittgenstein, Ludwig,
Choose an application
Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, brings mathematical logic into the comfort zone of these students and provides clarity that can only be achieved by a deep hands-on understanding and the satisfaction of having created working code. While the approach is unique, the text follows the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, culminating in a proof of Gödel's completeness theorem. A sneak peek to Gödel's incompleteness theorem is also provided. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Familiarity with proofs and basic proficiency in Python is assumed.
Choose an application
The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.
Axiomatic set theory. --- Axioms --- Logic, Symbolic and mathematical --- Set theory
Choose an application
Pragmatics. --- Pragmalinguistics --- General semantics --- Language and languages --- Logic, Symbolic and mathematical --- Semantics (Philosophy) --- Philosophy
Choose an application
Computer logic. --- Computer logic --- Study and teaching. --- Computer science logic --- Logic, Symbolic and mathematical
Choose an application
Computer logic --- Study and teaching. --- Computer science logic --- Logic, Symbolic and mathematical
Choose an application
This second edition of the Manual is intended to facilitate access to the most comprehensive resource available today for any scholar interested in pragmatics as defined by the International Pragmatics Association: "the science of language use, in its widest interdisciplinary sense as a functional perspective on language and communication.".
Pragmatics. --- Linguistics --- General semantics --- Language and languages --- Logic, Symbolic and mathematical --- Semantics (Philosophy) --- Methodology. --- Philosophy
Listing 1 - 10 of 88 | << page >> |
Sort by
|