Wydawnictwo KUL
  Catalog » SALE » 9788373638020 My Account  |  Cart Contents  |  Checkout   

Wyprzedaż 2017
Quick Find
Search
What's New? more
* Artes Liberales. Teatr - sztuka - media. Księga jubileuszowa dedykowana Profesorowi Leszkowi Mądzikowi *
* Artes Liberales. Teatr - sztuka - media. Księga jubileuszowa dedykowana Profesorowi Leszkowi Mądzikowi *
70,00zł
45,50zł
Categories
SALE
Benedykt XVI
John Paul II
PRIZEWINNING BOOKS
Albums
Periodicals
Philosophy
Humanities
History
Commemorative Books
Foreign languages
Mathematics
Natural sciences
Guides
Social science
Law
Theology
Varia
Lubliniana
Discount books
Końcówki nakładu
e-book
SLIGHTLY DAMAGED BOOKS
Upcoming

Promotional Items
Out of print
Tell A Friend
 

Tell someone you know about this product.
Reviews more
Write ReviewWrite a review on this product!
$ Logika czasu empirycznego
[9788373638020]
30,45zł
17,00zł
You save: 13,45zł
Product available

Marcin Tkaczyk
ISBN:
978-83-7363-802-0
Pages: 282
Format: B5
Year: 2009
Language: Polish

Książka jest poświęcona zbudowaniu i zbadaniu dwóch logik nieklasycznych, należących do grupy pozycyjnych logik temporalnych. Sformalizowano zwrot "w czasie", zwany funktorem realizacji czasowej. Skonstruowane logiki podają prawa, które rządzą użyciem tego zwrotu w językach teorii fizykalnych. Badania były tu pilotowane przez pytanie, czy do logiki czasu empirycznego nie przedostawały się w niekontrolowany sposób jakieś założenia z logiki czasów gramatycznych. Jedna z logik została zbudowana przy założeniu, że w językach teorii fizykalnych obowiązuje wymóg relewancji, a druga bez tego założenia. Wskazano też merytoryczną i formalną różnicę między fizykalnym a gramatycznym ujęciem czasu. Uzyskane wyniki zostały przedstawione w ramach całościowego ujęcia współczesnych logik temporalnych.


Spis treści

Wstęp

1 Natura logiki czasu empirycznego
1.1 Pojęcie logiki temporalnej
1.2 Typy logik temporalnych
1.3 Logika temporalna a teorie empiryczne

2 Semantyka opisowa
2.1 Fizyczny sens zdania czasowego
2.2 Czas empiryczny a czasy gramatyczne
2.3 Zdania czasowe w programie J. Łosia

3 Kryteria merytorycznej trafności formalizmu
3.1 Język logiki czasu empirycznego
3.2 Podstawowe wymogi formalne
3.3 Związki wynikania i relewancji 

4 Problem trafności głównych typów formalizmu
4.1 Struktury modelowe używane w logice temporalnej
4.2 Rachunki pozycyjne 
4.3 Zdaniowe logiki temporalne

5 Minimalny system logiki czasu empirycznego
5.1 Charakterystyka syntaktyczna
5.2 Charakterystyka semantyczna
5.3 Mocny system ET 
5.4 Niektóre rozszerzenia systemu ET

Zakończenie
Bibliografia
Indeks

This product was added to our catalog on Tuesday 17 March, 2009.
Reviews
Previous product  Product 177 of 341 in category SALE  Next product
Customers who bought this product also purchased
Logika. Part 1 and 2
Logika. Part 1 and 2
$ Oswald Balzer i lwowska szkoła historycznoprawna
$ Oswald Balzer i lwowska szkoła historycznoprawna
Logika - filozofia - człowiek. Wybór tekstów Stanisława Kamińskiego i Jerzego Kalinowskiego
Logika - filozofia - człowiek. Wybór tekstów Stanisława Kamińskiego i Jerzego Kalinowskiego
$ Człowiek w kulturze 19/2007. W obronie realizmu
$ Człowiek w kulturze 19/2007. W obronie realizmu
Nanonauki i nanotechnologie. Nawiązania filozoficzne
Nanonauki i nanotechnologie. Nawiązania filozoficzne
$ Z dziejów filozoficznej refleksji nad człowiekiem
$ Z dziejów filozoficznej refleksji nad człowiekiem
Shopping Cart more
0 items
Sign in
E-mail address:


Password:
(forgotten)



Are you a new client?
create an account
Languages
Polski English
e-book
e-book
Information
Returns
Privacy Notice
Conditions of Use
Contact Us

instagram
Payment
PayU

Powered by osCommerce