Attributes | Values |
---|
rdf:type
| |
Description
| - The paper is a summary of the approaches to the concept of structured meaning. Apart from recapitulating various semantic theories such as denotational, model-theoretic and inferentialist ones, we propose procedural semantics as a solution to the well-known problem of substitution within belief sentences. Using Transparent Intensional Logic (TIL), we demonstrate that furnishing expressions with TIL constructions as their senses meets the desirable semantic principles of compositionality, universal transparency and a near-match between syntax and semantic structures as encoded by (disambiguated) expressions. As a solution to the problem of the identity of the complements of beliefs we define concepts as closed constructions in normal form. Our main claims are that concepts are the structured meanings of expressions and that expressions are synonymous if they express one and the same concept.
- The paper is a summary of the approaches to the concept of structured meaning. Apart from recapitulating various semantic theories such as denotational, model-theoretic and inferentialist ones, we propose procedural semantics as a solution to the well-known problem of substitution within belief sentences. Using Transparent Intensional Logic (TIL), we demonstrate that furnishing expressions with TIL constructions as their senses meets the desirable semantic principles of compositionality, universal transparency and a near-match between syntax and semantic structures as encoded by (disambiguated) expressions. As a solution to the problem of the identity of the complements of beliefs we define concepts as closed constructions in normal form. Our main claims are that concepts are the structured meanings of expressions and that expressions are synonymous if they express one and the same concept. (en)
|
Title
| - Concepts as Structured Meanings
- Concepts as Structured Meanings (en)
|
skos:prefLabel
| - Concepts as Structured Meanings
- Concepts as Structured Meanings (en)
|
skos:notation
| - RIV/61989100:27240/10:10224363!RIV11-AV0-27240___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(1ET101940420), P(GA401/07/0451)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/61989100:27240/10:10224363
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Concept, structured meaning, Transparent Intensional Logic, TIL, construction, procedure (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...vEdiceCisloSvazku
| |
http://linked.open...i/riv/nazevZdroje
| - The Analytical Way, Proceedings of the 6th European Congress of Analytic Philosophy, ECAP VI
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...v/pocetStranKnihy
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Duží, Marie
- Materna, Pavel
|
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |