Results 61 to 70 of about 2,394 (173)
Limits for Paraconsistent Calculi
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Carnielli, Walter A., Marcos, João
openaire +3 more sources
Professor Grzegorz Malinowski in Honorem [PDF]
, 2017 Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma „ Bulletin of the Section of Logic” finansowane w ramach umowy 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą ...
Ciuciura, Janusz, Indrzejczak, Andrzej
core +1 more source
Paraconsistency and its Philosophical Interpretations
Australasian Journal of Logic, 2018 Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena.
E. Barrio, B. Ré
semanticscholar +1 more source
TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
Manuscrito, 2015 In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in ...
WALTER CARNIELLI, ABÍLIO RODRIGUES
doaj +1 more source
Sequent systems for negative modalities
, 2017 Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and
Lahav, Ori, Marcos, João, Zohar, Yoni
core +1 more source
Dualising Intuitionistic Negation
Principia: An International Journal of Epistemology, 2009 One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task.
Graham Priest
doaj
Truth Values in t-norm based Systems Many-valued FUZZY Logic [PDF]
, 2014 In t-norm based systems many-valued logic, valuations of propositions form a non-countable set: interval [0,1]. In addition, we are given a set E of truth values p, subject to certain conditions, the valuation v is v=V(p), V reciprocal application of E ...
Nescolarde-Selva, Josué Antonio +2 more
core +2 more sources
Pluralism in Scientific Problem Solving. Why Inconsistency is No Big Deal
Humana.Mente: Journal of Philosophical Studies, 2018 Pluralism has many meanings. An assessment of the need for logical pluralism with respect to scientific knowledge requires insights in its domain of application. So first a specific form of epistemic pluralism will be defended.
Diderik Batens
doaj
Paraconsistency and Plausible Argumentation in Generative Grammar: A Case Study [PDF]
, 2013 While the analytical philosophy of science regards inconsistent theories as disastrous, Chomsky allows for the temporary tolerance of inconsistency between the hypotheses and the data.
Kertész, András, Rákosi, Csilla
core +1 more source
A model-theoretic analysis of Fidel-structures for mbC [PDF]
, 2019 In this paper the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures
E. Coniglio, Marcelo
core