Diferència entre les revisions de "Llògica epistémica"
(Pàgina nova, en el contingut: «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 l...») |
m |
||
| 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]]. Mentres que els filòsofs a partir de [[Aristòteles]] han discutit la llògica modal, i els [[Filosofia medieval|filòsofs medievals]] com [[Guillem d'Occam]] i [[Duns Escot]] van desenrollar numeroses observacions, va ser [[Clarence Irving Lewis]] qui | + | 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 medieval|filòsofs medievals]] com [[Guillem d'Occam]] i [[Duns Escot]] van 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:Sistemes llògics]] | [[Categoria:Sistemes llògics]] | ||
Revisió de 16:43 13 jul 2015
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 medievals com Guillem d'Occam i Duns Escot van 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.