#L%C3%B3gica

World Typologyworldtypology
2025-05-10

Many people live their whole life without logic and cannot apply it in reality as a tool. Some people don't even emphasize logic or even understand its meaning and usefulness. Want to learn more about logic? Read it for free with us.

worldtypology.com/2022/02/07/w

Sobre Lógica Paraconsistente

Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada. Alternativamente, la lógica paraconsistente es un campo de la lógica que se ocupa del estudio y desarrollo de sistemas lógicos paraconsistentes (o «tolerantes a la inconsistencia»). (En este artículo el término es utilizado en ambas acepciones.)

Las lógicas tolerantes a la inconsistencia existen por lo menos desde 1910 (y es posible argumentar que muchísimo antes, por ejemplo en los escritos de Aristóteles); sin embargo, la palabra paraconsistente («más allá de la consistencia») recién fue acuñada en 1976, por el filósofo peruano Francisco Miró Quesada.[1]​

Wikpedia

Algo más sobre lógicas paraconsistentes

#lógica #lógicaParaconsistente

𝓜𝓪𝓾𝓻𝓸 𝓥𝓮𝓷𝓲𝓮𝓻MauroV1968@mastodon.online
2025-04-23

Mastodonti, nuovo #quiz!
Oggi la #cultura torna alla #logica (e #cucina).
Per cucinare una bistecca servono 10 minuti: 5 per lato. La padella può contenere 2 bistecche. Qual è il tempo minimo che serve per cucinare 3 bistecche?
E non googlate che vi vedo!
E non suggerite.
#QuizTime

Loredana Latis-Expert EducațieLoredana_Latis
2025-04-23

LOGICĂ
LOGICA este abilitatea de a analiza situațiile rațional și obiectiv. Este vitală pentru a lua decizii clare și bine fundamentate.

3 tehnici pentru a-ți dezvolta logica:
1️⃣ Exersează rezolvarea problemelor prin pași clari și logici.
2️⃣ Dezvoltă-ți gândirea critică citind și analizând perspective diferite.
3️⃣ Evită să iei decizii în momente de impuls emoțional.

Logica te ajută să construiești soluții solide. Cum o folosești azi?

2025-04-07

Curso "Lógica matemática y fundamentos (2011-12)". jaalonso.github.io/cursos/lmf- #Lógica #Haskell #ProgramaciónFuncional

2025-04-02

Curso: Demostración asistida por ordenador (2010-11). jaalonso.github.io/cursos/DAO2 #ITP #IsabelleHOL #Lógica

2025-04-02

Enseñanza del sistema de deducción natural en lógica proposicional aplicando programación lógica. ~ Joaquín Arias, Iván Ramírez. cied.urjc.es/innovacion/banco- #Lógica #ProgramaciónLógica #Prolog

2025-03-28
Sociología DivertidaSociologiaDivertida
2025-03-25

SERIE GÖDEL
A continuación cuatro contenidos sobre Kurt Goedel y la sociología.
Pero, ¿quién era Kurt Goedel?, biografía: ow.ly/ehxY30iZCZN
Serie godeliana en Divertida

2025-03-18

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst