DOAJ
Open Access
2025
Una lógica para la aceptación lógica
Diego Tajer
Abstrak
En este artículo, desarrollo un análisis formal del concepto de aceptación lógica, extendiendo una propuesta de Lokhorst (1997). En el sistema formal que propongo, podemos representar la idea de que un agente acepta determinada oración o argumento como válidos. Para eso, utilizamos el aparato de la lógica epistémica. A modo de ejemplo, exploramos la posibilidad de aceptar o rechazar lógicas trivaluadas como LP o K3. Luego desarrollo una semántica para este sistema, utilizando ideas de la lógica modal no-normal. Hacia el final del artículo, muestro que en el sistema no sólo se puede representar la aceptación lógica y el rechazo, sino también las creencias sobre compromisos lógicos de otros agentes.
Topik & Kata Kunci
Penulis (1)
D
Diego Tajer
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2025
- Sumber Database
- DOAJ
- DOI
- 10.4013/fsu.2025.262.03
- Akses
- Open Access ✓