Diferència entre les revisions de "Llògica epistémica"
m (Text reemplaça - ' van ' a ' varen ') |
m (Text reemplaça - 'medieval' a 'migeval') |
||
| Llínea 1: | Llínea 1: | ||
La '''llògica epistèmica''' és un camp de la [[llògica modal]] que s'ocupa del raonament sobre el [[coneiximent]]. Mentres que l'[[epistemologia]] té una llarga tradició filosòfica que s'origina en la [[Grècia Antiga]], la llògica epistèmica és un desenroll molt més recent en aplicacions en numerosos camps, com ara [[filosofia]], [[Ciències de la computació|ciència computacional teòrica]], [[inteligència artificial]], [[economia]] i [[llingüística]]. | La '''llògica epistèmica''' és un camp de la [[llògica modal]] que s'ocupa del raonament sobre el [[coneiximent]]. Mentres que l'[[epistemologia]] té una llarga tradició filosòfica que s'origina en la [[Grècia Antiga]], la llògica epistèmica és un desenroll molt més recent en aplicacions en numerosos camps, com ara [[filosofia]], [[Ciències de la computació|ciència computacional teòrica]], [[inteligència artificial]], [[economia]] i [[llingüística]]. | ||
| − | Mentres que els filòsofs a partir de [[Aristòteles]] han discutit la llògica modal, i els [[Filosofia | + | Mentres que els filòsofs a partir de [[Aristòteles]] han discutit la llògica modal, i els [[Filosofia migeval|filòsofs migevals]] com [[Guillem d'Occam]] i [[Duns Escot]] varen desenrollar numeroses observacions, va ser [[Clarence Irving Lewis]] qui en l'any [[1912]] va realisar el primer tractament simbòlic i sistemàtic d'este tema. El tema va continuar madurant, arribant a la seua forma moderna en [[1963]] a partir del treball de [[Saul Kripke]]. |
[[Categoria:Ètica]] | [[Categoria:Ètica]] | ||
[[Categoria:Sistemes llògics]] | [[Categoria:Sistemes llògics]] | ||
Revisió de 00:24 18 feb 2018
La llògica epistèmica és un camp de la llògica modal que s'ocupa del raonament sobre el coneiximent. Mentres que l'epistemologia té una llarga tradició filosòfica que s'origina en la Grècia Antiga, la llògica epistèmica és un desenroll molt més recent en aplicacions en numerosos camps, com ara filosofia, ciència computacional teòrica, inteligència artificial, economia i llingüística.
Mentres que els filòsofs a partir de Aristòteles han discutit la llògica modal, i els filòsofs migevals com Guillem d'Occam i Duns Escot varen desenrollar numeroses observacions, va ser Clarence Irving Lewis qui en l'any 1912 va realisar el primer tractament simbòlic i sistemàtic d'este tema. El tema va continuar madurant, arribant a la seua forma moderna en 1963 a partir del treball de Saul Kripke.