About: Is a nonmonotonic logic really a logic?

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

About: Is a nonmonotonic logic really a logic? 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	Nonmonotonic logic was devised in order to capture so called defeasible reasoning, i.e., sort of everyday life reasoning, which leads to tantatively valid arguments that can be later retracted in the light of new information. This brings nonmonotonic logic to sharp contrast with classical logic, which is monotonic, i.e., no additional premises can invalidate once already valid arguments. Many took this as a sufficient reason to claim that nonmonotonic logic is not really a logic. In this paper we try to show that such a conclusion is very hasty and that nonmonotonic logic has a right to call itself a logic. (en) Nemonotónní logika vznikla za účelem systematicky zachytit tzv. zrušitelné uvažování, tj. typ každodenního uvažování, které vede jen k provizorně platným argumentům, jenž mohou být následně staženy s příchodem nových informací. Tím se ovšem nemonotónní logika dostává do ostrého kontrastu s klasickou logikou, která je monotónní, tj. žádné dodatečné premisy nemohou zrušit jednou již platné argumenty. To bylo pro mnohé dostatečným důvodem k tomu, aby nemonotónní logice upřeli status logiky. V tomto textu si ukážeme, že takový závěr je příliš unáhlený a že nemonotónní logika má právo se nazývat logikou. Nemonotónní logika vznikla za účelem systematicky zachytit tzv. zrušitelné uvažování, tj. typ každodenního uvažování, které vede jen k provizorně platným argumentům, jenž mohou být následně staženy s příchodem nových informací. Tím se ovšem nemonotónní logika dostává do ostrého kontrastu s klasickou logikou, která je monotónní, tj. žádné dodatečné premisy nemohou zrušit jednou již platné argumenty. To bylo pro mnohé dostatečným důvodem k tomu, aby nemonotónní logice upřeli status logiky. V tomto textu si ukážeme, že takový závěr je příliš unáhlený a že nemonotónní logika má právo se nazývat logikou. (cs)
Title	Is a nonmonotonic logic really a logic? (en) Je nemonotónní logika logikou? Je nemonotónní logika logikou? (cs)
skos:prefLabel	Is a nonmonotonic logic really a logic? (en) Je nemonotónní logika logikou? Je nemonotónní logika logikou? (cs)
skos:notation	RIV/00216224:14210/12:00061563!RIV13-MSM-14210___
http://linked.open...avai/predkladatel	Filozofická fakulta
http://linked.open...avai/riv/aktivita	I
http://linked.open...avai/riv/aktivity	I
http://linked.open...iv/cisloPeriodika	č. 1
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Pezlar, Ivo
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	Masarykova univerzita / Filozofická fakulta
http://linked.open...dnocenehoVysledku	143605
http://linked.open...ai/riv/idVysledku	RIV/00216224:14210/12:00061563
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	nonmonotonic logic; nonmonotonic reasoning; defeasible reasoning; classical logic (en)
http://linked.open.../riv/klicoveSlovo	defeasible reasoning nonmonotonic logic nonmonotonic reasoning classical logic
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[E776861AA6FB]
http://linked.open...i/riv/nazevZdroje	Profil - Elektronický časopis pro filozofii
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...UplatneniVysledku	2012
http://linked.open...v/svazekPeriodika	roč. 13
http://linked.open...iv/tvurceVysledku	Pezlar, Ivo
issn	1212-9097
number of pages	11 (xsd:int)
http://localhost/t...ganizacniJednotka	14210
is http://linked.open...avai/riv/vysledek of	Je nemonotónní logika logikou?

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