Contradictory Logics: A Radical Challenge to Logical Orthodoxy

Informazioni relative al progetto

ConLog

ID dell’accordo di sovvenzione: 101018280

DOI

10.3030/101018280

Data della firma CE 24 Luglio 2021

Data di avvio 1 Ottobre 2021

Data di completamento 30 Settembre 2026

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 2 059 026,00

Contributo UE

€ 2 059 026,00

Coordinato da

RUHR-UNIVERSITAET BOCHUM
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (25)

On the completeness of some first-order extensions of C

Autori: Grigory Olkhovikov
Pubblicato in: Journal of Applied Logics - IfCoLog Journal, Numero 10 (1), 2023, Pagina/e 57 -114, ISSN 2055-3714
Editore: College Publications on behalf of the UK logic charity IfCoLog
DOI: 10.13154/294-9815

Kamide is in America, Moisil and Leitgeb are in Australia

Autori: Satoru Niki, Hitoshi Omori
Pubblicato in: Electronic Proceedings in Theoretical Computer Science, Numero 415, 2025, Pagina/e 180-194, ISSN 2075-2180
Editore: Open Publishing Association
DOI: 10.4204/eptcs.415.17

BI-CONNEXIVE LOGIC, BILATERALISM, AND NEGATION INCONSISTENCY

Autori: HEINRICH WANSING, SATORU NIKI, SERGEY DROBYSHEVICH
Pubblicato in: The Review of Symbolic Logic, Numero 18, 2025, Pagina/e 859-899, ISSN 1755-0203
Editore: Cambridge University Press
DOI: 10.1017/s1755020324000248

Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other

Autori: Sara Ayhan
Pubblicato in: Synthese, Numero 206, 2025, ISSN 1573-0964
Editore: Springer Science and Business Media LLC
DOI: 10.1007/s11229-025-05220-2

Connexive Exclusion

Autori: Yaroslav Shramko, Heinrich Wansing
Pubblicato in: Erkenntnis, Numero 90, 2025, Pagina/e 3371-3402, ISSN 0165-0106
Editore: Reidel
DOI: 10.1007/s10670-024-00842-3

Logical multilateralism

Autori: Heinrich Wansing; Sara Ayhan
Pubblicato in: Journal of Philosophical Logic, Numero 52, 2023, Pagina/e 1603–1636, ISSN 1573-0433
Editore: Springer Nature
DOI: 10.1007/s10992-023-09720-9

Constructive Logic is Connexive and Contradictory

Autori: Heinrich Wansing
Pubblicato in: Logic and Logical Philosophy, Numero 34, 2024, Pagina/e 1-27, ISSN 1425-3305
Editore: Nicolaus Copernicus University
DOI: 10.12775/llp.2024.001

On the provable contradictions of the connexive logics C and C3

Autori: Satoru Niki; Heinrich Wansing
Pubblicato in: Journal of Philosophical Logic, Numero 52, 2023, Pagina/e 1355–1383,, ISSN 1573-0433
Editore: Springert Nature
DOI: 10.1007/s10992-023-09709-4

Problems and Consequences of Bilateral Notions of (Meta-)Derivability

Autori: Sara Ayhan
Pubblicato in: Erkenntnis, 2025, ISSN 0165-0106
Editore: Reidel
DOI: 10.1007/s10670-025-01004-9

"A note on ""A Connexive Conditional"""

Autori: Heinrich Wansing; Hitoshi Omori
Pubblicato in: Logos & Episteme, Numero 13, 2022, Pagina/e 325-328, ISSN 2069-3052
Editore: Institute for Economic and Social Research, Romania
DOI: 10.13154/294-9816

Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology

Autori: Heinrich Wansing; Hitoshi Omori
Pubblicato in: Studia Logica, Numero 112, 2023, Pagina/e 1-35, ISSN 1572-8730
Editore: Springer Nature
DOI: 10.1007/s11225-023-10082-1

One heresy and one orthodoxy: On dialetheism, dimathematism, and the non-normativity of logic

Autori: Heinrich Wansing
Pubblicato in: Erkenntnis, Numero 89, 2024, Pagina/e 181–205, ISSN 0165-0106
Editore: Reidel
DOI: 10.1007/s10670-022-00528-8

Intuitionistic views on connexive constructible falsity

Autori: Satoru Niki
Pubblicato in: Journal of Applied Logics - IfCoLog Journal, Numero 11, 2024, Pagina/e 125–157, ISSN 2055-3714
Editore: College Publications on behalf of the UK logic charity IfCoLog
DOI: 10.13154/294-12564

An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic

Autori: Grigory Olkhovikov
Pubblicato in: Journal of Philosophical Logic, Numero 53, 2024, Pagina/e 1199-1240, ISSN 0022-3611
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10992-024-09763-6

Proof-Theoretic Functional Completeness for the Connexive Logic C

Autori: Sara Ayhan, Hrafn Valtýr Oddsson
Pubblicato in: Studia Logica, 2025, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-025-10200-1

CONDITIONAL REASONING AND THE SHADOWS IT CASTS ONTO THE FIRST-ORDER LOGIC: THE NELSONIAN CASE

Autori: GRIGORY OLKHOVIKOV
Pubblicato in: The Bulletin of Symbolic Logic, 2026, Pagina/e 1-61, ISSN 1079-8986
Editore: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.10136

A basic system of paraconsistent Nelsonian logic of conditionals

Autori: Grigory K. Olkhovikov
Pubblicato in: Journal of Logic, Language and Information, Numero 33, 2024, Pagina/e 299-337, ISSN 0925-8531
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10849-024-09421-9

CONTRADICTIONS WITHOUT NEGATION AND A PROOF-THEORETIC, BILATERALIST ACCOUNT OF CONNEXIVE LOGICS

Autori: SARA AYHAN
Pubblicato in: The Review of Symbolic Logic, 2026, Pagina/e 1-28, ISSN 1755-0203
Editore: Cambridge University Press
DOI: 10.1017/s1755020326101063

Abelian Logic on the Bochum Plan (and the American Plan as Well)

Autori: Satoru Niki, Heinrich Wansing
Pubblicato in: Studia Logica, 2025, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-025-10208-7

Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics

Autori: Sara Ayhan
Pubblicato in: History and Philosophy of Logic, Numero 46, 2025, Pagina/e 449-455, ISSN 0144-5340
Editore: Abacus Press
DOI: 10.1080/01445340.2024.2393964

Double negation as minimal negation

Autori: Satoru Niki
Pubblicato in: Journal of Logic, Language and Information, Numero 35, 2023, Pagina/e 861-886, ISSN 0925-8531
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10849-023-09413-1

Quantifiers in connexive logic (in general and in particular)

Autori: Heinrich Wansing, Zach Weber
Pubblicato in: Logic Journal of the IGPL, Numero 33, 2025, Pagina/e 22 pp., ISSN 1367-0751
Editore: Oxford University Press
DOI: 10.1093/jigpal/jzae115

On synonymy in proof-theoretic semantics. The case of 2Int

Autori: Sara Ayhan; Heinrich Wansing
Pubblicato in: Bulletin of the Section of Logic, Numero 52, 2023, Pagina/e 187–237, ISSN 2449-836X
Editore: Lodz University Press
DOI: 10.18778/0138-0680.2023.18

Note on Contradictions in Francez-Weiss Logics

Autori: Satoru Niki
Pubblicato in: Logic and Logical Philosophy, Numero 34, 2024, Pagina/e 1-30, ISSN 1425-3305
Editore: Nicolaus Copernicus University
DOI: 10.12775/llp.2024.031

A note on negation inconsistent variants of FDE-negation

Autori: Satoru Niki
Pubblicato in: Australasian Journal of Logic, Numero 21, 2024, Pagina/e 65-90, ISSN 1448-5052
Editore: Victoria Univertsity of Wellington
DOI: 10.13154/294-12618

Book chapters (5)

Varieties of negation and contra-classicality in view of Dunn semantics

Autori: Hitoshi Omori; Heinrich Wansing
Pubblicato in: Relevance Logics and other Tools for Reasoning : Essays in Honour of Michael Dunn, 2022, Pagina/e 309-337, ISBN 978-1-84890-395-1
Editore: College Publications
DOI: 10.13154/294-10519

A Note on the Historiography of Pre-modern Connexive Logic

Autori: Heinrich Wansing, Hitoshi Omori
Pubblicato in: Trends in Logic, 60 Years of Connexive Logic, 2025, Pagina/e 1-22
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_1

Remarks on Semantic Information and Logic. From Semantic Tetralateralism to the Pentalattice 65536_5

Autori: Heinrich Wansing
Pubblicato in: Logica Yearbook 2022, 2023, Pagina/e 165-186, ISBN 978-1-84890-446-0
Editore: College Publications
DOI: 10.13154/294-12570

Ten Open Problems in Connexive Logic

Autori: Hitoshi Omori, Heinrich Wansing
Pubblicato in: Trends in Logic, 60 Years of Connexive Logic, 2025, Pagina/e 241-252
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_10

Another Generalization of Connexive Logic C

Autori: Hitoshi Omori, Heinrich Wansing
Pubblicato in: Trends in Logic, 60 Years of Connexive Logic, 2025, Pagina/e 225-240
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-82994-9_9