You are here:
Home Jack Sarfatti's Blog Denial Logic

Begin forwarded message:

From: JACK SARFATTI <This email address is being protected from spambots. You need JavaScript enabled to view it.

Subject: Re:'t Hooft on free will - Denial Logic DL, a system of justification logic that models an agent whose justified beliefs are false...

Date: March 5, 2012 4:51:29 PM PST

To: JACK SARFATTI <This email address is being protected from spambots. You need JavaScript enabled to view it.

Imagine an educated, intelligent person, who utterly flips out at the

suggestion that UFOs or interstellar flight or retrocausation MIGHT be

possible. Now, model that in Mathematical Logic...

On Mon, Mar 5, 2012 at 3:34 PM, JACK SARFATTI <This email address is being protected from spambots. You need JavaScript enabled to view it.

???

10-4

Oh like Gerardus 't Hooft? ;-)

See my comments on his free will paper attached.

On Mar 5, 2012, at 11:40 AM, Jonathan Post wrote:

Authors: Florian Lengyel, Benoit St-Pierre

(Submitted on 2 Mar 2012)

Abstract: We define Denial Logic DL, a system of justification

logic that models an agent whose justified beliefs are false, who

cannot avow his own propositional attitudes and who can believe

contradictions but not tautologies of classical propositional logic.

Using Artemov's natural semantics for justification logic JL, in which

justifications are interpreted as sets of formulas, we provide an

inductive construction of models of DL, and prove soundness and

completeness results for DL. Some logical notions developed for JL,

such as constant specifications and the internalization property, are

inconsistent with DL. This leads us to define negative constant

specifications for DL, which can be used to model agents with

justified false beliefs. Denial logic can therefore be relevant to

philosophical skepticism. We use DL with what we call coherent

negative constant specifications to model a Putnamian brain in a vat

with the justified false belief that it is not a brain in a vat, and

derive a model of JL in which "I am a brain in a vat" is false. We

define the fusion of Denial Logic with the Logic of Proofs to model an

agent who can justify and check tautologies and who can believe his

justified false beliefs. Denial Logic was inspired by the contemporary

debate over anthropogenic global warming

Comments: 18 pages

Subjects: Logic (math.LO)

MSC classes: 03B42 (Primary) 03B62, 03A05, 03B80 (Secondary)

Cite as: arXiv:1203.0389v1 [math.LO]

Submission history

From: Florian Lengyel [view email]

[v1] Fri, 2 Mar 2012 08:24:07 GMT (24kb)

Category: MyBlog

Written by Jack Sarfatti

Published on Monday, 05 March 2012 16:54

't Hooft 100 Year Star Ship Abner Shimony accelerometers action-reaction principle Aephraim Sternberg Alan Turing Albert Einstein Alpha Magnetic Spectrometer American Institute of Physics Andrija Puharich Anthony Valentin Anton Zeilinger Antony Valentini anyon Apple Computer Artificial Intelligence Asher Peres Back From The Future Basil Hiley Bell's theorem Ben Affleck Ben Libet Bernard Carr Bill Clinton black body radiation Black Hole black hole firewall black hole information paradox black holes Bohm brain waves Brian Josephson Broadwell Cambridge University Carnot Heat Engine Central Intelligence Agency CIA Clive Prince closed time like curves coherent quantum state Consciousness conservation laws Cosmic Landscape Cosmological Constant cosmology CTC cyber-bullying Dancing Wu Li Masters Dark Energy Dark Matter DARPA Daryl Bem David Bohm David Deutsch David Gross David Kaiser David Neyland David Tong de Sitter horizon Dean Radin Deepak Chopra delayed choice Demetrios A. Kalamidas Demetrios Kalamidas Dennis Sciama Destiny Matrix Dick Bierman Doppler radars E8 group Einstein's curved spacetime gravity Einstein's happiest thought electromagnetism Eli Cartan EMP Nuclear Attack entanglement signals ER=EPR Eric Davis Ernst Mach ET Eternal Chaotic Inflation evaporating black holes Facebook Faster-Than-Light Signals? fictitious force firewall paradox flying saucers FQXi Frank Tipler Frank Wilczek Fred Alan Wolf Free Will G.'t Hooft Garrett Moddel Gary Zukav gauge theory general relativity Geometrodynamics Gerard 't Hooft Giancarlo Ghirardi God Goldstone theorem gravimagnetism gravity Gravity - the movie gravity gradiometers gravity tetrads Gravity Waves Gregory Corso gyroscopes hacking quantum cryptographs Hagen Kleinert Hal Puthoff Hawking radiation Heisenberg Henry Stapp Herbert Gold Higgs boson Higgs field hologram universe Horizon How the Hippies Saved Physics I.J. Good ICBMs Igor Novikov inertial forces inertial navigation Inquisition Internet Iphone Iran Isaac Newton Israel Jack Sarfatti Jacques Vallee James F. Woodward James Woodward JASON Dept of Defense Jeffrey Bub Jesse Ventura Jim Woodward John Archibald Wheeler John Baez John Cramer John S. Bell Ken Peacock Kip Thorne Kornel Lanczos La Boheme Laputa Large Hadron Collider Lenny Susskind Leonard Susskind Levi-Civita connection LHC CERN libel Louis de Broglie Lubos Motl LUX Lynn Picknett M-Theory Mach's Principle Mae Jemison Making Starships and Star Gates Martin Rees Mathematical Mind MATRIX Matter-AntiMatter Asymmetry Max Tegmark Menas Kafatos Michael Persinger Michael Towler microtubules Milky way MIT MOSSAD multiverse NASA Nick Bostrum Nick Herbert Nobel Prize nonlocality Obama organized-stalking Origin of Inertia P. A. M. Dirac P.K.Dick P.W. Anderson Paranormal parapsychology Paul Werbos Perimeter Institute Petraeus Physical Review Letters Physics Today Post-Quantum Physics pre-Big Bang precognition presponse PSI WARS Psychic Repression qualia Quantum Chromodynamics quantum computers quantum entanglement quantum field theory quantum gravity Quantum Information Theory Quantum Theory RAF Spitfires Ray Chiao Red Chinese Remote Viewing retrocausality Reviews of Modern Physics Richard Feynman Richard P. Feynman Rindler effect Robert Anton Wilson Robert Bigelow Roger Penrose rotating black holes Roy Glauber Rupert Sheldrake Russell Targ Ruth Elinor Kastner S-Matrix Sagnac effect Sam Ting Sanford Underground Research Facility Sarfatti Lectures in Physics Scientific American Second Law of Thermodynamics Seth Lloyd signal nonlocality Skinwalker Ranch social networks space drive space-time crystal SPECTRA - UFO COMPUTER spontaneous broken symmetry SRI Remote Viewing Experiments Stanford Physics Stanford Research Institute Star Gate Star Ship Star Trek Q Stargate Starship Stephen Hawking Steven Weinberg stretched membrane string theory strong force gluons Stuart Hameroff superconducting meta-material supersymmetry symmetries telepathy Templeton The Guardian Thought Police time crystal time travel topological computers Topological Computing torsion UFO Unitarity unitary S-Matrix false? Unruh effect Uri Geller VALIS virtual particle Virtual Reality Warp Drive weak force Wheeler-Feynman WIMP WMAP WMD world crystal lattice wormhole Yakir Aharonov Yuri Milner

- November 2015(1)
- January 2015(1)
- December 2014(1)
- August 2014(2)
- July 2014(2)
- June 2014(2)
- May 2014(1)
- April 2014(6)
- March 2014(6)
- February 2014(1)
- January 2014(3)
- December 2013(5)
- November 2013(8)
- October 2013(13)
- September 2013(8)
- August 2013(12)
- July 2013(3)
- June 2013(32)
- May 2013(3)
- April 2013(6)
- March 2013(6)
- February 2013(15)
- January 2013(5)
- December 2012(15)
- November 2012(15)
- October 2012(18)
- September 2012(12)
- August 2012(15)
- July 2012(30)
- June 2012(13)
- May 2012(18)
- April 2012(12)
- March 2012(28)
- February 2012(15)
- January 2012(25)
- December 2011(29)
- November 2011(30)
- October 2011(39)
- September 2011(22)
- August 2011(41)
- July 2011(42)
- June 2011(24)
- May 2011(13)
- April 2011(13)
- March 2011(15)
- February 2011(17)
- January 2011(31)
- December 2010(19)
- November 2010(22)
- October 2010(31)
- September 2010(41)
- August 2010(30)
- July 2010(27)
- June 2010(12)
- May 2010(20)
- April 2010(19)
- March 2010(27)
- February 2010(34)