dor_id: 4115585

506.#.#.a: Público

590.#.#.d: Cada artículo es evaluado mediante una revisión ciega única

510.0.#.a: Arts and Humanities Citation Index, Revistes Cientifiques de Ciencies Socials Humanitais (CARHUS Plus); Latinoamericanas en Ciencias Sociales y Humanidades (CLASE); Directory of Open Access Journals (DOAJ); European Reference Index for the Humanities (ERIH PLUS); Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex); SCOPUS, Journal Storage (JSTOR); The Philosopher’s Index, Ulrich’s Periodical Directory

561.#.#.u: https://www.filosoficas.unam.mx/

650.#.4.x: Artes y Humanidades

336.#.#.b: article

336.#.#.3: Artículo de Investigación

336.#.#.a: Artículo

351.#.#.6: http://critica.filosoficas.unam.mx/index.php/critica

351.#.#.b: Crítica. Revista Hispanoamericana de Filosofía

351.#.#.a: Artículos

harvesting_group: RevistasUNAM

270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

590.#.#.c: Open Journal Systems (OJS)

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://revistas.unam.mx/catalogo/

883.#.#.a: Revistas UNAM

590.#.#.a: Coordinación de Difusión Cultural

883.#.#.1: https://www.publicaciones.unam.mx/

883.#.#.q: Dirección General de Publicaciones y Fomento Editorial

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: http://critica.filosoficas.unam.mx/index.php/critica/article/view/326/317

100.1.#.a: Berestovoy, Susana

524.#.#.a: Berestovoy, Susana (1980). On Non-Classical Formal Systems. Crítica. Revista Hispanoamericana de Filosofía; Vol 12 No 34, 1980; 73-89. Recuperado de https://repositorio.unam.mx/contenidos/4115585

245.1.0.a: On Non-Classical Formal Systems

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Instituto de Investigaciones Filosóficas, UNAM

264.#.0.c: 1980

264.#.1.c: 2018-11-12

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico alberto@filosoficas.unam.mx

884.#.#.k: http://critica.filosoficas.unam.mx/index.php/critica/article/view/326

001.#.#.#: critica:oai:ojs2.132.248.184.97:article/326

041.#.7.h: spa

520.3.#.a: Classical logic´s adequacy to deal with certain concepts has been put forward in our time as a problem which can be taken as part and parcel of our philosophical tradition. The various questionings of it which have been made as regards its scope of application, and som of its very principles as well, have in our century given rise to, among other things, non-classical systems of logic. Vasilev, a forerunner in the treatment of many-valued logics, described his work as an attempt to do with Aristotelian logic what Lobatchevsky had done with regard to Euclidean geometry. From our viewpoint this is a correct approach: in the same way as non-Euclidean geometries are more adequate than Euclidean geometry to deal with certain problems, notably in physics, some non-classical logics are better adapted for the analysis of certain ideas and are more fit than classical logic to deal with certain provinces of natural languages or with approximation problems. A semantic principle which, even though it has been accepted by the main trends of orthodox logic, had been already discussed and questioned by Aristotle in connection with future contingents, is the principle of two-valuedness, according to which: Every statement is either true or false. The taking into account of future contingent statements which can be analyzed as indeterminate, giving rise in this way to a third truth value, and the study of the various propositional modalities, is the source from which the questioning of this principle arises, jettisoning the creation of the so-called many-valued logics. Different many-valued logics can be obtained by dealin with different propositional modalities as, for example, brobabilistic, epistemical, existential, alethic. From the beginning of their development many-valued logics were extended into systems with an infinite set of truth values; such systems were even considered by Lukasiewicz as those which, together with 3-value systems, hold the most interest from a philosophical standpoint. For many of these systems we have not as yet an adequate attribution of meanings to their truth values. Even if such is the case, they are of interest because of their applications in purely formal realms, e.g., independence proofs. More recently we have seen the upsurge of fuzzy logics. The inferential process in them is more of a semantical than of a syntactical nature, with an intention to recapture the impreciseness of our usual modes of reasoning rather than to deal with exact reasoning. Their conception, originating in the notion of fuzzy set introduced by Zadeh, intends to take into account the fact that statement within natural languages are neither true nor false in an absolute way but only in a certain degree and in a certain sense. Different systems of fuzzy logics have been developed in which the set of truth values can be totally ordered or constitute a lattice; there are others in which the truth values are a fuzzy set. In this case, account is taken of the fact that one cannot asign a precise truth value to a vague statement. In some systems of many-valued and fuzzy logics the principles of excluded third and of non-contradiction are not valid. The former, identified sometimes with the principle of two-valuedness, has been the most questioned of classical principles along history. It can be stated as: For any statement A, (A ˅ ~A) is valid. The validity of this principle depends on how we interpret disjuction, negation and what we understand by “true”, as well. For example, if we take “to be true” as meaning “to be provable in a deductive systems S” and if S is incomplete, then for a statement A not provable in S, neither A non ~A are true in S and hence (A ˅ ~ A) is not true. By the same token, if we only admit as true something which has been established according to some rules or methods, and these have not yielded a proof neither of A nor of ~ A, then A ˅ ~ A) will again not be true. This last is the position adopted by intuitionists; for them the truth of a statement has to be established constructively. The principle of non-contradiction can be stated thus: For any statement A, ~(A & ~ A) is valid. From a formal viewpoint, the strongest reason to accept this principle, both in classical and in intuitionistic logic, is that both of them have as a valid formula: (I) ((A & ~ A) → B), for any B whatsoever. Hence if the principle were not taken as valid, this would render the system trivial. Logics in which (I) is not valid can be used as bases for theories, T, in which we can admit, for a certain statement A, both A and ~A without making T trivial. To do this might be of interest from a philosophical standpoint, given a certain interpretation of negation, or from a linguistic viewpoint if we are intereste in natural languages. Implication has also been questioned in its classical interpretation. We can begin by pointing out the so-called paradoxes of material implication which, for some thinkers, follow from the acceptance of the principle (II) (A → (B → A)) This principle is valid both in classical and in intuitionistic logics. The problem with (II) is that by accepting it and modus ponens, and by taking a statement A which might be contingently true, it follows then that A is necessarily implied by any statement B whatsoever, i.e.: A ˫ B → A. In Lewis´ system S4, (II) is not valid. To remedy this apparent fault of implication, it has been suggested that for A to be implied by B, B has to be relevant for A. What this means is not clear as yet, but a proposal has been made that a minimal condition of relevancy of B for A is that both statements have, at least, a common propositional variable. Certain systems incorporating this notion have already been developed. [J.A. Robles] Resumen

773.1.#.t: Crítica. Revista Hispanoamericana de Filosofía; Vol 12 No 34 (1980); 73-89

773.1.#.o: http://critica.filosoficas.unam.mx/index.php/critica

046.#.#.j: 2021-09-28 00:00:00.000000

022.#.#.a: ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503

310.#.#.a: Cuatrimestral

300.#.#.a: Páginas: 73-89

264.#.1.b: Instituto de Investigaciones Filosóficas, UNAM

758.#.#.1: http://critica.filosoficas.unam.mx/index.php/critica

doi: https://doi.org/10.22201/iifs.18704905e.1980.326

handle: 00b5154aa842dfa8

harvesting_date: 2021-05-17 10:00:00.0

856.#.0.q: application/pdf

file_creation_date: 2010-10-13 15:40:10.0

file_modification_date: 2010-10-31 18:18:01.0

file_creator: IIFs

file_name: 4c8b1f6d7f4b1c1cb93d72295c54ed45e742a24c19e30ac349696d0026dce344.pdf

file_pages_number: 17

file_format_version: application/pdf; version=1.6

file_size: 183401

245.1.0.b: Sobre sistemas formales no clásicos

last_modified: 2023-08-23 12:00:00

license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es

license_type: by-nc-nd

No entro en nada

No entro en nada 2

Artículo

On Non-Classical Formal Systems

Berestovoy, Susana

Instituto de Investigaciones Filosóficas, UNAM, publicado en Crítica. Revista Hispanoamericana de Filosofía, y cosechado de Revistas UNAM

Licencia de uso

Procedencia del contenido

Cita

Berestovoy, Susana (1980). On Non-Classical Formal Systems. Crítica. Revista Hispanoamericana de Filosofía; Vol 12 No 34, 1980; 73-89. Recuperado de https://repositorio.unam.mx/contenidos/4115585

Descripción del recurso

Autor(es)
Berestovoy, Susana
Tipo
Artículo de Investigación
Área del conocimiento
Artes y Humanidades
Título
On Non-Classical Formal Systems
Fecha
2018-11-12
Resumen
Classical logic´s adequacy to deal with certain concepts has been put forward in our time as a problem which can be taken as part and parcel of our philosophical tradition. The various questionings of it which have been made as regards its scope of application, and som of its very principles as well, have in our century given rise to, among other things, non-classical systems of logic. Vasilev, a forerunner in the treatment of many-valued logics, described his work as an attempt to do with Aristotelian logic what Lobatchevsky had done with regard to Euclidean geometry. From our viewpoint this is a correct approach: in the same way as non-Euclidean geometries are more adequate than Euclidean geometry to deal with certain problems, notably in physics, some non-classical logics are better adapted for the analysis of certain ideas and are more fit than classical logic to deal with certain provinces of natural languages or with approximation problems. A semantic principle which, even though it has been accepted by the main trends of orthodox logic, had been already discussed and questioned by Aristotle in connection with future contingents, is the principle of two-valuedness, according to which: Every statement is either true or false. The taking into account of future contingent statements which can be analyzed as indeterminate, giving rise in this way to a third truth value, and the study of the various propositional modalities, is the source from which the questioning of this principle arises, jettisoning the creation of the so-called many-valued logics. Different many-valued logics can be obtained by dealin with different propositional modalities as, for example, brobabilistic, epistemical, existential, alethic. From the beginning of their development many-valued logics were extended into systems with an infinite set of truth values; such systems were even considered by Lukasiewicz as those which, together with 3-value systems, hold the most interest from a philosophical standpoint. For many of these systems we have not as yet an adequate attribution of meanings to their truth values. Even if such is the case, they are of interest because of their applications in purely formal realms, e.g., independence proofs. More recently we have seen the upsurge of fuzzy logics. The inferential process in them is more of a semantical than of a syntactical nature, with an intention to recapture the impreciseness of our usual modes of reasoning rather than to deal with exact reasoning. Their conception, originating in the notion of fuzzy set introduced by Zadeh, intends to take into account the fact that statement within natural languages are neither true nor false in an absolute way but only in a certain degree and in a certain sense. Different systems of fuzzy logics have been developed in which the set of truth values can be totally ordered or constitute a lattice; there are others in which the truth values are a fuzzy set. In this case, account is taken of the fact that one cannot asign a precise truth value to a vague statement. In some systems of many-valued and fuzzy logics the principles of excluded third and of non-contradiction are not valid. The former, identified sometimes with the principle of two-valuedness, has been the most questioned of classical principles along history. It can be stated as: For any statement A, (A ˅ ~A) is valid. The validity of this principle depends on how we interpret disjuction, negation and what we understand by “true”, as well. For example, if we take “to be true” as meaning “to be provable in a deductive systems S” and if S is incomplete, then for a statement A not provable in S, neither A non ~A are true in S and hence (A ˅ ~ A) is not true. By the same token, if we only admit as true something which has been established according to some rules or methods, and these have not yielded a proof neither of A nor of ~ A, then A ˅ ~ A) will again not be true. This last is the position adopted by intuitionists; for them the truth of a statement has to be established constructively. The principle of non-contradiction can be stated thus: For any statement A, ~(A & ~ A) is valid. From a formal viewpoint, the strongest reason to accept this principle, both in classical and in intuitionistic logic, is that both of them have as a valid formula: (I) ((A & ~ A) → B), for any B whatsoever. Hence if the principle were not taken as valid, this would render the system trivial. Logics in which (I) is not valid can be used as bases for theories, T, in which we can admit, for a certain statement A, both A and ~A without making T trivial. To do this might be of interest from a philosophical standpoint, given a certain interpretation of negation, or from a linguistic viewpoint if we are intereste in natural languages. Implication has also been questioned in its classical interpretation. We can begin by pointing out the so-called paradoxes of material implication which, for some thinkers, follow from the acceptance of the principle (II) (A → (B → A)) This principle is valid both in classical and in intuitionistic logics. The problem with (II) is that by accepting it and modus ponens, and by taking a statement A which might be contingently true, it follows then that A is necessarily implied by any statement B whatsoever, i.e.: A ˫ B → A. In Lewis´ system S4, (II) is not valid. To remedy this apparent fault of implication, it has been suggested that for A to be implied by B, B has to be relevant for A. What this means is not clear as yet, but a proposal has been made that a minimal condition of relevancy of B for A is that both statements have, at least, a common propositional variable. Certain systems incorporating this notion have already been developed. [J.A. Robles] Resumen
Idioma
spa
ISSN
ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503

Enlaces