### Citations

71 | Logics of formal inconsistency.
- Carnielli, Coniglio, et al.
- 2007
(Show Context)
Citation Context ...ities of an analogous sort. This is certainly the case, in particular, with the kind of negation supported by the Logics of Formal Inconsistency (LFI s), introduced in [CM02] and further developed in =-=[CCM07]-=-. Some criticisms are supported on the idea that paraconsistent negations are not negations (in the same way as infinitesimal numbers would not be numbers). Other criticisms concerning specifically th... |

58 | A taxonomy of C-systems - Carnielli, Marcos - 2002 |

26 |
The Analyst, a Discourse Addressed to an Infidel Mathematician
- Berkeley
- 1734
(Show Context)
Citation Context ... nor infinitely small quantities (and “nor yet nothing”, merely “ghosts of departed quantities”). In Section XLIX, B of The Analyst; or, a Discourse Addressed to an Infidel Mathematician of 1734 (cf. =-=[Ber34]-=-, Berkeley asks: “Whether the Object of Geometry be not the Proportions of assignable Extensions? And whether, there be any need of considering Quantities either infinitely great or infinitely small? ... |

7 |
2005]: An Introduction to Paraconsistent Logics
- Bremer
(Show Context)
Citation Context ...me: “These difficulties seem to speak against the philosophical import of the Brazilian approach to paraconsistency (which is why it has been dealt quickly in this Chapter).” It is perhaps M. Bremer (=-=[Bre05]-=- , p. 117), however, who makes Berto to resign so quickly: “introducing ‘consistent contradictions’ [...] awaits epistemic elucidation: If we have A and ¬A, then we should take ◦A as false, shouldn’t ... |

2 |
Kerala mathematics and its possible transmission to Europe
- Almeida, Joseph
- 2007
(Show Context)
Citation Context ...ntics of A. Avron and his collaborators (cf. e.g. [AL05]). But specifically for da Costa calculi Cn decidability results by means of the procedure of quasi-matrices are known since three decades, cf. =-=[Alv76]-=- and [dCA77] (some mistakes being fixed in [Mar99], Section 2.2.2). Disqualifying non determinism in logic matters thus not seem to be so easy. Non-deterministic Turing machines are equivalent with de... |

2 |
How to Sell a Contradiction. The Logic and
- Berto
- 2007
(Show Context)
Citation Context ...m the start. Roughly speaking, we are going to suppose that a consistent contradiction is likely to explode, even if a regular contradiction is not.” One of the main criticisms comes from F. Berto in =-=[Ber07]-=-, who akes at p. 162: “How could we have α, ¬α and keep claiming that α is consistent?” 9Well, you cannot and that is precisely what is meant! In the realm of classical logic, the corresponding objec... |

1 |
Wahre Widersprche. Einfhrung in die parakonsistente Logik. Academia
- Bremer
- 1998
(Show Context)
Citation Context ...lucidation: If we have A and ¬A, then we should take ◦A as false, shouldn’t we? And how can we take A to be consistent and have A and ¬A at the same time?” Indeed, Bremer had previously announced, in =-=[Bre98]-=- p. 53, his intention to abandon what has called “da Costa systems” from a certain point on due to what seemed to him unsurmountable philosophical difficulties: “Da Costa-Systeme werden deshalb hier n... |

1 |
Aristóteles, Paraconsistentismo e a Tradição Budista. O que nos faz pensar
- Carnielli, Coniglio
- 2008
(Show Context)
Citation Context ... an indirect sense, Berkeley’s The Analyst was very influential in the development of mathematics. The piece was a direct attack against the foundations 1 This paper advances on some points raised on =-=[CC08]-=- where we attempted to refute certain criticisms to our development of the logics of formal inconsistency. 1and principles of calculus and, in particular, Newton and Leibniz’s notion of infinitesimal... |