In most definitions of classical logic, some connectives are introduced as abbreviations of other, so-called primitive connectives. But why does it work, and why should one bother instead of just introducing every connective as primitive? In this post, I am going to tackle these questions by explaining what functional completeness is and how it is used.

In this post, I will give you a quick tip on how to make your life a little easier when working with data collected with SoSci Survey. In particular, I will show you how you can easily identify your variables by labelling them according to the details you provided when you created your questionnaire.

In this post, I will show you how to effectively manage your libraries in R. In particular, I will explain why the usual way of loading packages is quite messy and how to write a function which makes for a better package-loading experience. For those of you unintersted in the details, you can simply skip to the last section.