MENU
Książki po angielsku
  1. Strona główna
  2. Książki
  3. Książki obcojęzyczne
  4. Książki obcojęzyczne - nauki ścisłe i przyrodnicze
  5. Proof-theoretic Semantics
PWN wspiera profesjonalistów

Proof-theoretic Semantics

(Książka)
0.00  [ 0 ocen ]
 Dodaj recenzję
Rozwiń szczegóły »
Najniższa cena z 30 dni: 113,87 zł
Cena produktu

Cena katalogowa – rynkowa cena produktu, często jest drukowana przez wydawcę na książce.

Najniższa cena z 30 dni – najniższa cena sprzedaży produktu w księgarni z ostatnich 30 dni, obowiązująca przed zmianą ceny.

Wszystkie ceny, łącznie z ceną sprzedaży, zawierają podatek VAT.

126,52
zł
Dodaj do schowka
Dostępność: 3-5 dni
Towar na zamówienie
Dostawa i płatność
Termin wysyłki
- Zamów z DPD (kurier lub punkty) do 19:30, a Twoją paczkę wysyłamy jeszcze dziś i dostarczymy jutro!
- Dotyczy dni roboczych (poniedziałek-piątek, z bez dni wolnych od pracy) oraz towarów dostępnych w magazynie.
- Pozostałe zamówienia realizujemy w terminie deklarowanym na stronie produktu.
- Czas oczekiwania na zamówienie = wysyłka + dostawa przez przewoźnika.
Dostawa i płatność
- Paczki dostarczamy wyłącznie na terenie Polski; od 299 zł dostawa GRATIS!
- Dla zamówień o wartości powyżej 500 zł wyłącznie płatność elektroniczna.


Przedpłata (Przelewy24)
do 299 zł
od 299 zł
Dostawa 
- Kurier DPD
12,49 zł
0 zł
1 dzień
- Odbiór w punktach DPD
10,99 zł
0 zł
1 dzień
- InPost Paczkomaty 24/7
13,99 zł
0 zł
1 dzień
- ORLEN Paczka
9,99 zł
0 zł
1 dzień
- Odbiór w Punktach Poczta, Żabka
10,99 zł
0 zł
2 dni
- Pocztex
11,99 zł
0 zł
2 dni
- Odbiór w księgarni PWN
0 zł
0 zł
2-3 dni

Pobranie
do 299 zł
od 299 zł
Dostawa 
- Kurier DPD
16,49 zł
0 zł
1 dzień
- Odbiór w Punktach Poczta, Żabka
14,99 zł
0 zł
1-2 dni
- Pocztex
15,99 zł
0 zł
2 dni

Proof-theoretic Semantics

This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as truth-conditions (in arbitrary models), the former regards meaning as canonical derivability conditions in a meaning-conferring natural-deduction proof-system. In the first part of the book, the Proof-Theoretic Semantics for logic is presented. It surveys the way a natural-deduction system can serve as meaning-conferring, and in particular analyses various criteria such a system has to meet in order to qualify as meaning-conferring. A central criterion is harmony, a balance between introduction-rules and elimination-rules. The theory is applied to various logics, e.g., relevance logic, and various proof systems such as multi-conclusion natural-deduction and bilateralism. The presentation is inspired by recent work by the author, and also surveys recent developments. In part two, the theory is applied to fragments of natural language, both extensional and intensional, a development based on the author's recent work. For example, conservativity of determiners, once set up in a proof-theoretic framework, becomes a provable property of all (regular) determiners. It is shown that meaning need not carry the heavy ontological load characteristic of Model-Theoretic Semantics of complex natural language constructs. Nissim Francez is an emeritus professor of computer science at the Technion, Israel Institute of Technology. At a certain point in his career he moved from research related to concurrent and distributed programming and program verification to research in computational linguistics, mainly formal semantics of natural language. In recent years, he has worked on Proof-Theoretic Semantics, in particular for natural language.

  • Sposób dostarczenia produktu fizycznego
    Sposoby i terminy dostawy:
    • Kurier DPD - dostawa 1 dzień roboczy
    • Punkty odbioru DPD - dostawa 1 dzień roboczy
    • InPost Paczkomaty 24/7 - dostawa 1 dzień roboczy
    • ORLEN Paczka - dostawa 1 dzień roboczy
    • Odbiór w Punktach Poczta, Żabka - dostawa 2 dni robocze
    • Pocztex (dostawa do domu lub pracy) - dostawa 2 dni robocze
    • Odbiór osobisty w księgarni PWN - dostawa 2-3 dni robocze
    Ważne informacje:
    Czas oczekiwania na zamówiony towar = czas wysyłki produktu + dostawa przez przewoźnika
    • Całkowity czas oczekiwania na realizację zamówienia jest sumą czasu wysyłki podanej na stronie każdego produktu oraz czasu potrzebnego przewoźnikowi na dostarczenie paczki. Podane terminy dotyczą zawsze dni roboczych (od poniedziałku do piątku, z wyłączeniem dni wolnych od pracy).
    • Wysyłkę zamówień prowadzimy jedynie na terenie Polski.
    • Dostawa do Księgarni PWN, punktów ORLEN Paczka, stacji Orlen, sklepów Żabka oraz Paczkomatów InPost nie jest realizowana dla zamówień z płatnością przy odbiorze.
    • Cena towaru na fakturze VAT jest podwyższona o ewentualny koszt transportu.
    • W przypadku zamówienia kilku towarów koszt przesyłki wybranej przez Klienta zostanie podzielony i przyporządkowany proporcjonalnie do cen kupionych produktów.
    • Produkty dostępne w PRZEDSPRZEDAŻY wysyłane są po dacie premiery wydawniczej.
NAZWA I FORMAT
OPIS
ROZMIAR

Przeczytaj fragment

Inni Klienci oglądali również

- 15 %
16,98 zł
20,00 zł
do koszyka

Usborne Workbooks Times Tables
Packed with appealing activities, this colourful workbook will help children develop their times tables knowledge, focusing on the 7, 9, 11 and 12 times tables.
- 19 %
20,36 zł
25,00 zł
do koszyka

Man's War Against Nature
Over the past 75 years, a new canon has emerged. As humans have driven the living planet to the brink of collapse, visionary thinkers around the world have raised their voices to defend it. Their words have endured, becoming the classics that define th...
- 17 %
24,88 zł
30,00 zł
do koszyka

There is No Point of No Return
Over the past 75 years, a new canon has emerged. As humans have driven the living planet to the brink of collapse, visionary thinkers around the world have raised their voices to defend it. Their words have endured, becoming the classics that define th...
- 13 %
26,24 zł
30,00 zł
do koszyka

Think Like a Mountain
Over the past 75 years, a new canon has emerged. As humans have driven the living planet to the brink of collapse, visionary thinkers around the world have raised their voices to defend it. Their words have endured, becoming the classics that define th...
- 13 %
21,87 zł
25,00 zł
do koszyka

We Belong to Gaia
Over the past 75 years, a new canon has emerged. As humans have driven the living planet to the brink of collapse, visionary thinkers around the world have raised their voices to defend it. Their words have endured, becoming the classics that define th...
- 24 %
18,98 zł
25,00 zł
do koszyka

Hot Money
Over the past 75 years, a new canon has emerged. As humans have driven the living planet to the brink of collapse, visionary thinkers around the world have raised their voices to defend it. Their words have endured, becoming the classics that define th...
- 41 %
39,98 zł
68,00 zł
do koszyka

Homo Deus
FROM THE AUTHOR OF THE NUMBER ONE BESTSELLER SAPIENS Sapiens showed us where we came from. Homo Deus shows us where we’re going. War is obsolete. You are more likely to commit suicide than be killed in conflict. Famine is disappearing. You are at...
96,51 zł
do koszyka

Living Proof
I was told I had cancer and that I must expect to die soon. Almost eight years later I still do my job and enjoy life. I have not had conventional treatment. Did my cancer simply disappear? Did I do nothing? Far from it. A number of things happened, so...
89,89 zł
do koszyka

The Semantics of I Am
Sometimes the events of life can leave us resigned to feeling trapped within a seemingly inescapable maze of intolerable suffering. A constant struggle with challenges can be a sign of living from the ego. The good news is that there are ways to transf...

Recenzje

Nikt nie dodał jeszcze recenzji. Bądź pierwszy!