Αποστολή με SMS: An introduction to philosophical logic