Technical Reasoning

A page from Oliver Byrne's version of Euclid's Elements, rendered in a color-coded style that resembles Bauhaus design.

Introduction

edit

Welcome to technical reasoning!

This course discusses many aspects of logic and reasoning used in the technical sciences. It is meant to be of use to people who study

  • mathematics
  • natural and computational sciences
  • statistics
  • philosophy

Naturally mathematicians will care mostly about the sections on logic and mathematics, and may entirely skip the sections on science.

Physicists will likely find the math section contains some useful parts. However, to give one example, it is also likely that axiomatic set theory will be less useful.

Statisticians, computer scientists, and philosophers will all likewise each find some parts useful and other parts less useful.

Therefore I have tried to indicate a subsequence of study for several different disciplines.

Prerequisites

edit

This course assumes that the student understands basic algebra, geometry, and arithmetic.

It satisfies Wikiversity's prerequisite for discrete mathematics. Therefore if any course is listed on the portal as requiring discrete mathematics, then one should be well prepared for it by taking this course.

Lesson Schedule

edit

Section 0: Introduction

edit

This is an introduction to the course as a whole.

Section 1: Examples and Motivations

edit

We look at some ideas from mathematics, science, and philosophy, which motivate the desire for a system of logic.

Section 2: Formal Logic

edit

We will inspect logic itself as an object of study, turning it into a symbolic and formal system.

Section 3: Mathematical Reasoning

edit

We will apply lessons from formal logic to mathematical problems. Moreover, we will learn techniques of mathematical reasoning which are not easily understood by formal logic, such as the method of counting in two ways.

Principles

edit

Applications

edit

Section 4: Statistical and Scientific Reasoning

edit

We will see that scientific reasoning is very different from mathematical reasoning, and yet mathematics can assist in scientific reasoning.

Section 5: Computational Reasoning

edit

We will use mathematical methods to analyze computer algorithms, and use an extension of formal logic to analyze formal verification of computer programs.