Self-implications in BCI

Notre Dame Journal of Formal Logic 49 (3):295-305 (2008)
  Copy   BIBTEX

Abstract

Humberstone asks whether every theorem of BCI provably implies $\phi\to\phi$ for some formula $\phi$. Meyer conjectures that the axiom $\mathbf{B}$ does not imply any such "self-implication." We prove a slightly stronger result, thereby confirming Meyer's conjecture

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2008-013

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Psychosocial and Ethical Aspects in Non-Invasive EEG-Based BCI Research—A Survey Among BCI Users and BCI Professionals.Gerd Grübler, Abdul Al-Khodairy, Robert Leeb, Iolanda Pisotta, Angela Riccio, Martin Rohm & Elisabeth Hildt - 2013 - Neuroethics 7 (1):29-41.
A Note on Monothetic BCI.Tomasz Kowalski & Sam Butchart - 2006 - Notre Dame Journal of Formal Logic 47 (4):541-544.
Measurement and the justification of the statistical postulate in Bohm's causal interpretation of quantum mechanics.J. Subramanyam - 1997 - Synthese 113 (3):423-445.
On the BCI-Admissibility of an 'Abelian' Rule.Lloyd Humberstone & Tomasz Kowalski - unknown
Ghost in the Machine: A Philosophical Analysis of the Relationship Between Brain-Computer Interface Applications and their Users.Richard Heersmink - 2009 - Dissertation, University of Twente.
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
Brain to computer communication: Ethical perspectives on interaction models. [REVIEW]Guglielmo Tamburrini - 2009 - Neuroethics 2 (3):137-149.
Did I Do That? Brain–Computer Interfacing and the Sense of Agency.Pim Haselager - 2013 - Minds and Machines 23 (3):405-418.
Locked-in Syndrome and BCI - Towards an Enactive Approach to the Self.Miriam Kyselo - 2011 - Neuroethics 6 (3):579-591.
Algebraizing A→.Sam Butchart & Susan Rogerson - unknown
The Asilomar Survey: Stakeholders' Opinions on Ethical Issues Related to Brain-Computer Interfacing. [REVIEW]Femke Nijboer, Jens Clausen, Brendan Z. Allison & Pim Haselager - 2011 - Neuroethics 6 (3):541-578.
Beyond the responsibility gap. Discussion note on responsibility and liability in the use of brain-computer interfaces.Gerd Grübler - 2011 - AI and Society 26 (4):377-382.
BCK and BCI logics, condensed detachment and the $2$-property. [REVIEW]J. Roger Hindley - 1993 - Notre Dame Journal of Formal Logic 34 (2):231-250.
Epistemological and phenomenological issues in the use of brain-computer interfaces.Richard Heersmink - 2011 - In C. Ess & R. Hagengruber (eds.), Proceedings of the International Association for Computing and Philosophy 2011 (pp. 98-102). MV-Wissenschaft.

Analytics

Added to PP
2010-09-13

Downloads
18 (#826,732)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tomasz Kowalski
La Trobe University

Citations of this work

Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.
BCK is not Structurally Complete.Tomasz Kowalski - 2014 - Notre Dame Journal of Formal Logic 55 (2):197-204.
An Abelian Rule for BCI—and Variations.Tomasz Kowalski & Lloyd Humberstone - 2016 - Notre Dame Journal of Formal Logic 57 (4):551-568.

Add more citations

References found in this work

Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.
Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
A Note on Monothetic BCI.Tomasz Kowalski & Sam Butchart - 2006 - Notre Dame Journal of Formal Logic 47 (4):541-544.
On a property of BCK-identities.Misao Nagayama - 1994 - Studia Logica 53 (2):227 - 234.

Add more references