Is 邏輯 a phono-semantic matching of the English word logic?
No, it's a transliteration.

The Chinese term「邏輯」first appeared in a Chinese translation of John Stuart Mill's A System of Logic, Ratiocinative and Inductive. The Chinese translation title is 《穆勒名學》 by 嚴復, and the Chinese word「邏輯」is directly explained there:


  案邏輯此翻名學。其名義始於希臘。為邏各斯一根之轉。邏各斯一名兼二義。在心之意。出口之詞。皆以此名。引而申之。則為論為學。故今日泰西諸學。其西名多以羅支結響。羅支即邏輯也。




To add, the only manner of any kind of semantic matching is「輯」(compile), which is the explanation of「邏各斯」turning into「邏輯」. From the same paragraph:


  ...故邏各斯名義最為奧衍。而本學之所以稱邏輯者。以如貝根言。是學為一切法之法。一切學之學。明其體之尊。為用之廣。則變邏各斯為邏輯以名之。


but this isn't a semantic matching of the Greek root, and more a semantic matching of the rather wide application of the suffix -ology.