elian ▁Society ▁ 8 7 : ▁ 1 3 7 – 1 5 1 . ▁L LL ; ▁F PM ▁ 4 3 8 – 5 2 . ▁▁ 1 9 8 7 , ▁" The ▁consist ency ▁of ▁Fre ge ' s ▁Found ations ▁of ▁Ar ithmetic " ▁in ▁J . ▁J . ▁Thom son , ▁ed ., ▁ 1 9 8 7 . ▁On ▁Being ▁and ▁Say ing : ▁Ess ays ▁for ▁Richard ▁Cart w right . ▁M IT ▁Press : ▁ 3 – 2 0 . ▁L LL ; ▁F PM : ▁ 2 1 1 – 2 3 3 . ▁▁▁ 1 9 8 7 a , ▁" A ▁curious ▁inference ," ▁Journal ▁of ▁Philosoph ical ▁Log ic ▁ 1 6 : ▁ 1 – 1 2 . ▁L LL . ▁▁▁ 1 9 8 7 b , ▁" On ▁not ions ▁of ▁prov ability ▁in ▁prov ability ▁logic ," ▁Abstract s ▁of ▁the ▁ 8 th ▁International ▁Congress ▁of ▁Log ic , ▁Method ology ▁and ▁Philosoph y ▁of ▁Science ▁ 5 : ▁ 2 3 6 – 2 3 8 . ▁▁▁ 1 9 8 7 c ▁( with ▁V ann ▁McG ee ), ▁" The ▁degree ▁of ▁the ▁set ▁of ▁sentences ▁of ▁predicate ▁prov ability ▁logic ▁that ▁are ▁true ▁under ▁every ▁interpretation ," ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 5 2 : ▁ 1 6 5 – 1 7 1 . ▁▁▁ 1 9 8 8 , ▁" Al phabet ical ▁order ," ▁Notre ▁D ame