Aplikace temporálních logik ve fyzice
Aplikace temporálních logik ve fyzice
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/49629Identifikátory
SIS: 109811
Kolekce
- Kvalifikační práce [23279]
Autor
Vedoucí práce
Oponent práce
Pudlák, Pavel
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
22. 9. 2011
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Angličtina
Známka
Výborně
Klíčová slova (česky)
čas, obecná teorie relativity, branching space-times, branching continuations, topologie prostoročasuKlíčová slova (anglicky)
time, general theory of relativity, branching space-times, branching continuations, space-time topologyPrá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í.
This 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.