Nekaj dilem neformalne logike