yes, the title makes sense: there are (a lot of) connections between logic and operator algebras! and in this talk we are going to cover some. the first goal will be to introduce a generalization of classical first order logic, a ``continuous logic'' which can be used to describe continuous structures like metric spaces, operator algebras, etc. we will see how this can help us to study some questions concerning such structures. in particular, we will cover two natural questions that arise in the context of operator algebras which turn out to be independent of zfc - our everyday axiom system all of set theory is based on!