The document discusses the benefits of exercise for mental health. Regular physical activity can help reduce anxiety and depression and improve mood and cognitive function. Exercise causes chemical changes in the brain that may help protect against mental illness and improve symptoms.
This document provides an overview of operations management for charities and non-profits. It discusses:
1) What operations management entails and how it involves bringing together resources, activities, and processes to produce outputs and outcomes.
2) The eight key stages of operations management: 1) developing clear objectives and measures of performance, 2) mapping activities, 3) identifying resources, 4) defining responsibilities, 5) sequencing activities, 6) implementing and managing operations, 7) evaluating progress, and 8) learning from evaluations.
3) How operations management focuses on combining resources and activities to produce outputs and outcomes, which are then monitored and evaluated against performance indicators to assess what is working well and what needs improvement
This document provides an overview of Google Maps and related Google mapping applications. It discusses what Google Maps is, how to search and save places, and features like Google Earth, Google Moon, Google Mars and Google Sky. It also briefly describes how Google Maps originated as a C++ program and is now a web application owned by Google. Screenshots and links are provided to demonstrate searching places and viewing 3D city models in Google Maps.
The document discusses the benefits of exercise for mental health. Regular physical activity can help reduce anxiety and depression and improve mood and cognitive function. Exercise causes chemical changes in the brain that may help protect against mental illness and improve symptoms.
This document provides an overview of operations management for charities and non-profits. It discusses:
1) What operations management entails and how it involves bringing together resources, activities, and processes to produce outputs and outcomes.
2) The eight key stages of operations management: 1) developing clear objectives and measures of performance, 2) mapping activities, 3) identifying resources, 4) defining responsibilities, 5) sequencing activities, 6) implementing and managing operations, 7) evaluating progress, and 8) learning from evaluations.
3) How operations management focuses on combining resources and activities to produce outputs and outcomes, which are then monitored and evaluated against performance indicators to assess what is working well and what needs improvement
This document provides an overview of Google Maps and related Google mapping applications. It discusses what Google Maps is, how to search and save places, and features like Google Earth, Google Moon, Google Mars and Google Sky. It also briefly describes how Google Maps originated as a C++ program and is now a web application owned by Google. Screenshots and links are provided to demonstrate searching places and viewing 3D city models in Google Maps.
An introduction to the potential of social networking sites in edKhairul Nisa
This paper reviews the potential uses of social networking sites (SNS) like Facebook and MySpace in education. It examines the characteristics and membership rules of popular SNS and compares Facebook and MySpace to evaluate privacy and trust issues. The paper finds that while SNS allow for collaboration and identity exploration, privacy and security are concerns when using them for teaching and learning due to risks of oversharing personal information and lack of control over third-party content like advertisements. However, when regulated properly, SNS show potential for outreach, promoting events, and facilitating discussions among interest groups in academic settings.
http://www.registratiea-firmi.com/ предоставляет полный комплекс услуг по регистрации компаний в Эстонии,
Registratiea-firmi.com является частью международной консалтинговой компании http://www.bridgewest.eu/
Мы предоставляем полный комплекс услуг по установлению компаний в Европе и оффшорных странах
The document discusses the HIPAA Privacy Rule, which protects individuals' health information. It establishes guidelines for when a covered entity, such as a health care provider, is allowed to disclose protected health information. The major goal of HIPAA is to define situations when health information may be used or disclosed, and to give individuals access to their own health records and control over how their information is shared. The Privacy Rule aims to balance privacy rights with necessary information sharing for treatment, payment, and health care operations.
Notemyweb.com allows users to take notes on any website that will sync across devices. To use it, users install a browser extension, then can add notes for any site by clicking a button in the extension. Notes are given titles and stored under the specific website domain for easy access later. Potential uses include storing login credentials, to-do lists, and text from websites to avoid re-entering information.
исследование как торговля влияет на половое неравенствоGeneSysAM
This document summarizes a working paper that examines how trade liberalization impacts gender inequality through technological changes. The paper builds a model where firms adopt new technologies that require less physically demanding "blue-collar" skills, making women relatively more productive in these jobs. The paper tests this model using Mexican establishment data around NAFTA tariff reductions. The results show that tariff cuts led new firms to enter exporting and adopt technologies replacing male blue-collar workers with female blue-collar workers, improving women's outcomes in these jobs. However, women's shares in white-collar jobs were largely unaffected, since physical skill demands did not change as much in those occupations.
Extreme wealth and income inequality are damaging to society. While economic growth benefits many, it concentrates an ever-larger share of new wealth into the hands of a small elite. To remedy this, governments should consider policies like moderate taxes on extreme wealth, laws to curb dynastic wealth, and policies to deconcentrate economic and political power.
Find out in this presentation how you can set up a company in Ireland.
http://www.bridgewest.eu/company-formation-ireland is an international company which provides company registration all over the world.
Thank you for your attention and please contact us at office@bridgewest.eu for more information
Application manual of 3 d sublimation vacuum machineBestsub
<div><strong><a>Application manual of 3 d sublimation vacuum machine</a></strong><object height="510" width="477"><param /><param /><param /><param /></object><div>View more <a>documents</a> from <a>Bestsub</a>.</div></div>
An introduction to the potential of social networking sites in edKhairul Nisa
This paper reviews the potential uses of social networking sites (SNS) like Facebook and MySpace in education. It examines the characteristics and membership rules of popular SNS and compares Facebook and MySpace to evaluate privacy and trust issues. The paper finds that while SNS allow for collaboration and identity exploration, privacy and security are concerns when using them for teaching and learning due to risks of oversharing personal information and lack of control over third-party content like advertisements. However, when regulated properly, SNS show potential for outreach, promoting events, and facilitating discussions among interest groups in academic settings.
http://www.registratiea-firmi.com/ предоставляет полный комплекс услуг по регистрации компаний в Эстонии,
Registratiea-firmi.com является частью международной консалтинговой компании http://www.bridgewest.eu/
Мы предоставляем полный комплекс услуг по установлению компаний в Европе и оффшорных странах
The document discusses the HIPAA Privacy Rule, which protects individuals' health information. It establishes guidelines for when a covered entity, such as a health care provider, is allowed to disclose protected health information. The major goal of HIPAA is to define situations when health information may be used or disclosed, and to give individuals access to their own health records and control over how their information is shared. The Privacy Rule aims to balance privacy rights with necessary information sharing for treatment, payment, and health care operations.
Notemyweb.com allows users to take notes on any website that will sync across devices. To use it, users install a browser extension, then can add notes for any site by clicking a button in the extension. Notes are given titles and stored under the specific website domain for easy access later. Potential uses include storing login credentials, to-do lists, and text from websites to avoid re-entering information.
исследование как торговля влияет на половое неравенствоGeneSysAM
This document summarizes a working paper that examines how trade liberalization impacts gender inequality through technological changes. The paper builds a model where firms adopt new technologies that require less physically demanding "blue-collar" skills, making women relatively more productive in these jobs. The paper tests this model using Mexican establishment data around NAFTA tariff reductions. The results show that tariff cuts led new firms to enter exporting and adopt technologies replacing male blue-collar workers with female blue-collar workers, improving women's outcomes in these jobs. However, women's shares in white-collar jobs were largely unaffected, since physical skill demands did not change as much in those occupations.
Extreme wealth and income inequality are damaging to society. While economic growth benefits many, it concentrates an ever-larger share of new wealth into the hands of a small elite. To remedy this, governments should consider policies like moderate taxes on extreme wealth, laws to curb dynastic wealth, and policies to deconcentrate economic and political power.
Find out in this presentation how you can set up a company in Ireland.
http://www.bridgewest.eu/company-formation-ireland is an international company which provides company registration all over the world.
Thank you for your attention and please contact us at office@bridgewest.eu for more information
Application manual of 3 d sublimation vacuum machineBestsub
<div><strong><a>Application manual of 3 d sublimation vacuum machine</a></strong><object height="510" width="477"><param /><param /><param /><param /></object><div>View more <a>documents</a> from <a>Bestsub</a>.</div></div>
2. Karl Popper
• 1902 Bécs, 1994 Buckinghamshire, Anglia
• PhD 1928, Bécsi Egyetem
(M. Schlick hallgatója)
• London School of Economics 1946-1969
• Nemesi rang (Sir K. Popper) 1965
3. Fő művek
• Logik der Forschug (1934)
Logic of Scientific Discovery (1958)
(A Tudományos Kutatás Logikája, Európa, 1997)
• Conjectures and Refutations (1963)
• Poverty of Historicism (1944)
• Open Society and its Enemies I-II (1945)
• Postcsript to the Logic of Scientific Discovery
I.-III (1980)
4. Popper fő gondolata:
Az empírikus tudományt a formális tudományoktól és a nem
tudománytól (metafizika) nem az különbözteti meg, hogy
verifikálható (igazolható), mert ez sosem lehetséges, hanem az,
hogy falszifikálható (cáfolható) állításokat tesz.
Falszifikacionista tudományfelfogás
Ha a tudomány állításai nem igazolhatók (csak cáfolhatók),
akkor nem is szabad (nem racionális) törekedni az igazolásra,
hanem a cáfolást kell megkísérelni, ez a racionális viselkedés
Kritikai racionalizmus
5. Én azonban csak akkor tekintek valamely rendszert
tapasztalatinak, ha tapasztalatilag ellenőrizhető. Ezzel
voltaképpen azt javaslom, hogy ne a verifikálhatóságot,
hanem a falszifikálhatóságot tegyük a demarkáció
kritériumává. Más szóval nem azt fogom egy tudományos
rendszertől megkövetelni, hogy egyszer s mindenkorra
pozitív értelemben kiválasztható legyen, hanem azt, hogy
logikai formája tegye lehetővé a negatív kiválasztást
tapasztalati ellenőrzések segítségével.: egy tapasztalati-
tudományos rendszernek alkalmasnak kell lennie arra,
hogy a tapasztalat megcáfolja.
K. Popper: A tudományos kutatás logikája (Európa, 1997) 49-50.
old.
6. ... azonosnak tekintem a racionális és a kritikai magatartást. A
lényeg az, hogy amikor megkísérelünk valamilyen megoldást
javasolni egy problémára, meg kellene probálnunk a lehető
legkönyörtelenebbül megingatni ezt a megoldást ahelyett, hogy
megvédenénk. Sajnos kevesen teszünk eleget ennek az
előírásnak, de szerencsére másoktól megkapjuk azt a kritikát
amelyet magunk elmulasztunk gyakorolni.
K. Popper: A tudományos kutatás logikája (Európa, 1997) 14. old.
7. Ismertetés menete:
• A verifikálhatósági elv/indukció elutasítása
• A tudománytörténet tudományfilozófia számára való
jelentőségének
(a pszichologizmusnak) elutasítása
• Falszifikálhatóság
Állítások és fogalmak típusai
Mely állítások falszifikálhatók/verifikálhatók ?
A falszifikálhatóság definíciója
Falszifikálhatóság és falszifikáció
Elmélet empírikus tartalma
Korroboráció
A falszifikálhatóság nem jelentéskritérium
8. A verifikálhatósági elv és indukció elutasítása
Popper: A verifikálhatósági elv elfogadása = indukció elfogadása
Verifikálhatósági elv:
S (szintetikus) mondat értelmes = levezethető megfigyelési állításokból
Indukciós következtetés:
egyedi állításokból univerzális állításokra következtetés
X,Y,Z hattyúkat fehérnek figyeltem meg
TEHÁT
Minden hattyú fehér
9. Popper:
Az induktív következtetések
• nem logikailag szükségszerűek
és
• nem is lehet érvényességüket megalapozni
minden megalapozási kísérlet
körkörös okoskodásba
torkollik
vagy
dogmatizmushoz
vezet
10. Körkörösség:
Próbáljuk meg megalapozni az induktív következtetést:
Az induktív következtetés azért jogos/elfogadható mert igaz a P (= indukciós elv)
P csak szintetikus állítás lehet (aminek a tagadása nem föltétlenül hamis), mert
különben nem lenne indukcióprobléma
Tehát meg kell mondani, miért P igaz és nem a tagadása, kell tehát:
P igaz, mert P’ (meta-indukciós elv) igaz
P’ csak szintetikus állítás lehet, mert különben nem lenne indukció probléma, tehát
meg kell mondani, miért igaz P’ és nem a tagadása,
Kell tehát egy P’’ meta-meta-indukciós elv stb.
Dogmatizmus: A valahányadik szintű indukciós elv igaz és punktum
11. A pszichologizmus elutasítása:
Popper:
• A felfedezés és igazolás radikálisan különböző tevékenyégek
• A tudományfilozófia szempontjából a tudománytörténet
érdektelen és jelentőség nélküli
Fentebb azt mondtam, hogy a tudós munkája elméletek felállításából és
ellenőrzéséből áll.
A tevékenység első szakaszát, az elméletalkotást szerintem nem kell és
nem is lehet logikailag elemezni. Az, hogy miként jut valakinek valami új az
eszébe – legyen az zenei téma, drámai konfliktus, vagy éppen tudományos
elmélet – empírikus pszichológiai és nem megismerés-logikai kérdés. Az
utóbbi nem ténykérdésekkel ... hanem csak az igazolás vagy az
érvényesség kérdésével foglalkozik.
K. Popper: A tudományos kutatás logikája (Európa, 1997) 36. Old.
12. Ezért élesen meg fogom különböztetni valamely új ötlet létrejöttének
folyamatát logikai vizsgálatának módszerétől, és eredményétől. A
megismerés logikájának szerintem kizárólag az a feladata – szemben a
megismerés-pszihológiáéval – hogy megvizsgálja azokat a módszereket,
amelyeket az új elgondolások szisztematikus ellenőrzése során alkalmaznak,
hogy egyáltalán komolyan lehessen velük foglalkozni.
K. Popper: A tudományos kutatás logikája (Európa, 1997) 36. Old.
... az a véleményem, hogy új eszmékre logikai módszerrel nem lehet szert
tenni, és hogy logikailag nem rekonstruálható ez a folyamat. Ezt úgy is ki
lehet fejezni, hogy minden felfedezés tartalmaz irracionális mozzanatot, ...
teremtő intuíciót.
K. Popper: A tudományos kutatás logikája (Európa, 1997) 37. Old.
13. Fogalom típusok
• Individuális fogalom • Univerzális fogalom
Melynek definíciójában Melynek definíciójában
személynevek, vagy személynevek, vagy
azzal ekvivalens leírások azzal ekvivalens leírások
szerepelnek és ezek nem nem szerepelnek vagy
küszöbölhetők ki kiküszöbölhetők
Pl. A Budapesti Állatkert Pl. hattyú
hattyúi
14. Állítás típusok I
• Tiszta állítás • Nem tiszta állítás
Melyben csak Melyben individuális
univerzális fogalom fogalom szerepel
szerepel
Pl. Minden hattyú fehér Pl. A Budapesti
Állatkertben a tóban úszó
3 hattyú fehér
15. Állítás típusok II.
• Univerzális állítás • Egzisztenciális állítás
Univerzális kvantort Egzisztenciális kvantort
(minden) (létezik)
tartalmazó állítás tartalmazó állítás
Pl. Minden ember halandó Pl. Létezik fehér holló
16. Univerzális állítások típusai
• Numerikusan • Szigorúan
univerzális állítás univerzális állítás
Mely ekvivalens véges sok, Mely nem ekvivalens véges
konkrét tér és idő koordinátát sok, konkrét tér és
tartalmazó egyedi állítás időkoordinátát tartalmaző
konjunkciójával egyedi állítás konjunkciójával
Pl. Minden, a Budapesti
Pl. Minden hattyú fehér
állatkertben eddig megfigyelt
hattyú fehér volt
17. Az, ahogyan én használom a szigorúan egyetemes állítás (vagy mindent
felölelő állítás) [szigorúan univerzális állítás] fogalmát, ellentétben áll azzal a
felfogással, hogy minden szintetikus egyetemes ítéletnek elvileg
lefordíthatónak kell lennie véges számú egyedi állítás konjunkciójára. Ennek a
véleménynek a képviselői határozottan állítják, hogy az általam „szigorúan
egyetemes állításnak” nevezett állítások sohasem verifikálhatóak, és ezért a
verifikálhatóságot kifejező jelentés-kritériumukra, vagy valamilyen hasonló
megfontolásra hivatkozva elutasítják ezeket
K. Popper: A tudományos kutatás logikája (Európa, 1997) 78-79. Old.
18. Állítások típusai III.
• Tiszta univerzális állítás
Olyan szigorúan univerzális állítás melyben csak
univerzális fogalmak szerepelnek
Pl. Minden hattyú fehér
19. Egzisztenciális állítások típusai
• Tiszta egzisztenciális állítás
Olyan egzisztenciális állítás melyben csak univerzális
fogalmak szerepelnek
Pl. Létezik fekete hattyú
• Nem tiszta egzisztenciális állítás
Olyan egzisztenciális állítás, melyben individuáls fogalom szerepel
Pl. A Budapesti Állatkertben létezett tavaly március 3-án egy fehér hattyú
21. Megjegyzések a bázisállításokról
• A bázisállítások összessége a lehetséges tényeket/világokat írja le
• A bázisállítások összessége tartalmaz egymásnak ellentmondó állításokat
• Bázisállítás negációja nem bázisállítás
• Bázisállítások nem következnek tiszta univerzális állításokból
Létezik 2004 X. 14-én a Budapesti Állatkertben egy fehér hattyú
nem következik a Minden hattyú fehér állításból
• Bázisállításból következik tiszta egzisztenciális állítás
Létezik 2004 X. 14-én a Budapesti Állatkertben egy fehér hattyú
állításból következik a Létezik fehér hattyú állítás
22. Állítástípusok
Fogalom Individuális fogalom Univerzális fogalom
A Bp-i állatkert hattyúi Hattyú
Állítás
Numerikusan Nem értelmes
univerzális A Bp-i állatkert minden
eddig megfigyelt hattyúja
fehér volt
Szigorúan univerzális Nem értelmes Tiszta
univerzális
Minden hattyú fehér
Egzisztenciális Nem-tiszta Tiszta
egzisztenciális egzisztenciális
A Bp-i állatkertben van
most egy fehér hattyú Létezik fekete hattyú
23. Állításokra vonatkozó állítások
• Tiszta univerzális állítás negációja
tiszta egzisztenciális állítás
Minden hattyú fehér
Negációja:
Létezik nem-fehér hattyú
• Tiszta egzisztenciális állítás negációja
tiszta univerzális állítás
Létezik nem fehér hattyú
Negációja:
Minden hattyú fehér
24. Állításokra vonatkozó állítások I.
• A tiszta egzisztenciális állítások
verifikálhatók
Létezik nem-fehér hattyú verifikálható
• Tiszta egzisztenciális állítások negációi
(azaz a tiszta univerzális állítások)
falszifikálhatók
Minden hattyú fehér falszifikálható
25. Állításokra vonatkozó állítások II.
• A tiszta egzisztenciális állítások
nem falszifikálhatók
Létezik nem-fehér hattyú nem falszifikálható
• Tiszta egzisztenciális állítások negációi
(azaz a tiszta univerzális állítások)
nem verifikálhatók
Minden hattyú fehér nem verifikálható
26. Természeti törvény:
Nem tautologikus (azaz szintetikus)
tiszta univerzális állítás
Minden hattyú fehér
Következmények:
A természeti törvények
• nem verifikálhatók
• tagadásai tiszta egzisztencális
állításoknak (törvények: tiltanak)
Popper: A természeti törvény ilyen felfogása: konvenció, megállapodás dolga
27. Az a kérdés, hogy a tudomány törvényei szigorúan vagy
számszerűen univerzálisak-e, nem dönthető el érvekkel.
Ez konvenció vagy megállapodás dolga. ... Hasznosnak
és gyümölcsözőnek is tartanám, ha a természet-
törvényeket szintetikus és szigorúan egyetemes
állításoknak (mindent felölelő állításoknak) tekintetnénk.
Ez annyit jelent, hogy nem-verifikálható állításoknak
tekintjük őket, amelyek formája a következő:
„Minden tér-idő pontra /vagy minden tér-idő tartományra
igaz, hogy ...”)
K. Popper: A tudományos kutatás logikája (Európa, 1997)
79. Old.
28. Elmélet falszifikálhatósága:
Egy T elmélet akkor falszifikálható (vagy empírikus), ha a bázisállításokat
két nem üres részre osztja:
• Az elmélettel összeférhető
• Az elmélettel nem összeférhető (az elmélet által kizárt)
bázisállításokra
T által kizárt
bázisállítások
T-vel összeférhető
29. Popper:
Elmélet empírikus tartalma:
Egy T elmélet empírikus tartalma:
a T elmélettel nem összeférhető bázisállítások
(a potenciális falszifikáló bázisállítások) összessége
Az elmélet arról szól, amit megtilt
(arról nem szól, amivel összefér)
Minden hattyú fehér
Összefér a
Minden béka zöld
állítással,
de nem szól a békák színéről
30. Falszifikálható elmélet empírikus tartalma:
Egy falszifikálható T elmélet empírikus tartalma azonos
az elmélettel nem összeférhető (az elmélet által kizárt) bázisállításokkal
T által kizárt
T empírikus tartalma
bázisállítások
T-vel összeférhető
A mi világunk
A leggazdagabb tartalmú elmélet az, ami mindent kizár -- kivéve a mi világunkat
31. Falszifikálhatóság csak logikai lehetőség, nem azonos a falszifikációval:
Falszifikáció:
Egy falszifikálható T elméletet akkor falszifikálunk, ha elfogadunk egy
olyan bázisállítást amellyel T nem fér össze, és ekkor a T-t elvetjük.
Fontos megjegyzések:
• A bázisállítás elfogadásában (falszifikációban) van egy
konvencionális mozzanat:
empírikus elmélet tesztelésében valahol meg kell állni (ez a bázisállítás)
Alacsony rendű konvenció
• A falszifikáció csak akkor következik be, ha van egy alternatív elmélet
amit a falszifikálandó helyett elfogadunk
32. A falszifikáció elől mindig ki lehet térni (= logikailag lehetséges a kitérés)
Popper: a tudományt épp az különbözteti meg a nem tudománytól (metafizikától),
hogy megtiltja az (ad hoc) kitérést a falszifikáció elől
Valamiképpen ugyanis mindig ki lehet térni a falszifikálás elől, például ad hoc
segédfeltevések bevezetésével, vagy egy definíció ad hoc
megváltoztatásával. Sőt, még arra az álláspontra is helyezkedhet valaki –
logikai ellentmondás nélkül --, hogy egyszerűen bármilyen falszifikáló
tapasztalatot elutasít. A tudósok ugyan általában nem így szoktak eljárni, de
tisztán logikailag ez is lehetséges, tehát az általam javasolt demarkációs
kritérium legalábbis kérdésesnek látszik. El kell ismernem ennek az
ellenvetésnek a jogosultságát, ám nem szükséges visszavonnom azt a
javaslatomat, hogy a falszifikálhatóságot tekintsük demarkációs
kritériumnak. Azt fogom ugyanis javasolni ... hogy a tapasztalati módszert
olyan módszerként jellemezzük, amely a falszifikáció előli kitérésnek
pontosan azokat a módjait zárja ki, amelyek – mint képzelt kritikusom joggal
állítja – logikailag megengedhetőek.
K. Popper: A tudományos kutatás logikája (Európa, 1997) 52. Old.
33. Korroboráció:
Ha egy falszifikálható T elmélet jóslatait tapasztaljuk akkor nem mondhatjuk, hogy
az elmélet elmélet igaznak bizonyul, hanem csak azt, hogy
Korroborálódik:
Időlegesen kiállta a tesztelés/kritika/falszifikáció próbáját
34. Popper:
A falszifikálhatóság demarkációs kritérium,
de nem jelentéskritérium:
Egy jelentéskritériumnak ki kell elégítenie a következő feltételt:
Ha az S mondatnak jelentése van,
akkor (és csak akkor)
a nem-S mondatnak is van jelentése
A falszifikálhatóság ezt nem elégíti ki mert
egy tiszta univerzális mondat falszifikálható,
de tagadása,
egy tisztán egzisztenciális mondat nem falszifikálható
35. Összefoglalás
• Az indukciós következtetés logikailag nem szükségszerű és
megalapozhatatlan, a megalapozási kísérlet végtelen
regresszióhoz, dogmatizmushoz, vagy pszichologizmushoz vezet
• Az empírikus elméleteket nem verifikálhatóságuk, hanem a
falszifikálhatóságuk tünteti ki
• A T elmélet falszifikálható: T a lehetséges világokat leíró bázis-
állításokat T-vel összeférő és T-vel nem öszeférő részekre osztja
• Elmélet empírikus tartalma: az elmélettel összeférhetetlen
bázisállítások összessége
• Az elmélet empírikus tartalmát csökkentő ad hoc feltevések
bevezetése a falszifikáció elkerülésére nem megengedett
36. “Karl Popper is generally regarded as one of the greatest philosophers of
science of the 20th century.”
Stanford Encyclopedia of Philosophy