Filter by
The not-two :logic and God in Lacan
In The Not-Two, Lorenzo Chiesa examines the treatment of logic and God in Lacan's later work. Chiesa draws for the most part from Lacan's Seminars of the early 1970s, as they revolve around the axiom "There is no sexual relationship." Chiesa provides both a close reading of Lacan's effort to formalize sexual difference as incompleteness and an assessment of its broader implications for philosop…
- Edition
- -
- ISBN/ISSN
- 9780262335034
- Collation
- 1 online resource (xxiii, 251 pages).
- Series Title
- -
- Call Number
- -
Human Reasoning and Cognitive Science
"A Bradford book.""In Human Reasoning and Cognitive Science, Keith Stenning and Michiel van Lambalgen - a cognitive scientist and a logician - argue for the indispensability of modern mathematical logic to the study of human reasoning. Logic and cognition were once closely connected, they write, but were "divorced" in the past century; the psychology of deduction went from being central to the …
- Edition
- -
- ISBN/ISSN
- 9780262284295
- Collation
- 1 online resource (xii, 407 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic in Games
This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: t…
- Edition
- -
- ISBN/ISSN
- 9780262320290
- Collation
- 1 online resource (xvii, 547 pages) :illustrations
- Series Title
- -
- Call Number
- -
Dynamic logic
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic,…
- Edition
- -
- ISBN/ISSN
- 9780262274951
- Collation
- 1 online resource (xv, 459 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Type-Logical Semantics
A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262269902
- Collation
- 1 online resource (xxi, 575 pages).
- Series Title
- -
- Call Number
- -
Elements of argumentation
Here the authors introduce techniques for formalizing deductive argumentation in artificial intelligence, emphasising emerging formalizations for practical argumentation. They discuss how arguments can be constructed, how key intrinsic and extrinsic factors can be identified, and how these analyses can be harnessed in the real world.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262268400
- Collation
- 1 online resource (298 pages)
- Series Title
- -
- Call Number
- -
The connectives
A comprehensive investigation of the sentence connectives--and, or, if, not--with special attention to their logical properties.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262298834
- Collation
- 1 online resource (xvii, 1492 pages)
- Series Title
- -
- Call Number
- -
Concepts and Fuzzy Logic
Leading researchers examine the usefulness and limitations of fuzzy logic for the psychology of concepts. The classical view of concepts in psychology was challenged in the 1970s when experimental evidence showed that concept categories are graded and thus cannot be represented adequately by classical sets. The possibility of using fuzzy set theory and fuzzy logic for representing and dealing w…
- Edition
- -
- ISBN/ISSN
- 0262298570
- Collation
- 1 online resource (ix, 274 pages) :illustrations
- Series Title
- -
- Call Number
- -
Bots and beasts :what makes machines, animals, and people smart?
"An honest attempt to compare and analyze the intelligence of humans, animals, and computers by an eminent cognitive scientist and long-time Press author"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262365898
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Reason and less :pursuing food, sex, and politics
"New theoretical model of human reasoning proposed by a leading researcher in the cognitive neurosciences. Explains why people are never fully rational in their decision-making"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262369702
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography