The logic of empirical theories revisited.
Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results...
| Publicado en: | Synthese Vol. 186; no. 3; pp. 775 - 793 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
May2012
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=76632566&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 76632566 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: May2012 vid: 186 iid: 3 pid: 237 pub: Springer Nature artinfo: ui: 76632566 10.1007/s11229-011-9916-6 ppf: 775 ppct: 18 formats: fmt: @attributes: type: P size: 269KB tig: atl: The logic of empirical theories revisited. aug: au: Benthem, Johan su: Logic Philosophy Science Computer science Mathematical physics sug: subj: Logic Philosophy Science Computer science Mathematical physics keyword: Agency Computation Dynamic logic Formal language Model theory Theory structure ab: Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2012. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2012 holdings: @attributes: islocal: N |
|---|