Die richtige Formel : : Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm / / Georg Brun.
Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäqua...
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2013] ©2003 |
| Year of Publication: | 2013 |
| Language: | German |
| Series: | Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ,
2 |
| Online Access: | |
| Physical Description: | 1 online resource (390 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
9783110323528 |
|---|---|
| ctrlnum |
(DE-B1597)211105 (OCoLC)881295624 |
| collection |
bib_alma |
| record_format |
marc |
| spelling |
Brun, Georg, author. aut http://id.loc.gov/vocabulary/relators/aut Die richtige Formel : Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm / Georg Brun. Berlin ; Boston : De Gruyter, [2013] ©2003 1 online resource (390 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Logos : Studien zur Logik, Sprachphilosophie und Metaphysik , 2198-2201 ; 2 Frontmatter -- Inhaltsübersicht -- Einleitung -- Teil I: Adäquat formalisieren als ein Problem der Logik -- Teil II: Analysen zum Konzept der Formalisierung -- Teil III: Aspekte der Adäquatheit -- Beispiele: Pferdeköpfe, Kreise, Gewinnzahlen -- Symbole -- Literatur -- Register -- Backmatter restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern. Issued also in print. Mode of access: Internet via World Wide Web. In German. Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) Logic. Philosophy. PHILOSOPHY / Logic. bisacsh Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 9783110636949 ZDB-23-GPH Title is part of eBook package: De Gruyter eBook Paket De Gruyter Ontos 2002-2012 9783110331219 ZDB-23-DON print 9783110323009 https://doi.org/10.1515/9783110323528 https://www.degruyter.com/isbn/9783110323528 Cover https://www.degruyter.com/document/cover/isbn/9783110323528/original |
| language |
German |
| format |
eBook |
| author |
Brun, Georg, Brun, Georg, |
| spellingShingle |
Brun, Georg, Brun, Georg, Die richtige Formel : Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm / Logos : Studien zur Logik, Sprachphilosophie und Metaphysik , Frontmatter -- Inhaltsübersicht -- Einleitung -- Teil I: Adäquat formalisieren als ein Problem der Logik -- Teil II: Analysen zum Konzept der Formalisierung -- Teil III: Aspekte der Adäquatheit -- Beispiele: Pferdeköpfe, Kreise, Gewinnzahlen -- Symbole -- Literatur -- Register -- Backmatter |
| author_facet |
Brun, Georg, Brun, Georg, |
| author_variant |
g b gb g b gb |
| author_role |
VerfasserIn VerfasserIn |
| author_sort |
Brun, Georg, |
| title |
Die richtige Formel : Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm / |
| title_sub |
Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm / |
| title_full |
Die richtige Formel : Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm / Georg Brun. |
| title_fullStr |
Die richtige Formel : Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm / Georg Brun. |
| title_full_unstemmed |
Die richtige Formel : Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm / Georg Brun. |
| title_auth |
Die richtige Formel : Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm / |
| title_alt |
Frontmatter -- Inhaltsübersicht -- Einleitung -- Teil I: Adäquat formalisieren als ein Problem der Logik -- Teil II: Analysen zum Konzept der Formalisierung -- Teil III: Aspekte der Adäquatheit -- Beispiele: Pferdeköpfe, Kreise, Gewinnzahlen -- Symbole -- Literatur -- Register -- Backmatter |
| title_new |
Die richtige Formel : |
| title_sort |
die richtige formel : philosophische probleme der logischen formalisierung. herausgegeben von volker halbach, alexander hieke, hannes leitgeb und holger sturm / |
| series |
Logos : Studien zur Logik, Sprachphilosophie und Metaphysik , |
| series2 |
Logos : Studien zur Logik, Sprachphilosophie und Metaphysik , |
| publisher |
De Gruyter, |
| publishDate |
2013 |
| physical |
1 online resource (390 p.) Issued also in print. |
| contents |
Frontmatter -- Inhaltsübersicht -- Einleitung -- Teil I: Adäquat formalisieren als ein Problem der Logik -- Teil II: Analysen zum Konzept der Formalisierung -- Teil III: Aspekte der Adäquatheit -- Beispiele: Pferdeköpfe, Kreise, Gewinnzahlen -- Symbole -- Literatur -- Register -- Backmatter |
| isbn |
9783110323528 9783110636949 9783110331219 9783110323009 |
| issn |
2198-2201 ; |
| callnumber-first |
B - Philosophy, Psychology, Religion |
| callnumber-subject |
BC - Logic |
| callnumber-label |
BC51 |
| callnumber-sort |
BC 251 B78 42003 |
| url |
https://doi.org/10.1515/9783110323528 https://www.degruyter.com/isbn/9783110323528 https://www.degruyter.com/document/cover/isbn/9783110323528/original |
| illustrated |
Not Illustrated |
| dewey-hundreds |
000 - Computer science, information & general works |
| dewey-tens |
000 - Computer science, knowledge & systems |
| dewey-ones |
001 - Knowledge |
| dewey-full |
001.6 001.6424 |
| dewey-sort |
11.6 |
| dewey-raw |
001.6 001.6424 |
| dewey-search |
001.6 001.6424 |
| doi_str_mv |
10.1515/9783110323528 |
| oclc_num |
881295624 |
| work_keys_str_mv |
AT brungeorg dierichtigeformelphilosophischeproblemederlogischenformalisierungherausgegebenvonvolkerhalbachalexanderhiekehannesleitgebundholgersturm AT brungeorg richtigeformelphilosophischeproblemederlogischenformalisierungherausgegebenvonvolkerhalbachalexanderhiekehannesleitgebundholgersturm |
| status_str |
n |
| ids_txt_mv |
(DE-B1597)211105 (OCoLC)881295624 |
| carrierType_str_mv |
cr |
| hierarchy_parent_title |
Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 Title is part of eBook package: De Gruyter eBook Paket De Gruyter Ontos 2002-2012 |
| is_hierarchy_title |
Die richtige Formel : Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm / |
| container_title |
Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 |
| _version_ |
1806144341104656384 |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03649nam a22006735i 4500</leader><controlfield tag="001">9783110323528</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20230228123812.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">230228t20132003gw fo d z ger d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1013949436</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110323528</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110323528</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)211105</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)881295624</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC51</subfield><subfield code="b">.B78 2003</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">001.6</subfield><subfield code="a">001.6424</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/17609:</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Brun, Georg, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="4"><subfield code="a">Die richtige Formel :</subfield><subfield code="b">Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm /</subfield><subfield code="c">Georg Brun.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2013]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (390 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ,</subfield><subfield code="x">2198-2201 ;</subfield><subfield code="v">2</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Inhaltsübersicht -- </subfield><subfield code="t">Einleitung -- </subfield><subfield code="t">Teil I: Adäquat formalisieren als ein Problem der Logik -- </subfield><subfield code="t">Teil II: Analysen zum Konzept der Formalisierung -- </subfield><subfield code="t">Teil III: Aspekte der Adäquatheit -- </subfield><subfield code="t">Beispiele: Pferdeköpfe, Kreise, Gewinnzahlen -- </subfield><subfield code="t">Symbole -- </subfield><subfield code="t">Literatur -- </subfield><subfield code="t">Register -- </subfield><subfield code="t">Backmatter</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern.</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In German.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Philosophy.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DGBA Philosophy 2000 - 2014</subfield><subfield code="z">9783110636949</subfield><subfield code="o">ZDB-23-GPH</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">eBook Paket De Gruyter Ontos 2002-2012</subfield><subfield code="z">9783110331219</subfield><subfield code="o">ZDB-23-DON</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783110323009</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110323528</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783110323528</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783110323528/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DON</subfield><subfield code="c">2002</subfield><subfield code="d">2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GPH</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield></record></collection> |