9 8 4 f , ▁" The ▁just ification ▁of ▁mathematical ▁induction ," ▁P SA ▁ 2 : ▁ 4 6 9 – 4 7 5 . ▁L LL . ▁▁▁ 1 9 8 5 , ▁" 1 - cons ist ency ▁and ▁the ▁diam ond ," ▁Notre ▁D ame ▁Journal ▁of ▁F ormal ▁Log ic ▁ 2 6 : ▁ 3 4 1 – 3 4 7 . ▁▁▁ 1 9 8 5 a , ▁" N om inal ist ▁Pl aton ism ," ▁The ▁Philosoph ical ▁Review ▁ 9 4 : ▁ 3 2 7 – 3 4 4 . ▁L LL . ▁▁▁ 1 9 8 5 b , ▁" Read ing ▁the ▁Begriff s schrift ," ▁Mind ▁ 9 4 : ▁ 3 3 1 – 3 4 4 . ▁L LL ; ▁F PM : ▁ 1 6 3 – 8 1 . ▁▁ 1 9 8 5 c ▁( with ▁Giovanni ▁S amb in ), ▁" An ▁incomplete ▁system ▁of ▁modal ▁logic ," ▁Journal ▁of ▁Philosoph ical ▁Log ic ▁ 1 4 : ▁ 3 5 1 – 3 5 8 . ▁▁ 1 9 8 6 , ▁Review ▁of ▁Y uri ▁Man in , ▁A ▁Cour se ▁in ▁Mathemat ical ▁Log ic , ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 5 1 : ▁ 8 2 9 – 8 3 0 . ▁▁▁ 1 9 8 6 – 8 7 , ▁" S aving ▁Fre ge ▁from ▁contradiction ," ▁Pro ceed ings ▁of ▁the ▁Arist ot