Show simple item record

Aplikace temporálních logik ve fyzice
dc.contributor.advisorMajer, Ondrej
dc.creatorŠvarný, Petr
dc.date.accessioned2017-05-08T13:58:40Z
dc.date.available2017-05-08T13:58:40Z
dc.date.issued2011
dc.identifier.urihttp://hdl.handle.net/20.500.11956/49629
dc.description.abstractPráce představuje v krátkosti tři hlavní obory zabývající se zkoumáním času: fyziku, filosofii a logiku. Je podán úvod do obecné teorie relativity, termodynamiky a kvantové fyziky. Jsou vyjmenovány i základní filosofické přístupy k času a jsou probrány ústřední duality této filosofie, jakými jsou např.: eternalismus a presentismus, determinismus a indeterminismus či reálnost a nereálnost času. S ohledem na velkou škálu možných logik, jsou zde popsány různé základní přístupy v nich obsažené, jsou provedeny pro ně typické důkazy či předvedeny jejich zvláštnosti oproti jiným logikám. Zvláště je poté diskutováno užití temporálních logik při formalizaci ve fyzice, však zmíněny jsou i jejich aplikace v jiných oblastech. Následně jsou uvedeny podrobněji systémy zvané Branching space-times (Prostoročasové stromy) a z nich nově odvozené Branching continuations (Stromy pokračování). Tyto logické systémy byly již užitečné v kvantové fyzice. Zde je však vzata základní terminologie spojená s obecnou teorií relativity a také topologie A, P a T. Spolu se zmíněnými logickými systémy jsou užity ke zkoumání možnosti jejich složení.cs_CZ
dc.description.abstractThis thesis presents an introduction to the three main fields that study time: physics, philosophy, and logics. A brief introduction to general relativity, thermodynamics and quantum physics is made. Also some of the basic ideas from the philosophy of time are explained and dualities connected to time are described, e.g. eternalism vs. presentism, determinism vs. indeterminism and the reality or unreality of time. As there is a huge number of temporal logics, only the main ideas that differentiate these logics from others are pointed out and some typical proofs are then shown. Special attention is then given to the relation between logics and physics, how the first can be used in the latter. Thereafter, Branching space-times and Branching continuation models are presented, which proved to be useful within quantum physics. Next, some basic terminology connected to general relativity and the A, P and T topologies are introduced . These are used together with the given models to investigate a possible combination.en_US
dc.languageEnglishcs_CZ
dc.language.isoen_US
dc.publisherUniverzita Karlova, Filozofická fakultacs_CZ
dc.subjectčascs_CZ
dc.subjectobecná teorie relativitycs_CZ
dc.subjectbranching space-timescs_CZ
dc.subjectbranching continuationscs_CZ
dc.subjecttopologie prostoročasucs_CZ
dc.subjecttimeen_US
dc.subjectgeneral theory of relativityen_US
dc.subjectbranching space-timesen_US
dc.subjectbranching continuationsen_US
dc.subjectspace-time topologyen_US
dc.titleAplikace temporálních logik ve fyziceen_US
dc.typediplomová prácecs_CZ
dcterms.created2011
dcterms.dateAccepted2011-09-22
dc.description.departmentDepartment of Logicen_US
dc.description.departmentKatedra logikycs_CZ
dc.description.facultyFaculty of Artsen_US
dc.description.facultyFilozofická fakultacs_CZ
dc.identifier.repId109811
dc.title.translatedAplikace temporálních logik ve fyzicecs_CZ
dc.contributor.refereePudlák, Pavel
dc.identifier.aleph001396890
thesis.degree.nameMgr.
thesis.degree.levelnavazující magisterskécs_CZ
thesis.degree.disciplineLogicen_US
thesis.degree.disciplineLogikacs_CZ
thesis.degree.programLogicen_US
thesis.degree.programLogikacs_CZ
uk.thesis.typediplomová prácecs_CZ
uk.taxonomy.organization-csFilozofická fakulta::Katedra logikycs_CZ
uk.taxonomy.organization-enFaculty of Arts::Department of Logicen_US
uk.faculty-name.csFilozofická fakultacs_CZ
uk.faculty-name.enFaculty of Artsen_US
uk.faculty-abbr.csFFcs_CZ
uk.degree-discipline.csLogikacs_CZ
uk.degree-discipline.enLogicen_US
uk.degree-program.csLogikacs_CZ
uk.degree-program.enLogicen_US
thesis.grade.csVýborněcs_CZ
thesis.grade.enExcellenten_US
uk.abstract.csPráce představuje v krátkosti tři hlavní obory zabývající se zkoumáním času: fyziku, filosofii a logiku. Je podán úvod do obecné teorie relativity, termodynamiky a kvantové fyziky. Jsou vyjmenovány i základní filosofické přístupy k času a jsou probrány ústřední duality této filosofie, jakými jsou např.: eternalismus a presentismus, determinismus a indeterminismus či reálnost a nereálnost času. S ohledem na velkou škálu možných logik, jsou zde popsány různé základní přístupy v nich obsažené, jsou provedeny pro ně typické důkazy či předvedeny jejich zvláštnosti oproti jiným logikám. Zvláště je poté diskutováno užití temporálních logik při formalizaci ve fyzice, však zmíněny jsou i jejich aplikace v jiných oblastech. Následně jsou uvedeny podrobněji systémy zvané Branching space-times (Prostoročasové stromy) a z nich nově odvozené Branching continuations (Stromy pokračování). Tyto logické systémy byly již užitečné v kvantové fyzice. Zde je však vzata základní terminologie spojená s obecnou teorií relativity a také topologie A, P a T. Spolu se zmíněnými logickými systémy jsou užity ke zkoumání možnosti jejich složení.cs_CZ
uk.abstract.enThis thesis presents an introduction to the three main fields that study time: physics, philosophy, and logics. A brief introduction to general relativity, thermodynamics and quantum physics is made. Also some of the basic ideas from the philosophy of time are explained and dualities connected to time are described, e.g. eternalism vs. presentism, determinism vs. indeterminism and the reality or unreality of time. As there is a huge number of temporal logics, only the main ideas that differentiate these logics from others are pointed out and some typical proofs are then shown. Special attention is then given to the relation between logics and physics, how the first can be used in the latter. Thereafter, Branching space-times and Branching continuation models are presented, which proved to be useful within quantum physics. Next, some basic terminology connected to general relativity and the A, P and T topologies are introduced . These are used together with the given models to investigate a possible combination.en_US
uk.publication.placePrahacs_CZ
uk.grantorUniverzita Karlova, Filozofická fakulta, Katedra logikycs_CZ


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV