Luca tranchini (28 resultados)

Condición: New.

Hardcover. Condición: new. Hardcover. This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some still not wholly understood notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instance paradoxes.The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospectsof turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic. This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New. 1st ed. 2024 edition NO-PA16APR2015-KAP.

Condición: New. In English.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New. 2024th edition NO-PA16APR2015-KAP.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book investigates the role played byidentityof proofsin proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some -still not wholly understood- notions at the core of proof-theoretic semantics, such asharmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instanceparadoxes.The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospectsof turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic.…

Hardcover. Condición: Brand New. 199 pages. 9.26x6.10x9.21 inches. In Stock.

Taschenbuch. Condición: Neu. Harmony and Paradox | Intensional Aspects of Proof-Theoretic Semantics | Luca Tranchini | Taschenbuch | xv | Englisch | 2025 | Springer | EAN 9783031469237 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Hardcover. Condición: new. Hardcover. This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some still not wholly understood notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instance paradoxes.The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospectsof turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic. This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Condición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some ¿still not wholly understood¿ notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instance paradoxes. The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospectsof turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic.…

Brossura. Condición: nuovo. Pagine: 164. ETS. Anno: 2013. ISBN: 9788846735973 --- Semantic anti-realism aims at developing a theory of meaning in which bivalence - the thesis that every sentence is either true or false - fails. According to Michael Dummett, the prototype of such a theory is the intuitionistic explanation of the meaning of logical constants. For Dummett, Gentzen's proof-theory is the technical tool to develop the intuitionistic prototype into a fully-fledged theory of meaning. In this book, it is argued that a fundamental ingredient of Dummett's anti-realism comes from his interpretation of Frege's philosophy. Dummett's anti-realism is thus a composite picture whose elements stem from very different traditions (intuitionism, Gentzen's formalism and Frege's logicism). This results in certain difficulties, which in particular concern the proper interpretation of the relationship between hypothetical arguments and categorical proofs. Hints are provided about an alternative way of developing an anti-realist theory of meaning on proof-theoretic basis in which the difficulties encountered by Dummett may be overcome.…

Condición: new. Questo è un articolo print on demand.

Condición: new. Questo è un articolo print on demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book investigates the role played byidentityof proofsin proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some -still not wholly understood- notions at the core of proof-theoretic semantics, such asharmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instanceparadoxes.The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospectsof turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic. 200 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book investigates the role played byidentityof proofsin proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some -still not wholly understood- notions at the core of proof-theoretic semantics, such asharmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instanceparadoxes.The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospectsof turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic. 182 pp. Englisch.…

Condición: New. Print on Demand.

Condición: New. PRINT ON DEMAND.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Discloses the significance of identity of proofs for proof-theoretic semanticsOffers the tools for analyzing (hyper-)intensional features of the meaning of logical constantsDevelops a philosophical explanation of paradoxes in the framework.…

Condición: New. Print on Demand.

Condición: New. PRINT ON DEMAND.

Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Discloses the significance of identity of proofs for proof-theoretic semanticsOffers the tools for analyzing (hyper-)intensional features of the meaning of logical constantsDevelops a philosophical explanation of paradoxes in the framework.…

Buch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This open access book investigates the role played byidentityof proofsin proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some -still not wholly understood- notions at the core of proof-theoretic semantics, such asharmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instanceparadoxes.The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospectsof turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some -still not wholly understood- notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instance paradoxes.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 200 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some -still not wholly understood- notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instance paradoxes.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 200 pp. Englisch.…