About: What is Logic? On the conception of logic in Principia Mathematica     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)

AttributesValues
rdf:type
Description
  • Studie seznamuje čtenáře s moderní logikou z pohledu sto let starého (vzatého ze spisu Principia Mathematica). Jejím cílem je, kromě představení klasického analytického postupu a myšlenky důkazu, nabídnout jiné odpovědi na některé otázky, které dnes studium moderní logiky provázejí: Z čeho v logice vycházíme? K čemu nám jsou pravidla? Mluvíme jen v metajazyce?
  • Studie seznamuje čtenáře s moderní logikou z pohledu sto let starého (vzatého ze spisu Principia Mathematica). Jejím cílem je, kromě představení klasického analytického postupu a myšlenky důkazu, nabídnout jiné odpovědi na některé otázky, které dnes studium moderní logiky provázejí: Z čeho v logice vycházíme? K čemu nám jsou pravidla? Mluvíme jen v metajazyce? (cs)
  • The study presents an analysis of the logical ideas and of the processes of conducting demonstrations in Principia Mathematica. In the first step, the primitive ideas of elementary proposition, elementary propositional function, assertion of elementary proposition, assertion of elementary propositional function, disjunction and negation are introduced and the theory of deduction is developed. In the second step, the primitive ideas of proposition, propositional function, assertion of proposition, assertion of propositional function, disjunction, negation, general quantifier and individual are introduced and the theory of apparent variables is developed. The study than focuses on three questions arising from later approaches to logic: the undefined status of primitive ideas, the non-descriptive and non-prescriptive use of rules and the original identity of expressions in both their assertions and assertions about their meaning. Thus, the analysis is presented not as a mathematical object, but as a path of thought. (en)
Title
  • What is Logic? On the conception of logic in Principia Mathematica (en)
  • Co je logika? Studie k chápání logiky v Principia Mathematica Bertranda Russella a Alfreda N. Whiteheada
  • Co je logika? Studie k chápání logiky v Principia Mathematica Bertranda Russella a Alfreda N. Whiteheada (cs)
skos:prefLabel
  • What is Logic? On the conception of logic in Principia Mathematica (en)
  • Co je logika? Studie k chápání logiky v Principia Mathematica Bertranda Russella a Alfreda N. Whiteheada
  • Co je logika? Studie k chápání logiky v Principia Mathematica Bertranda Russella a Alfreda N. Whiteheada (cs)
skos:notation
  • RIV/00216208:11240/14:10272481!RIV15-MSM-11240___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • I
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
  • 7625
http://linked.open...ai/riv/idVysledku
  • RIV/00216208:11240/14:10272481
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • meaning; analysis; proof; logic (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [D8EC5495082B]
http://linked.open...i/riv/mistoVydani
  • Praha
http://linked.open...i/riv/nazevZdroje
  • Co je logika? Studie k chápání logiky v Principia Mathematica Bertranda Russella a Alfreda N. Whiteheada
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...v/pocetStranKnihy
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Holeček, Tomáš
number of pages
http://purl.org/ne...btex#hasPublisher
  • Togga
https://schema.org/isbn
  • 978-80-7476-058-7
http://localhost/t...ganizacniJednotka
  • 11240
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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