Filter results

Results (7405)

Sort by:

Select all Select all

Page 1

Fausto Fraisopi - Mathesis, Grund, Vernunft

No access

Select

Fausto Fraisopi (ed.)

Mathesis, Grund, Vernunft

Series: Studien zur Phänomenologie und Praktischen Philosophie

Volume 50 2019

Results in this title

Danilo Manca Syllogism and mathesis. Hegel and Husserl on the method of philosophy S. 131-146

„… transposed into a logical form and gradually formal logic makes itself self–sufficient is “perfectly …” „… truth to the correct results […] is excluded”7. Hegel’s assessment of the development of formal logic in …” „… logic is rooted in the alternative aims guiding their confrontation with formal logic. Husserl thinks …”

Carlo Ierna Mathesis Universalis from Leibniz to Husserl S. 43-56

„… prominent role in Edmund Husserl’s Formal and Transcendental Logic (FTL).1 It is clear that at this mature …” „… (content–logic) operate with the same formal, algorithmic methods. The content of the concepts upon which …” „… extension–logic or content–logic. Hence, we see that Husserl separates the logical technique of calculation …”

Iacopo Chiaravalli Method and Mathesis: Some Preliminary Remarks on Descartesʼs Regulae S. 57-72

„… forerunner of contemporary mathematical logic, without noting, for instance, that the Cartesian meaning of …” „… allowed to speak of a true inference. The truth of Cartesian inference is not a formal quality, detached …” „… understood as logic. Cartesian “logic”, i.e. Cartesian method, coincides with the exposition of the correct …”

doi.org/10.5771/9783956506215

Christian Bachhiesl, Sonja Bachhiesl, Stefan Köchel - Intuition und Wissenschaft

No access

Select

Christian Bachhiesl (ed.), Sonja Bachhiesl (ed.), Stefan Köchel (ed.)

Intuition und Wissenschaft

2018

Results in this title

Wolfgang Brumetz The Uses of Truth S. 61-86

„… , in: Notre Dame Journal of Formal Logic 56, 1 (2015), p. 121–134. 15 Paul Bernays, Abhandlungen zur …” „… again into the formal reasoning that constituted its substance in the first place. A logic that can …” „… Journal of Formal Logic 56, 1 (2015), p. 121–134. WOLFGANG BRUMETZ …”

doi.org/10.5771/9783845291079

Jan-R. Sieckmann - Logik juristischer Argumentation

No access

Select

Jan-R. Sieckmann

Logik juristischer Argumentation

Series: Studien zur Rechtsphilosophie und Rechtstheorie

Volume 76 2020

Results in this title

Bibliographie S. 205-218

„… . 1956. The Formal Analysis of Normative Systems. In: N. Rescher (ed.), The Logic of Decision and Action …” „… Logic and Agency, Oxford: Oxford University Press. Hoyningen-Huene, Paul. 1998. Formale Logik. Eine …” „… : Philosophie Verlag, 151ff. Prior, A.P. 1955. Formal Logic. Oxford: Clarendon Press. Quine, W.V.O. 1964 …”

Teil 2: Logik der Normen S. 53-100

„… Anschluss an Anderson (1958) und Prior (Formal Logic, 1955, 220ff.). Teil 2: Logik der Normen 56 Das System …” „… Prior, Formal Logic, 1955, und von Wright, Deontic Logic. Mind 60 (1951), 1-15, verteidigt von Stenius …” „… 1963, 253; Anderson, The Formal Analysis of Normative Systems (1956), in: Rescher (ed.), The Logic of …”

1. Teil: Grundlagen S. 17-52

„… juristischen Argumentation (1978), 3. Aufl., 1994, 264ff., 428ff. 4 Siehe auch Navarro/Rodriguez, Deontic Logic …” „… and Legal Systems, 2014, 3. 17 Als logische Regeln haben sie formalen Charakter, d.h. ihre Gültigkeit …” „… , Rechtswissenschaft und Formale Logik, 1998, 63ff.; Koch/Rüssmann, Juristische Begründungslehre, 1982, 58ff.; Sartor …”

Titelei/Inhaltsverzeichnis S. 1-16

„… . Rechtswissenschaft muss sich daher auch mit formaler Logik befassen. Entgegen dieser an sich trivialen These spielt …” „… formale Logik in der Rechtswissenschaft nur eine geringe Rolle. Dies hat verschiedene Gründe. Zunächst …” „… erfordert die Verwendung formaler Logik einen hohen technischen Aufwand. Der Nutzen für die …”

Teil 3: Normative Argumentation S. 101-181

„… 90 (2004), S. 66ff.; ders., Recht als normatives System, 2009, 103ff.; ders., The Logic of Autonomy …” „… , 2012, 13ff., 85ff. 295 Dazu s.o., § 8 II. 2. 296 Dazu Sieckmann, Why non-monotonic logic is inadequate …” „… also eine andere Konzeption von Argumenten für möglich, behandelt in seiner "Argument Logic" (695ff …”

Personen- und Sachverzeichnis S. 219-222

„… f. Fragmentierungsthese 88, 119ff., 182 free choice permission 64f. Freiheit 53, 81, 144 Fuzzy logic …” „… . - formale 7, 19, 33 - informale 19 - intuitionistische 19 Fn - juristische 7, 20, 171 - klassische 19 Fn …”

doi.org/10.5771/9783748909408

Wieslaw Babik, H. Peter Ohly, Karsten Weber - Theorie, Semantik und Organisation von Wissen

No access

Select

Wieslaw Babik (ed.), H. Peter Ohly (ed.), Karsten Weber (ed.)

Theorie, Semantik und Organisation von Wissen

Series: Fortschritte in der Wissensorganisation

Volume 13 2017

Results in this title

M. Frické Logic and Librarianship S. 279-288

„… 288 Logic and Librarianship Martin Frické SIRLS, University of Arizona, USA …” „… , mfricke@u.arizona.edu Abstract The paper suggests that symbolic logic can be used as a notation for concepts, and, in …” „… turn, concepts can be used for assigned indexing. Representation in logic reveals many of the a priori …”

H. Herre, H. Benking Formal Ontology and Principles and Prospects of Knowledge Organisation: An Axiomatic Approach S. 92-106

„… similar to formal logic. Formal ontology is concerned with the systematic development of axiomatic …” „… granularity. Formal ontology integrates aspects of philosophy, formal logic, artificial intelligence …” „… sentences which describe formal-logical interrelations between them. Some of these sentences are accepted …”

Titelei/Inhaltsverzeichnis S. 1-6

„… als Deduktgeflecht 80 H. Herre, H. Benking: Formal Ontology and Principles and Prospects of …” „… futuristic KO tools 266 M. Frické: Logic and Librarianship 279 E. Scheven: Die neue Thesaurusnorm …”

Á. Castellanos, A. García-Serrano, J. Cigarrán, E. W. De Luca Improving the Knowledge Organization of Linguistic Resources S. 175-186

„… regard, this paper proposes a Knowledge Organization technique based on Formal Concept Analysis (FCA) to …” „… . Keywords and Categories: Formal Concept Analysis, Knowledge Organization, Linguistic Resources, Content …” „… approach based on the application of Formal Concept Analysis (FCA), a mathematical theory of content …”

Stichwortregister /Keyword Index S. 439-446

„… Focus groups 368 Followers 161-165 Formal concept analysis (FCA) 175-186, 282, 283 …” „… General formal ontology (GFO) 92-106 Gesellschaft, s.a. Society 13, 17, 42, 62, 68, 69, 147-149, 152 …” „… , 245, 332, 336, 362, 369, 371-377, 380, 385, 388, 400-403, 423-425, 433 Logic 26, 27, 46, 69, 71 …”

L.-L. Stahn Vocabulary Alignment für archäologische KOS S. 257-264

„… über die beim Ontology Alignment benutzten Begrifflichkeiten ebenso wie über die formale Definition …” „… Web." Theory and practice of logic programming, 8(03):363-392, 2008. [12] B. Zapilko, & Y. Sure …”

M. Kleineberg Der Elefant und die Blinden. Vorüberlegungen zu einer Organisation epistemischer Kontexte S. 37-70

„… ―), formaloperationalen („formop―) und postformalen („vision-logic―)43 Denkformen entwickeln. In der kognitiven und …” „… Erfahrung. Erkenntnis in ihren formalen Strukturen wie Wissen in …” „… consciousness evolves from formal to postformal – and thus evolves from universal formalism to pluralistic …”

B. Hjørland Theories of knowledge organization — Theories of knowledge S. 22-36

„… and reptiles) are no longer regarded as valid taxa (i.e. groups of organisms recognized as formal …” „… different bases: Some classifications are based on logic (e.g. that even numbers are numbers). The …” „… by which it has been produced and to evaluate the logic, empirical studies, knowledge of human …”

P. Jaenecke Über die Darstellung einer deduktiven Wissenschaft als Deduktgeflecht S. 80-91

„… Ausdrücke bilden bekanntlich eine formale Sprache.3 In der Literatur wird sie meist nicht erwähnt; man geht …” „… . 3 Formale Sprache im Sinne der theoretischen Informatik; s. SALOMAA 1978: Formale Sprachen …” „… Herleitungen bestehen aus inhaltsneutralen, wahrheitswerterhaltenden formalen Umformungen der Aussagen aus dem …”

S. Otra, N. Singh, J. Jha Towards Building a Lexical Ontology Resource Based on Intrinsic Senses of Words S. 198-210

„… the sense-class and sense-type distributions show the potentiality of the resource. We give formal …” „… punctal form, an ontic form, a void that punctuates seeming continuities. We shall do formal ontology of …” „… sense-types based on seven different formal contiguity rationally locatable in most frequently used verbs …”

H. P. Ohly Organization, Management and Engineering of Knowledge S. 323-329

„… must assume that more formal criteria were used to store the clay tablets (Ohly 2009). The …” „… ―expert systems‖. Some of the new features to become more understandable even to laymen are: logical …” „… intention is meant to make library indexing systems more logical formalized and hence deductive by machines …”

W. Babik Keywords as Linguistic Tools in Information and Knowledge Organization S. 306-313

„… the results of keyword analysis in various contexts. The keyword language, as an abstract and formal …” „… more and more free association-based, metaphorical, and multi-aspectual rather than strict, logical …” „… . However, logical thinking is based on a systemic approach, unlike network thinking which is based on …”

doi.org/10.5771/9783956503269

Michael Wolff - Abhandlung über die Prinzipien der Logik

No access

Select

Michael Wolff

Abhandlung über die Prinzipien der Logik

Series: Philosophische Abhandlungen

Volume 121 2023

Results in this title

LITERATURVERZEICHNIS S. 436-443

„… Costa, Newton C. A., ‘On the Theory of Inconsistent Formal Systems’, Notre Dame Journal of Formal Logic …” „… Exercises in Formal Logic, fourth edition rewritten and enlarged, London: Macmillan, 1928. Kneale, William …” „… . MacFarlane, John, What Does it Mean to Say that Logic is Formal, Diss. Uni-versity of Pittsburgh, 2000 …”

ANHANG 6: NICHT-KLASSISCHE LOGIKSYSTEME IN IHREM VERHÄLTNIS ZUM LOGISCHEN FUNKTIONENKALKÜL S. 409-414

„… Incon-sistent Formal Systems’, Notre Dame Journal of Formal Logic 15, 1974, S. 497-510, vorge-Nicht-klassische …” „… Ermanno Bencivenga, ‘Free Logics’, in: D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic …” „… 24, 1969, S. 143–57) und Richard Routley (‘Ultralogic as Universal?’, Relevance Logic Newsletter 2 …”

ANHANG 8: ÜBER BIVALENZ (zu den §§ 6 bis 9) S. 418-423

„… deutlich explizierbaren Sinn (wie ich ihn oben in § 82 und § 83 angegeben habe) formal zu sein. Ich gehe im …” „… Three-Valued Logic’ (1920), ‘On Determinism’ (1922) und ‘Philosophical Remarks on Many-Valued Systems of …” „… Propositional Logic’ (1930). Anhang 8 420 In Wahrheit ist aber das Bivalenz-Prinzip mit dem Indeterminismus …”

ABSCHLUSS S. 362-371

„… Gründe, den Funktionenkalkül nicht zum for-malen Teil der deduktiven Logik zu rechnen, sondern ihn als …” „… , sondern auch durch den formaleren Charakter ihrer Regeln. Die Syllogistik ist, wie sich jetzt mit größerer …” „… Genauigkeit einsehen läßt, formale Logik (in einem engeren, präzise anzugebenden Sin-Abschluss 364 ne dieses …”

VORWORT ZUR DRITTEN AUFLAGE

„… überein. Sie erscheint unter dem Titel ‘Essay on the Principles of Logic. A Defense of Logical Monism …” „… “, „eine Wissen-schaft“ zu sein, „die nichts als die formalen Regeln alles Denkens […] ausführlich darlegt …” „… )“ abstrahieren-de Logik ist sie „formale Logik“ (B 170; vgl. 77) und als solche kein „Orga-non“ (kein Instrument …”

I. ANALYTISCHER TEIL: ANALYSE LOGISCHER SPRACHEN S. 5-172

„… William Kneale & Martha Kneale, The Development of Logic, Oxford: Clarendon, 1975, S. 9–10, 44 und 67. I …” „… daher grö-ßer ist als sie, in einer einheitlichen formalen Sprache zu behandeln. Diese Sprache wäre als …” „… der von Aristoteles gebrauchten Metapher „ὅρος“. John Stuart Mill hat in seinem Werk A System of Logic …”

ANHANG 4: VERTRÄGLICHKEIT UND UNVERTRÄGLICHKEIT (zu § 30) S. 390-393

„… intuitionistischen Logik entspricht dieser Annahme das Axiom A  (B  A). Siehe Arend Heyting, Die formalen Regeln …” „… als Axiom vorausgesetzt: ~ A  (A  B). Siehe Arend Heyting, Die formalen Regeln der …” „… , Symbolic Logic, New York: Dover, 1932, zweite Auflage 1959, S. 166–167. Verträglichkeit und …”

ANHANG 5: MODERNE NICHT-SYLLOGISTISCHE SYSTEME DER MODALLOGIK IN IHREM VERHÄLTNIS ZUR MODALEN SYLLOGISTIK (zu den §§ 58 bis 63) S. 394-408

„… 1932 in dem von ihm gemeinsam mit C. H. Langford veröffentlichten Buch Symbolic Logic vor. Systeme der …” „… Symbolic Logic (noch unter dem Namen Barcan) veröffentlicht hat. Anhang 5 396 firmativen Gebrauchs …” „… & Cresswell, An Introduction to Modal Lo-gic, S. 217–218. Systeme der Modallogik im Verhältnis zur modalen …”

II. SYNTHETISCHER TEIL: DER AUFBAU DES LOGISCHEN FUNKTIONENKALKÜLSAUS ELEMENTEN DER SYLLOGISTIK S. 173-361

„… formalen Schluß oder Syllogismus. 5. Sind σ 1, …, σ n und σ n + 1 Regeln, nach denen Sätze aus anderen …” „… Logik eine grundlegende Rolle. Siehe Frede, ebenda, S. 172–173, und Benson Mates, Stoic Logic, Berkeley …” „… , Symbolic Logic, S. 154. § 47. Definitionen 191 wir alle wahrheitsfunktionalen Zeichen, die in dem Ausdruck …”

doi.org/10.5771/9783465146155

1

2 3 ... 1481