Talk:PlanetPhysics/Differential Logic

Original TeX Content from PlanetPhysics Archive

%%% This file is part of PlanetPhysics snapshot of 2011-09-01 %%% Primary Title: differential logic %%% Primary Category Code: 02. %%% Filename: DifferentialLogic.tex %%% Version: 7 %%% Owner: Jon Awbrey %%% Author(s): Jon Awbrey %%% PlanetPhysics is released under the GNU Free Documentation License. %%% You should have received a file called fdl.txt along with this file. %%% If not, please write to gnu@gnu.org. \documentclass[12pt]{article} \pagestyle{empty} \setlength{\paperwidth}{8.5in} \setlength{\paperheight}{11in}

\setlength{\topmargin}{0.00in} \setlength{\headsep}{0.00in} \setlength{\headheight}{0.00in} \setlength{\evensidemargin}{0.00in} \setlength{\oddsidemargin}{0.00in} \setlength{\textwidth}{6.5in} \setlength{\textheight}{9.00in} \setlength{\voffset}{0.00in} \setlength{\hoffset}{0.00in} \setlength{\marginparwidth}{0.00in} \setlength{\marginparsep}{0.00in} \setlength{\parindent}{0.00in} \setlength{\parskip}{0.15in}

\usepackage{html}

% this is the default PlanetPhysics preamble. as your knowledge % of TeX increases, you will probably want to edit this, but % it should be fine as is for beginners.

% almost certainly you want these \usepackage{amssymb} \usepackage{amsmath} \usepackage{amsfonts}

% used for TeXing text within eps files %\usepackage{psfrag} % need this for including graphics (\includegraphics) %\usepackage{graphicx} % for neatly defining theorems and propositions %\usepackage{amsthm} % making logically defined graphics %\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here

\begin{document}

\textbf{Differential logic} is the component of logic whose object is the description of variation --- for example, the aspects of change, difference, distribution, and diversity --- in \htmladdnormallink{universes of discourse}{http://planetphysics.us/encyclopedia/Universe2.html} that are subject to logical description. In formal logic, differential logic treats the principles that govern the use of a \textbf{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 \htmladdnormallink{differential propositional calculus}{http://planetphysics.us/encyclopedia/DifferentialPropositionalCalculus.html}. This extends an ordinary propositional calculus in the same way that differential calculus extends analytic geometry.

\section{Readings}

\begin{itemize}

\item Awbrey, J., ``\htmladdnormallink{Differential\_Logic : Introduction}".

\item Awbrey, J., ``".

\end{itemize}

\end{document}