Formal Logic
Complete Developer Podcast - A podcast by BJ Burns and Will Gant - Giovedì
Where mathematics and philosophy meet you'll find formal logic. It is a systematic study of valid inference. In it one starts with a proposition or assumed hypotheses and derives a conclusion.