دورية أكاديمية
TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
| العنوان: | TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY |
|---|---|
| المؤلفون: | CARNIELLI,WALTER, RODRIGUES,ABÍLIO |
| المصدر: | Manuscrito v.38 n.2 2015 |
| بيانات النشر: | UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência |
| سنة النشر: | 2015 |
| المجموعة: | SciELO Brazil (Scientific Electronic Library Online) |
| مصطلحات موضوعية: | paraconsistent logics, logics of formal inconsistency, philosophy of paraconsistency, non-classical logics |
| الوصف: | 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 such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. |
| نوع الوثيقة: | article in journal/newspaper |
| وصف الملف: | text/html |
| اللغة: | English |
| الإتاحة: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452015000200155Test |
| رقم الانضمام: | edsbas.EA3454E |
| قاعدة البيانات: | BASE |
| ResultId |
1 |
|---|---|
| Header |
edsbas BASE edsbas.EA3454E 792 3 Academic Journal academicJournal 792.1474609375 |
| PLink |
https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsbas&AN=edsbas.EA3454E&custid=s6537998&authtype=sso |
| FullText |
Array
(
[Availability] => 0
)
Array ( [0] => Array ( [Url] => http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452015000200155# [Name] => EDS - BASE [Category] => fullText [Text] => View record in BASE [MouseOverText] => View record in BASE ) ) |
| Items |
Array
(
[Name] => Title
[Label] => Title
[Group] => Ti
[Data] => TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
)
Array ( [Name] => Author [Label] => Authors [Group] => Au [Data] => <searchLink fieldCode="AR" term="%22CARNIELLI%2CWALTER%22">CARNIELLI,WALTER</searchLink><br /><searchLink fieldCode="AR" term="%22RODRIGUES%2CABÍLIO%22">RODRIGUES,ABÍLIO</searchLink> ) Array ( [Name] => TitleSource [Label] => Source [Group] => Src [Data] => Manuscrito v.38 n.2 2015 ) Array ( [Name] => Publisher [Label] => Publisher Information [Group] => PubInfo [Data] => UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência ) Array ( [Name] => DatePubCY [Label] => Publication Year [Group] => Date [Data] => 2015 ) Array ( [Name] => Subset [Label] => Collection [Group] => HoldingsInfo [Data] => SciELO Brazil (Scientific Electronic Library Online) ) Array ( [Name] => Subject [Label] => Subject Terms [Group] => Su [Data] => <searchLink fieldCode="DE" term="%22paraconsistent+logics%22">paraconsistent logics</searchLink><br /><searchLink fieldCode="DE" term="%22logics+of+formal+inconsistency%22">logics of formal inconsistency</searchLink><br /><searchLink fieldCode="DE" term="%22philosophy+of+paraconsistency%22">philosophy of paraconsistency</searchLink><br /><searchLink fieldCode="DE" term="%22non-classical+logics%22">non-classical logics</searchLink> ) Array ( [Name] => Abstract [Label] => Description [Group] => Ab [Data] => 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 such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. ) Array ( [Name] => TypeDocument [Label] => Document Type [Group] => TypDoc [Data] => article in journal/newspaper ) Array ( [Name] => Format [Label] => File Description [Group] => SrcInfo [Data] => text/html ) Array ( [Name] => Language [Label] => Language [Group] => Lang [Data] => English ) Array ( [Name] => URL [Label] => Availability [Group] => URL [Data] => http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452015000200155 ) Array ( [Name] => AN [Label] => Accession Number [Group] => ID [Data] => edsbas.EA3454E ) |
| RecordInfo |
Array
(
[BibEntity] => Array
(
[Languages] => Array
(
[0] => Array
(
[Text] => English
)
)
[Subjects] => Array
(
[0] => Array
(
[SubjectFull] => paraconsistent logics
[Type] => general
)
[1] => Array
(
[SubjectFull] => logics of formal inconsistency
[Type] => general
)
[2] => Array
(
[SubjectFull] => philosophy of paraconsistency
[Type] => general
)
[3] => Array
(
[SubjectFull] => non-classical logics
[Type] => general
)
)
[Titles] => Array
(
[0] => Array
(
[TitleFull] => TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
[Type] => main
)
)
)
[BibRelationships] => Array
(
[HasContributorRelationships] => Array
(
[0] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => CARNIELLI,WALTER
)
)
)
[1] => Array
(
[PersonEntity] => Array
(
[Name] => Array
(
[NameFull] => RODRIGUES,ABÍLIO
)
)
)
)
[IsPartOfRelationships] => Array
(
[0] => Array
(
[BibEntity] => Array
(
[Dates] => Array
(
[0] => Array
(
[D] => 01
[M] => 01
[Type] => published
[Y] => 2015
)
)
[Identifiers] => Array
(
[0] => Array
(
[Type] => issn-locals
[Value] => edsbas
)
)
[Titles] => Array
(
[0] => Array
(
[TitleFull] => Manuscrito v.38 n.2 2015
[Type] => main
)
)
)
)
)
)
)
|
| IllustrationInfo |