On the Usefulness of Paraconsistent Logic

2005 ◽  
pp. 465-478 ◽  
Author(s):  
Newton C.A. da Costa ◽  
Jean-Yves Béziau ◽  
Otávio Bueno
Keyword(s):  
Paraconsistent Logic

G. Priest and R. Routley. First historical introduction. A preliminary history of paraconsistent and dialethic approaches. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 3–75. - Ayda I. Arruda. Aspects of the historical development of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 99–130. - G. Priest and R. Routley. Systems of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 151–186. - G. Priest and R. Routley. Applications of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 367–393. - G. Priest and R. Routley. The philosophical significance and inevitability of paraconsistency, Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 483–539.

1991 ◽  
Vol 56 (4) ◽  
pp. 1503-1504
Author(s):  
F. G. Asenjo
Keyword(s):  
Historical Development ◽  
Paraconsistent Logic ◽  
Philosophical Significance ◽  
History Of ◽  
Graham Priest

Paraconsistent logic used for estimating the gait score of broiler chickens

2018 ◽  
Vol 173 ◽  
pp. 115-123 ◽  
Author(s):  
Irenilza de A. Nääs ◽  
Luiz Carlos M. Lozano ◽  
Saman Abdanan Mehdizadeh ◽  
Rodrigo G. Garcia ◽  
Jair M. Abe
Keyword(s):  
Broiler Chickens ◽  
Paraconsistent Logic ◽  
Gait Score

Intelligent System of Paraconsistent Logic to Control Autonomous Moving Robots

2006 ◽  
Author(s):  
Claudio Rodrigo Torres ◽  
Germano Lambert-Torres ◽  
Luiz Eduardo Borges da Silva ◽  
Jair Minoro Abe
Keyword(s):  
Intelligent System ◽  
Paraconsistent Logic

scholarly journals Opening address: Paraconsistent logic

2004 ◽  
Vol 7 (0) ◽  
pp. 25 ◽  
Author(s):  
Newton C.A. Da Costa
Keyword(s):  
Paraconsistent Logic ◽  
Opening Address

scholarly journals The adoption of an indicator panel in educational management to decision-making support

2020 ◽  
Vol 8 (6) ◽  
pp. 266-290
Author(s):  
Miguel Fabrício Zamberlan ◽  
Carolina Yukari Veludo Watanabe
Keyword(s):  
Decision Making ◽  
Decision Support ◽  
Decision Support System ◽  
Support System ◽  
Educational Institution ◽  
Paraconsistent Logic ◽  
Ease Of Use ◽  
Adoption Of Technology ◽  
Utaut Model ◽  
Use Of Technology

The use of technology to assist in the performance of daily activities and to carry out communication between individuals has become a necessary task in the face of technological advances. In the context of public institutions, the insertion of technology is also based on the possibilities of making the activities of this sector more efficient and better quality, in addition to allowing greater transparency and accessibility of information for society. For public managers, the information and communication technology tools allow for a more accurate assessment of the variables and possibilities involved in a decision-making process and, thus, to make better decisions in a sector whose main customer is society (users). Therefore, this paper aimed to analyze the use and acceptance of a decision support tool in a public educational institution called the Indicators Panel. For this, the Unified Theory of Acceptance and Use of Technology (UTAUT) was used, and the results were measured using the paraconsistent logic. The results indicate that it is possible to consider the use and acceptance of the decision support system in the public educational institution by reducing the propositions of the UTAUT Model in three factors: Usability, Performance, and Relationship. Regarding the UTAUT Model, it was found that the moderating variables of gender, age, and experience do not significantly influence the adoption of the decision support system. It is important to note that managers point the tool as very important for the development of their activities and emphasize that ease of use is one of the main points for the adoption of technology.

scholarly journals THE SYSTEM OF PERSONAL PRONOUNS IN NATURAL LANGUAGE: A MEREOTOPOLOGICAL APPROACH

2021 ◽  
pp. 175-202
Author(s):  
Олег Анатольевич Доманов ◽  
Вадим Миронович Лурье ◽  
Ольга Владимировна Митренина
Keyword(s):  
Natural Language ◽  
Paraconsistent Logic ◽  
Logical Structure ◽  
Personal Pronouns ◽  
The Universe

Проанализирована логическая структура системы подлежащих естественного языка, выраженных местоимениями или аналогичными с лингвистической точки зрения, объектами, а именно: личными местоимениями, как эксплицитными, так и имплицитными, подлежащими неопределенно-личных и безличных (pro) предложений, а также нефинитных клауз (PRO). В процессе анализа оценивалось содержание имплицитных пропозиций, соответствующих тому или иному выбору подлежащего (агента) из универсума агентов. Для процедуры логического анализа был разработан мереотопологический метод, позволяющий работать как с классической, так и неконсистентными логиками. Показано, что подлежащие (агенты) в естественном языке могут выбираться как по процедурам, соответствующим классической логике, так и по процедурам, соответствующим различным неконсистентным логикам. А именно, подлежащие безличных предложений (pro) выбираются соответственно паракомплектной логике (допускающей контрарное противоречие), подлежащие нефинитных клауз (PRO) выбираются соответственно параконсистентной логике (допускающей субконтрарное противоречие), а подлежащие как неопределенно-личных, так и автореферентных предложений выбираются соответственно неалетической логике (допускающей контрадикторные противоречия). The logical structure of the system of subjects in the natural language is examined. The subjects were limited to those expressed by either pronouns or other similar (from a linguistic viewpoint) phenomena, namely: personal pronouns (both explicit and implicit), subjects of indefinite sentences, subjects of impersonal sentences (pro), and subjects of non-finite clauses (PRO). The implicit propositions corresponding to different modes of choosing the subjects (agents) from the universe of agents are analysed. For this purpose, a mereotopological method has been developed which allows to deal with both consistent (classical) and inconsistent logics. It was demonstrated that, in the natural language, the subjects (agents) can be chosen using the procedures that are governed by either consistent or inconsistent logic. Namely, the subjects of impersonal sentences (pro) are to be chosen according to the paracomplete logic (allowing the contrary contradiction), and the subjects of non-finite clauses (PRO), according to the paraconsistent logic (allowing the subcontrary contradiction), whereas the subjects of both indefinite and self-referential sentences are to be chosen according to the non-alethic logic (allowing the contradictory contradiction).

Sign in / Sign up

Export Citation Format

Share Document