Paraconsistent Logic: Consistency, Contradiction and Negation

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.

Download Full-text

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

Логико-философские штудии ◽

10.52119/lphs.2021.44.69.002 ◽

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).

Download Full-text