About: Criteria for logical formalization

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

About: Criteria for logical formalization 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	The article addresses two closely related questions: What are the criteria of adequacy of logical formalization of natural language arguments, and what gives logic the authority to decide which arguments are good and which are bad? Our point of departure is the criticism of the conception of logical formalization put forth, in a recent paper, by M. Baumgartner and T. Lampert. We argue that their account of formalization as a kind of semantic analysis brings about more problems than it solves. We also argue that the criteria of adequate formalization need not be based on truth conditions associated with logical formulas; in our view, they are better based on structural (inferential) grounds. We then put forward our own version of the criteria. The upshot of the discussion that follows is that the quest for an adequate formalization in a suitable logical language is best conceived of as the search for a Goodmanian reflective equilibrium. The article addresses two closely related questions: What are the criteria of adequacy of logical formalization of natural language arguments, and what gives logic the authority to decide which arguments are good and which are bad? Our point of departure is the criticism of the conception of logical formalization put forth, in a recent paper, by M. Baumgartner and T. Lampert. We argue that their account of formalization as a kind of semantic analysis brings about more problems than it solves. We also argue that the criteria of adequate formalization need not be based on truth conditions associated with logical formulas; in our view, they are better based on structural (inferential) grounds. We then put forward our own version of the criteria. The upshot of the discussion that follows is that the quest for an adequate formalization in a suitable logical language is best conceived of as the search for a Goodmanian reflective equilibrium. (en)
Title	Criteria for logical formalization Criteria for logical formalization (en)
skos:prefLabel	Criteria for logical formalization Criteria for logical formalization (en)
skos:notation	RIV/67985955:_____/13:00399044!RIV14-GA0-67985955
http://linked.open...avai/riv/aktivita	I P
http://linked.open...avai/riv/aktivity	I, P(GAP401/10/1279)
http://linked.open...iv/cisloPeriodika	14
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Peregrin, Jaroslav Svoboda, Vladimír
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	67306
http://linked.open...ai/riv/idVysledku	RIV/67985955:_____/13:00399044
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	logic; logical form; formalization; reflective equilibrium (en)
http://linked.open.../riv/klicoveSlovo	formalization logical form reflective equilibrium logic
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[6EE93A85CD12]
http://linked.open...i/riv/nazevZdroje	Synthese
http://linked.open...in/vavai/riv/obor	AA
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Foundations of contemporary logical analysis
http://linked.open...UplatneniVysledku	2013
http://linked.open...v/svazekPeriodika	190
http://linked.open...iv/tvurceVysledku	Peregrin, Jaroslav Svoboda, Vladimír
http://linked.open...ain/vavai/riv/wos	000327144000014
issn	0039-7857
number of pages	28 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/s11229-012-0104-0

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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software