About: Semantics as Based on Inference

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Semantics as Based on Inference Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Jedním z úkolů logiky je vyvinout inferenční kalkuly, které by co nejlépe zachytily vyplývání; a má se za to, že Gödel dokázal, že tohle není nikdy uskutečnitelné dokonale, že 'sémantika je více než syntax'. Na druhé straně jsme to však my, uživatelé jazyka, díky komu mají výroky své významy, bez nichž by jeden z druhého vyplývat nemohl. Přitom existují důvody se domnívat, že významy jsou ustanovovány prostřednictvím inferenčních pravidel, kterými se naše užívání slov a vět řídí. To by ovšem znamenalo, že v jistém smyslu 'sémantika není více než syntax' – že i význam a vyplývání jsou nějak ustanoveny prostřednictvím inferenčních pravidel. V tomto článku tedy zkoumám smysl, ve kterém může být sémantika logických počtů nahlížena jako zcela věc jejich inferenčních struktur. (cs) One of the tasks of logic is the development of inferential calculi, which would capture consequence as well as possible; and the common view is that Gödel proved that this could be never achieved perfectly, that 'semantics is more than syntax'. On the other hand, it is we, users of language, thanks to whom the statements have their meanings, without which they could not entail one another. And there are reasons to believe that the meanings of statements are the matter of inferential rules which govern the use of our words and sentences. This would mean that there is a sense in which 'semantics is not more than syntax' – that ever meanings and consequence are somehow established by inferential rules. Hence in this paper I explore the sense in which the semantics of logical calculi can be seen as wholly instituted by their inferential structures. One of the tasks of logic is the development of inferential calculi, which would capture consequence as well as possible; and the common view is that Gödel proved that this could be never achieved perfectly, that 'semantics is more than syntax'. On the other hand, it is we, users of language, thanks to whom the statements have their meanings, without which they could not entail one another. And there are reasons to believe that the meanings of statements are the matter of inferential rules which govern the use of our words and sentences. This would mean that there is a sense in which 'semantics is not more than syntax' – that ever meanings and consequence are somehow established by inferential rules. Hence in this paper I explore the sense in which the semantics of logical calculi can be seen as wholly instituted by their inferential structures. (en)
Title	Semantics as Based on Inference Semantics as Based on Inference (en) Sémantika jakožto založená na inferenci (cs)
skos:prefLabel	Semantics as Based on Inference Semantics as Based on Inference (en) Sémantika jakožto založená na inferenci (cs)
skos:notation	RIV/67985955:_____/06:00042844!RIV07-AV0-67985955
http://linked.open.../vavai/riv/strany	25;36
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(IAA0009001), Z(AV0Z90090514)
http://linked.open...vai/riv/dodaniDat	2007
http://linked.open...aciTvurceVysledku	Peregrin, Jaroslav
http://linked.open.../riv/druhVysledku	C - Kapitola v knize
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Filosofický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	498845
http://linked.open...ai/riv/idVysledku	RIV/67985955:_____/06:00042844
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	formal semantics; inferentialism; logical calculi (en)
http://linked.open.../riv/klicoveSlovo	formal semantics inferentialism logical calculi
http://linked.open...ontrolniKodProRIV	[9E5C1F69F13A]
http://linked.open...i/riv/mistoVydani	Dordrecht
http://linked.open...vEdiceCisloSvazku	3
http://linked.open...i/riv/nazevZdroje	The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today
http://linked.open...in/vavai/riv/obor	AA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	LOGICA: A series of international interdisciplinary conferences and academic publications.
http://linked.open...UplatneniVysledku	2006
http://linked.open...iv/tvurceVysledku	Peregrin, Jaroslav
http://linked.open...n/vavai/riv/zamer	Transdisciplinary research into selected key areas of philosophy and related disciplines, in particular, logic, classical and medieval studies, and the theory of science. Editions and publications of corresponding texts and electronic databases.
number of pages	12 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	1-4020-5011-9

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 70 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software