Listing 1 - 10 of 10 |
Sort by
|
Choose an application
Form (Logic) --- History.
Choose an application
Choose an application
Constructivism (Philosophy) --- Form (Logic) --- Logic, Symbolic and mathematical --- Spencer-Brown, G.
Choose an application
Logic --- Form (Logic) --- Paradox --- Predicate (Logic) --- Reference (Philosophy) --- Referring, Theory of --- Theory of referring --- Philosophy --- Predicables (Logic) --- Predication (Logic) --- Categories (Philosophy) --- Language and logic --- Figures of speech --- Contradiction --- Logical form --- Paradox. --- Form (Logic). --- Predicate (Logic). --- Reference (Philosophy).
Choose an application
"We frequently use hypotheticals in our arguments with the common sense assertion that they are a logical form. "If I pass my exams then I will be able to continue my studies. I passed my exams therefore I will be continuing my studies". The conclusion of such an argument is clearly inferred from the hypothetical. Yet hypotheticals are one of the long-standing problems in the study of logic: the claim that they fall under the logical form has never been proven. So how then can logic claim to be the science of formal inference? Peter Long resolves these difficulties and others, and challenges traditional thinking in the area. In addition to his essay on hypotheticals, this study also contains two essays concerned with classical problems in philosophical logic, relating to notions of logical form and formal relations. How do we relate a thing with having a property as in "This sheet is white" or of the proposition "London is north of Paris", where this is an expression of a relation to a relation?"
Form (Logic) --- Logic. --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Logical form --- Logic --- Methodology
Choose an application
Grammar, Comparative and general --- Form (Logic) --- Grammaire comparée et générale --- Forme (Logique) --- Grammaire comparée et générale --- Jugement [Logique]. --- Oordeel [Logica]. --- Grammar, Comparative and general. --- Logical form --- Logic --- Linguistics --- Philology
Choose an application
Form (Logic) --- Langage et logique --- Language and logic --- Logical form --- Taal en logica --- Language and logic. --- Forme (Logique) --- 800.1 --- Taalfilosofie --- 800.1 Taalfilosofie --- Logic --- Linguistics and logic --- Logic in language --- Language and languages --- Semantics --- Philosophy --- Philosophie du langage
Choose an application
Events (Philosophy) --- Reference (Philosophy) --- Form (Logic) --- Evénement (Philosophie) --- Référence (Philosophie) --- Forme (Logique) --- Logical form --- Logic --- Philosophy --- Referring, Theory of --- Theory of referring --- Evénement (Philosophie) --- Référence (Philosophie)
Choose an application
Logic --- Corbin, H. --- Asia --- Form (Logic) --- Forme (Logique) --- Corbin, Henry. --- History --- Corbin, Henry --- 1 <=927> --- -Logical form --- Arabische, islamitische filosofie --- -Corbin, Henry --- Corbin, Henri --- Corbin, Henry, --- Korben, Anri --- Kurbin, Hānrī --- Kūrbān, Hinrī --- كربين، هنري --- كربن، هانرى --- كربن، هنرى --- كوربان، هنري --- كوربن، هنرى --- کربين، هنرى --- 1 <=927> Arabische, islamitische filosofie --- -Arabische, islamitische filosofie --- -Logic --- Logical form --- -1 <=927> Arabische, islamitische filosofie --- Form (Logic) - History - 20th century
Choose an application
Mathematical logic --- Form (Logic) --- Predicate calculus. --- Reasoning. --- Forme (Logique) --- Calcul des prédicats --- Raisonnement --- 510.6 --- Predicate calculus --- Reasoning --- #TCPW P3.0 --- #TCPW W1.2 --- #WWIS:ALTO --- 681.3*F2 --- 681.3*I23 --- Argumentation --- Ratiocination --- Reason --- Thought and thinking --- Judgment (Logic) --- Logic --- Calculus, Predicate --- Quantification theory --- Logic, Symbolic and mathematical --- Logical form --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Form (Logic). --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 510.6 Mathematical logic --- Calcul des prédicats
Listing 1 - 10 of 10 |
Sort by
|