Difference between revisions of "Differential logic"
MyWikiBiz, Author Your Legacy — Friday November 29, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (update) |
Jon Awbrey (talk | contribs) (update) |
||
| (8 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | <font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. | ||
| + | |||
'''Differential logic''' is the component of logic whose object is the successful description of variation — for example, the aspects of change, difference, distribution, and diversity — in [[universes of discourse]] that are subject to logical description. In formal logic, differential logic treats the principles that govern the use of a ''differential logical calculus'', that is, a formal system with the expressive capacity to describe change and diversity in logical universes of discourse. | '''Differential logic''' is the component of logic whose object is the successful description of variation — for example, the aspects of change, difference, distribution, and diversity — in [[universes of discourse]] that are subject to logical description. In formal logic, differential logic treats the principles that govern the use of a ''differential logical calculus'', that is, a formal system with the expressive capacity to describe change and diversity in logical universes of discourse. | ||
| − | A simple example of a differential logical calculus is furnished by a [[differential propositional calculus]]. This augments ordinary [[propositional calculus]] in the same way that the | + | A simple example of a differential logical calculus is furnished by a [[differential propositional calculus]]. This augments ordinary [[propositional calculus]] in the same way that the differential calculus of Leibniz and Newton augments the analytic geometry of Descartes. |
==Syllabus== | ==Syllabus== | ||
| Line 7: | Line 9: | ||
===Focal nodes=== | ===Focal nodes=== | ||
| − | |||
| − | |||
* [[Inquiry Live]] | * [[Inquiry Live]] | ||
| − | |||
* [[Logic Live]] | * [[Logic Live]] | ||
| − | |||
===Peer nodes=== | ===Peer nodes=== | ||
| − | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_logic Differential Logic @ InterSciWiki] | |
| − | |||
* [http://mywikibiz.com/Differential_logic Differential Logic @ MyWikiBiz] | * [http://mywikibiz.com/Differential_logic Differential Logic @ MyWikiBiz] | ||
| − | * [http:// | + | * [http://ref.subwiki.org/wiki/Differential_logic Differential Logic @ Subject Wikis] |
| − | + | * [http://en.wikiversity.org/wiki/Differential_logic Differential Logic @ Wikiversity] | |
| − | + | * [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic @ Wikiversity Beta] | |
| − | * [http:// | ||
| − | * [http:// | ||
| − | |||
| − | |||
===Logical operators=== | ===Logical operators=== | ||
| Line 90: | Line 83: | ||
{{col-break}} | {{col-break}} | ||
* [[Inquiry]] | * [[Inquiry]] | ||
| + | * [[Dynamics of inquiry]] | ||
| + | {{col-break}} | ||
| + | * [[Semeiotic]] | ||
* [[Logic of information]] | * [[Logic of information]] | ||
{{col-break}} | {{col-break}} | ||
| Line 96: | Line 92: | ||
{{col-break}} | {{col-break}} | ||
* [[Pragmatic maxim]] | * [[Pragmatic maxim]] | ||
| − | * [[ | + | * [[Truth theory]] |
| − | |||
| − | |||
| − | |||
{{col-end}} | {{col-end}} | ||
===Related articles=== | ===Related articles=== | ||
| − | + | {{col-begin}} | |
| − | + | {{col-break}} | |
| − | * [http:// | + | * [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language] |
| − | + | * [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs] | |
| − | * [http:// | + | * [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] |
| − | + | {{col-break}} | |
| − | * [http:// | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction] |
| − | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus] | |
| − | * [http:// | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems] |
| − | + | {{col-break}} | |
| − | * [http:// | + | * [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems] |
| − | + | * [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems] | |
| − | * [http:// | + | * [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry] |
| + | {{col-end}} | ||
==Document history== | ==Document history== | ||
| Line 122: | Line 116: | ||
Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders. | Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders. | ||
| − | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_logic Differential Logic], [http://intersci.ss.uci.edu/ InterSciWiki] | |
| − | |||
* [http://mywikibiz.com/Differential_logic Differential Logic], [http://mywikibiz.com/ MyWikiBiz] | * [http://mywikibiz.com/Differential_logic Differential Logic], [http://mywikibiz.com/ MyWikiBiz] | ||
| − | * [http:// | + | * [http://planetmath.org/DifferentialLogic Differential Logic], [http://planetmath.org/ PlanetMath] |
| − | |||
| − | |||
* [http://semanticweb.org/wiki/Differential_logic Differential Logic], [http://semanticweb.org/ Semantic Web] | * [http://semanticweb.org/wiki/Differential_logic Differential Logic], [http://semanticweb.org/ Semantic Web] | ||
| − | + | * [http://wikinfo.org/w/index.php/Differential_logic Differential Logic], [http://wikinfo.org/w/ Wikinfo] | |
| − | * [http:// | + | * [http://en.wikiversity.org/wiki/Differential_logic Differential Logic], [http://en.wikiversity.org/ Wikiversity] |
| − | |||
| − | * [http:// | ||
* [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic], [http://beta.wikiversity.org/ Wikiversity Beta] | * [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic], [http://beta.wikiversity.org/ Wikiversity Beta] | ||
| − | |||
| − | |||
| − | |||
| − | |||
[[Category:Inquiry]] | [[Category:Inquiry]] | ||
| Line 143: | Line 128: | ||
[[Category:Peer Educational Resource]] | [[Category:Peer Educational Resource]] | ||
[[Category:Artificial Intelligence]] | [[Category:Artificial Intelligence]] | ||
| + | [[Category:Charles Sanders Peirce]] | ||
[[Category:Combinatorics]] | [[Category:Combinatorics]] | ||
[[Category:Computer Science]] | [[Category:Computer Science]] | ||
Latest revision as of 22:28, 5 November 2015
☞ This page belongs to resource collections on Logic and Inquiry.
Differential logic is the component of logic whose object is the successful description of variation — for example, the aspects of change, difference, distribution, and diversity — in universes of discourse that are subject to logical description. In formal logic, differential logic treats the principles that govern the use of a differential logical calculus, that is, a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.
A simple example of a differential logical calculus is furnished by a differential propositional calculus. This augments ordinary propositional calculus in the same way that the differential calculus of Leibniz and Newton augments the analytic geometry of Descartes.
Syllabus
Focal nodes
Peer nodes
- Differential Logic @ InterSciWiki
- Differential Logic @ MyWikiBiz
- Differential Logic @ Subject Wikis
- Differential Logic @ Wikiversity
- Differential Logic @ Wikiversity Beta
Logical operators
Template:Col-breakTemplate:Col-breakTemplate:Col-endRelated topics
- Propositional calculus
- Sole sufficient operator
- Truth table
- Universe of discourse
- Zeroth order logic
Relational concepts
Information, Inquiry
Related articles
- Differential Logic : Introduction
- Differential Propositional Calculus
- Differential Logic and Dynamic Systems
- Prospects for Inquiry Driven Systems
- Introduction to Inquiry Driven Systems
- Inquiry Driven Systems : Inquiry Into Inquiry
Document history
Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.
- Differential Logic, InterSciWiki
- Differential Logic, MyWikiBiz
- Differential Logic, PlanetMath
- Differential Logic, Semantic Web
- Differential Logic, Wikinfo
- Differential Logic, Wikiversity
- Differential Logic, Wikiversity Beta
Categories:
- Inquiry
- Open Educational Resource
- Peer Educational Resource
- Artificial Intelligence
- Charles Sanders Peirce
- Combinatorics
- Computer Science
- Cybernetics
- Differential Logic
- Dynamical Systems
- Equational Reasoning
- Formal Languages
- Formal Sciences
- Formal Systems
- Graph Theory
- History of Logic
- History of Mathematics
- Knowledge Representation
- Logic
- Logical Graphs
- Mathematics
- Mathematical Systems Theory
- Philosophy
- Semiotics
- Systems Science
- Visualization
