{"entities":{"Q1840427":{"pageid":1851169,"ns":120,"title":"Item:Q1840427","lastrevid":69318630,"modified":"2026-04-13T06:12:19Z","type":"item","id":"Q1840427","labels":{"en":{"language":"en","value":"Some methodological investigations on the definability of concepts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3017944"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840427$11A64E9C-DC3D-4AAF-9073-1DAD8A035592","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1180afef94d042eb96b38fe2bad0d66705fa4205","datavalue":{"value":{"text":"Some methodological investigations on the definability of concepts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840427$AD9AE16E-0681-44C6-9DDB-0CA85F7773D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97d469eb8c86dff03a0620e4753ac2b44ac59aa4","datavalue":{"value":"0012.00101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840427$94D167F5-8050-4E1A-9111-B29EFACC3D36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14f3ec2ddf6abbd0986e24c26e3a6deb0dbe58c5","datavalue":{"value":"10.1007/BF00172286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840427$45991682-A894-4F3F-8FC4-92C781CB93C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f250921565a0fac08712ded5da7371b9cfcccefe","datavalue":{"value":{"entity-type":"item","numeric-id":175260,"id":"Q175260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840427$F259F3F4-6B99-4ADD-B984-49F74DF4FC48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82bec1cbf48dde5b3e142feb51b7b6959e188a7","datavalue":{"value":{"time":"+1935-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1840427$A44D258C-9CFA-4664-AA82-9811A0BE755B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c53276f7439b5d6d8369cc938916f8f58c556a04","datavalue":{"value":"Der erste Teil besch\u00e4ftigt sich mit dem von \\textit{A. Padoa} [Congr. Int. Math. (Paris 1900), 353--363 (1902; JFM 32.0485.07) und Enseign. Math. 5, 85--91 (1903; JFM 34.0530.01)] in speziellen F\u00e4llen betrachteten Problem der gegenseitigen Unabh\u00e4ngigkeit (Nichtdefinierbarkeit) der spezifischen Zeichen einer Theorie. \\(\\psi(a, b', b'', \\ldots, c', c'', \\ldots)\\) sei die Axiomenkonjunktion einer deduktiven Theorie (es wird dabei eine unverzweigte Typentheorie zugrunde gelegt), \\(a, b', b'', \\ldots, c', c'', \\ldots\\) die darin auftretenden spezifischen Zeichen (au\u00dferlogischen Konstanten). Betrachtet man \\(a\\) als mit Hilfe von \\(b', b'', \\ldots\\) definierbar, wenn ein Satz der Gestalt \\((x): x=a \\cdot\\equiv \\cdot \\varphi(x, b', b'', \\ldots)\\) beweisbar ist, so ist die Beweisbarkeit von   \\[ (x): x=a\\cdot\\equiv \\cdot (\\exists z', z'', \\ldots)\\cdot \\psi(x, b', b'',\\ldots, z', z'',\\ldots) \\]   notwendig und hinreichend f\u00fcr die Definierbarkeit des Zeichens \\(a\\) mit Hilfe der Zeichen \\(b', b\",\\ldots\\).   Im Mittelpunkt des zweiten Teils steht die Vollst\u00e4ndigkeit in bezug auf die spezifischen Zeichen. Eine Satzmenge \\(X\\) wird vollst\u00e4ndig in bezug auf ihre spezifischen Zeichen genannt, wenn sich keine kategorische Satzmenge \\(Y\\) angeben l\u00e4\u00dft, die \\(X\\) umfa\u00dft und in der spezifische Zeichen auftreten, welche nicht auf Grund von \\(Y\\) mit Hilfe der in \\(X\\) auftretenden Zeichen definiert werden k\u00f6nnen. Bei etwas engerer Fassung des Isomorphiebegriffs als \u00fcblich gilt der Satz:   Eine monotransformable Satzmenge (das ist eine solche, deren Interpretationen keinen nichtidentischen Automorphismus zulassen) ist in bezug auf ihre spezifischen Zeichen vollst\u00e4ndig. Der Beweis (der Autor versichert, da\u00df sich die Beweisskizze einwandfrei logistisch pr\u00e4zisieren lasse) benutzt den angegebenen Satz \u00fcber die Definierbarkeit. Ob die Umkehrung gilt, ist noch unentschieden.   In Anwendung des genannten Satzes schlie\u00dft die Arbeit mit einer Betrachtung betreffs der Aussichten einer kategorischen deduktiven Begr\u00fcndung der Physik ab.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840427$0A773967-6EA6-4A74-8C98-14EB3EF2DF01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dcfaad019cdda8dffe399c8f43baf96c0f230ee2","datavalue":{"value":"03Axx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840427$0229B652-797B-4967-A8B9-D619B285DFC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e42a0252fb4b33b88c9b10a5d07bc77e1ea6e06","datavalue":{"value":"3017944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840427$85B4D89F-43D8-4BCA-9B78-B9BD815BD57E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840427$33B6F1EE-1F8A-4C39-AE46-1FDD6AA5A99A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe6624840fd8c9dcaf156cfb37733946bcaef388","datavalue":{"value":"https://doi.org/10.1007/bf00172286","type":"string"},"datatype":"url"},"type":"statement","id":"Q1840427$460AB466-207D-46CE-BA55-A0C4D8E0A758","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"084cabc9e3dc7deb29d90c1c1013e39597913e0f","datavalue":{"value":"W2317970288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840427$6D18F3D6-F20E-444E-9406-15BDB357B8CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85829b121f1bd00e00d15a9f50bd81f731384991","datavalue":{"value":{"entity-type":"item","numeric-id":6482289,"id":"Q6482289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840427$E68D0293-6236-49CA-B977-71550C3F437F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some methodological investigations on the definability of concepts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_methodological_investigations_on_the_definability_of_concepts"}}}}}